MATHHX B

MATHHX B

\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\require {colortbl}\) \(\let \LWRorigcolumncolor \columncolor \) \(\renewcommand {\columncolor }[2][named]{\LWRorigcolumncolor [#1]{#2}\LWRabsorbtwooptions }\) \(\let \LWRorigrowcolor \rowcolor \) \(\renewcommand {\rowcolor }[2][named]{\LWRorigrowcolor [#1]{#2}\LWRabsorbtwooptions }\) \(\let \LWRorigcellcolor \cellcolor \) \(\renewcommand {\cellcolor }[2][named]{\LWRorigcellcolor [#1]{#2}\LWRabsorbtwooptions }\) \(\newcommand {\tothe }[1]{^{#1}}\) \(\newcommand {\raiseto }[2]{{#2}^{#1}}\) \(\newcommand {\LWRsiunitxEND }{}\) \(\def \LWRsiunitxang #1;#2;#3;#4\LWRsiunitxEND {\ifblank {#1}{}{\num {#1}\degree }\ifblank {#2}{}{\num {#2}^{\unicode {x2032}}}\ifblank {#3}{}{\num {#3}^{\unicode {x2033}}}}\) \(\newcommand {\ang }[2][]{\LWRsiunitxang #2;;;\LWRsiunitxEND }\) \(\def \LWRsiunitxdistribunit {}\) \(\newcommand {\LWRsiunitxENDTWO }{}\) \(\def \LWRsiunitxprintdecimalsubtwo #1,#2,#3\LWRsiunitxENDTWO {\ifblank {#1}{0}{\mathrm {#1}}\ifblank {#2}{}{{\LWRsiunitxdecimal }\mathrm {#2}}}\) \(\def \LWRsiunitxprintdecimalsub #1.#2.#3\LWRsiunitxEND {\LWRsiunitxprintdecimalsubtwo #1,,\LWRsiunitxENDTWO \ifblank {#2}{}{{\LWRsiunitxdecimal }\LWRsiunitxprintdecimalsubtwo #2,,\LWRsiunitxENDTWO }}\) \(\newcommand {\LWRsiunitxprintdecimal }[1]{\LWRsiunitxprintdecimalsub #1...\LWRsiunitxEND }\) \(\def \LWRsiunitxnumplus #1+#2+#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxprintdecimal {#1}}{\ifblank {#1}{\LWRsiunitxprintdecimal {#2}}{\LWRsiunitxprintdecimal {#1}\unicode {x02B}\LWRsiunitxprintdecimal {#2}}}\LWRsiunitxdistribunit }\) \(\def \LWRsiunitxnumminus #1-#2-#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumplus #1+++\LWRsiunitxEND }{\ifblank {#1}{}{\LWRsiunitxprintdecimal {#1}}\unicode {x02212}\LWRsiunitxprintdecimal {#2}\LWRsiunitxdistribunit }}\) \(\def \LWRsiunitxnumpmmacro #1\pm #2\pm #3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumminus #1---\LWRsiunitxEND }{\LWRsiunitxprintdecimal {#1}\unicode {x0B1}\LWRsiunitxprintdecimal {#2}\LWRsiunitxdistribunit }}\) \(\def \LWRsiunitxnumpm #1+-#2+-#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumpmmacro #1\pm \pm \pm \LWRsiunitxEND }{\LWRsiunitxprintdecimal {#1}\unicode {x0B1}\LWRsiunitxprintdecimal {#2}\LWRsiunitxdistribunit }}\) \(\newcommand {\LWRsiunitxnumscientific }[2]{\ifblank {#1}{}{\ifstrequal {#1}{-}{-}{\LWRsiunitxprintdecimal {#1}\times }}10^{\LWRsiunitxprintdecimal {#2}}\LWRsiunitxdistribunit }\) \(\def \LWRsiunitxnumD #1D#2D#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumpm #1+-+-\LWRsiunitxEND }{\mathrm {\LWRsiunitxnumscientific {#1}{#2}}}}\) \(\def \LWRsiunitxnumd #1d#2d#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumD #1DDD\LWRsiunitxEND }{\mathrm {\LWRsiunitxnumscientific {#1}{#2}}}}\) \(\def \LWRsiunitxnumE #1E#2E#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumd #1ddd\LWRsiunitxEND }{\mathrm {\LWRsiunitxnumscientific {#1}{#2}}}}\) \(\def \LWRsiunitxnume #1e#2e#3\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnumE #1EEE\LWRsiunitxEND }{\mathrm {\LWRsiunitxnumscientific {#1}{#2}}}}\) \(\def \LWRsiunitxnumx #1x#2x#3x#4\LWRsiunitxEND {\ifblank {#2}{\LWRsiunitxnume #1eee\LWRsiunitxEND }{\ifblank {#3}{\LWRsiunitxnume #1eee\LWRsiunitxEND \times \LWRsiunitxnume #2eee\LWRsiunitxEND }{\LWRsiunitxnume #1eee\LWRsiunitxEND \times \LWRsiunitxnume #2eee\LWRsiunitxEND \times \LWRsiunitxnume #3eee\LWRsiunitxEND }}}\) \(\newcommand {\num }[2][]{\LWRsiunitxnumx #2xxxxx\LWRsiunitxEND }\) \(\newcommand {\si }[2][]{\mathrm {\gsubstitute {#2}{~}{\,}}}\) \(\def \LWRsiunitxSIopt #1[#2]#3{\def \LWRsiunitxdistribunit {\,\si {#3}}{#2}\num {#1}\def \LWRsiunitxdistribunit {}}\) \(\newcommand {\LWRsiunitxSI }[2]{\def \LWRsiunitxdistribunit {\,\si {#2}}\num {#1}\def \LWRsiunitxdistribunit {}}\) \(\newcommand {\SI }[2][]{\ifnextchar [{\LWRsiunitxSIopt {#2}}{\LWRsiunitxSI {#2}}}\) \(\newcommand {\numlist }[2][]{\text {#2}}\) \(\newcommand {\numrange }[3][]{\num {#2}\ \LWRsiunitxrangephrase \ \num {#3}}\) \(\newcommand {\SIlist }[3][]{\text {#2}\,\si {#3}}\) \(\newcommand {\SIrange }[4][]{\num {#2}\,#4\ \LWRsiunitxrangephrase \ \num {#3}\,#4}\) \(\newcommand {\tablenum }[2][]{\mathrm {#2}}\) \(\newcommand {\ampere }{\mathrm {A}}\) \(\newcommand {\candela }{\mathrm {cd}}\) \(\newcommand {\kelvin }{\mathrm {K}}\) \(\newcommand {\kilogram }{\mathrm {kg}}\) \(\newcommand {\metre }{\mathrm {m}}\) \(\newcommand {\mole }{\mathrm {mol}}\) \(\newcommand {\second }{\mathrm {s}}\) \(\newcommand {\becquerel }{\mathrm {Bq}}\) \(\newcommand {\degreeCelsius }{\unicode {x2103}}\) \(\newcommand {\coulomb }{\mathrm {C}}\) \(\newcommand {\farad }{\mathrm {F}}\) \(\newcommand {\gray }{\mathrm {Gy}}\) \(\newcommand {\hertz }{\mathrm {Hz}}\) \(\newcommand {\henry }{\mathrm {H}}\) \(\newcommand {\joule }{\mathrm {J}}\) \(\newcommand {\katal }{\mathrm {kat}}\) \(\newcommand {\lumen }{\mathrm {lm}}\) \(\newcommand {\lux }{\mathrm {lx}}\) \(\newcommand {\newton }{\mathrm {N}}\) \(\newcommand {\ohm }{\mathrm {\Omega }}\) \(\newcommand {\pascal }{\mathrm {Pa}}\) \(\newcommand {\radian }{\mathrm {rad}}\) \(\newcommand {\siemens }{\mathrm {S}}\) \(\newcommand {\sievert }{\mathrm {Sv}}\) \(\newcommand {\steradian }{\mathrm {sr}}\) \(\newcommand {\tesla }{\mathrm {T}}\) \(\newcommand {\volt }{\mathrm {V}}\) \(\newcommand {\watt }{\mathrm {W}}\) \(\newcommand {\weber }{\mathrm {Wb}}\) \(\newcommand {\day }{\mathrm {d}}\) \(\newcommand {\degree }{\mathrm {^\circ }}\) \(\newcommand {\hectare }{\mathrm {ha}}\) \(\newcommand {\hour }{\mathrm {h}}\) \(\newcommand {\litre }{\mathrm {l}}\) \(\newcommand {\liter }{\mathrm {L}}\) \(\newcommand {\arcminute }{^\prime }\) \(\newcommand {\minute }{\mathrm {min}}\) \(\newcommand {\arcsecond }{^{\prime \prime }}\) \(\newcommand {\tonne }{\mathrm {t}}\) \(\newcommand {\astronomicalunit }{au}\) \(\newcommand {\atomicmassunit }{u}\) \(\newcommand {\bohr }{\mathit {a}_0}\) \(\newcommand {\clight }{\mathit {c}_0}\) \(\newcommand {\dalton }{\mathrm {D}_\mathrm {a}}\) \(\newcommand {\electronmass }{\mathit {m}_{\mathrm {e}}}\) \(\newcommand {\electronvolt }{\mathrm {eV}}\) \(\newcommand {\elementarycharge }{\mathit {e}}\) \(\newcommand {\hartree }{\mathit {E}_{\mathrm {h}}}\) \(\newcommand {\planckbar }{\mathit {\unicode {x210F}}}\) \(\newcommand {\angstrom }{\mathrm {\unicode {x212B}}}\) \(\let \LWRorigbar \bar \) \(\newcommand {\barn }{\mathrm {b}}\) \(\newcommand {\bel }{\mathrm {B}}\) \(\newcommand {\decibel }{\mathrm {dB}}\) \(\newcommand {\knot }{\mathrm {kn}}\) \(\newcommand {\mmHg }{\mathrm {mmHg}}\) \(\newcommand {\nauticalmile }{\mathrm {M}}\) \(\newcommand {\neper }{\mathrm {Np}}\) \(\newcommand {\yocto }{\mathrm {y}}\) \(\newcommand {\zepto }{\mathrm {z}}\) \(\newcommand {\atto }{\mathrm {a}}\) \(\newcommand {\femto }{\mathrm {f}}\) \(\newcommand {\pico }{\mathrm {p}}\) \(\newcommand {\nano }{\mathrm {n}}\) \(\newcommand {\micro }{\mathrm {\unicode {x00B5}}}\) \(\newcommand {\milli }{\mathrm {m}}\) \(\newcommand {\centi }{\mathrm {c}}\) \(\newcommand {\deci }{\mathrm {d}}\) \(\newcommand {\deca }{\mathrm {da}}\) \(\newcommand {\hecto }{\mathrm {h}}\) \(\newcommand {\kilo }{\mathrm {k}}\) \(\newcommand {\mega }{\mathrm {M}}\) \(\newcommand {\giga }{\mathrm {G}}\) \(\newcommand {\tera }{\mathrm {T}}\) \(\newcommand {\peta }{\mathrm {P}}\) \(\newcommand {\exa }{\mathrm {E}}\) \(\newcommand {\zetta }{\mathrm {Z}}\) \(\newcommand {\yotta }{\mathrm {Y}}\) \(\newcommand {\percent }{\mathrm {\%}}\) \(\newcommand {\meter }{\mathrm {m}}\) \(\newcommand {\metre }{\mathrm {m}}\) \(\newcommand {\gram }{\mathrm {g}}\) \(\newcommand {\kg }{\kilo \gram }\) \(\newcommand {\of }[1]{_{\mathrm {#1}}}\) \(\newcommand {\squared }{^2}\) \(\newcommand {\square }[1]{\mathrm {#1}^2}\) \(\newcommand {\cubed }{^3}\) \(\newcommand {\cubic }[1]{\mathrm {#1}^3}\) \(\newcommand {\per }{\,\mathrm {/}}\) \(\newcommand {\celsius }{\unicode {x2103}}\) \(\newcommand {\fg }{\femto \gram }\) \(\newcommand {\pg }{\pico \gram }\) \(\newcommand {\ng }{\nano \gram }\) \(\newcommand {\ug }{\micro \gram }\) \(\newcommand {\mg }{\milli \gram }\) \(\newcommand {\g }{\gram }\) \(\newcommand {\kg }{\kilo \gram }\) \(\newcommand {\amu }{\mathrm {u}}\) \(\newcommand {\nm }{\nano \metre }\) \(\newcommand {\um }{\micro \metre }\) \(\newcommand {\mm }{\milli \metre }\) \(\newcommand {\cm }{\centi \metre }\) \(\newcommand {\dm }{\deci \metre }\) \(\newcommand {\m }{\metre }\) \(\newcommand {\km }{\kilo \metre }\) \(\newcommand {\as }{\atto \second }\) \(\newcommand {\fs }{\femto \second }\) \(\newcommand {\ps }{\pico \second }\) \(\newcommand {\ns }{\nano \second }\) \(\newcommand {\us }{\micro \second }\) \(\newcommand {\ms }{\milli \second }\) \(\newcommand {\s }{\second }\) \(\newcommand {\fmol }{\femto \mol }\) \(\newcommand {\pmol }{\pico \mol }\) \(\newcommand {\nmol }{\nano \mol }\) \(\newcommand {\umol }{\micro \mol }\) \(\newcommand {\mmol }{\milli \mol }\) \(\newcommand {\mol }{\mol }\) \(\newcommand {\kmol }{\kilo \mol }\) \(\newcommand {\pA }{\pico \ampere }\) \(\newcommand {\nA }{\nano \ampere }\) \(\newcommand {\uA }{\micro \ampere }\) \(\newcommand {\mA }{\milli \ampere }\) \(\newcommand {\A }{\ampere }\) \(\newcommand {\kA }{\kilo \ampere }\) \(\newcommand {\ul }{\micro \litre }\) \(\newcommand {\ml }{\milli \litre }\) \(\newcommand {\l }{\litre }\) \(\newcommand {\hl }{\hecto \litre }\) \(\newcommand {\uL }{\micro \liter }\) \(\newcommand {\mL }{\milli \liter }\) \(\newcommand {\L }{\liter }\) \(\newcommand {\hL }{\hecto \liter }\) \(\newcommand {\mHz }{\milli \hertz }\) \(\newcommand {\Hz }{\hertz }\) \(\newcommand {\kHz }{\kilo \hertz }\) \(\newcommand {\MHz }{\mega \hertz }\) \(\newcommand {\GHz }{\giga \hertz }\) \(\newcommand {\THz }{\tera \hertz }\) \(\newcommand {\mN }{\milli \newton }\) \(\newcommand {\N }{\newton }\) \(\newcommand {\kN }{\kilo \newton }\) \(\newcommand {\MN }{\mega \newton }\) \(\newcommand {\Pa }{\pascal }\) \(\newcommand {\kPa }{\kilo \pascal }\) \(\newcommand {\MPa }{\mega \pascal }\) \(\newcommand {\GPa }{\giga \pascal }\) \(\newcommand {\mohm }{\milli \ohm }\) \(\newcommand {\kohm }{\kilo \ohm }\) \(\newcommand {\Mohm }{\mega \ohm }\) \(\newcommand {\pV }{\pico \volt }\) \(\newcommand {\nV }{\nano \volt }\) \(\newcommand {\uV }{\micro \volt }\) \(\newcommand {\mV }{\milli \volt }\) \(\newcommand {\V }{\volt }\) \(\newcommand {\kV }{\kilo \volt }\) \(\newcommand {\W }{\watt }\) \(\newcommand {\uW }{\micro \watt }\) \(\newcommand {\mW }{\milli \watt }\) \(\newcommand {\kW }{\kilo \watt }\) \(\newcommand {\MW }{\mega \watt }\) \(\newcommand {\GW }{\giga \watt }\) \(\newcommand {\J }{\joule }\) \(\newcommand {\uJ }{\micro \joule }\) \(\newcommand {\mJ }{\milli \joule }\) \(\newcommand {\kJ }{\kilo \joule }\) \(\newcommand {\eV }{\electronvolt }\) \(\newcommand {\meV }{\milli \electronvolt }\) \(\newcommand {\keV }{\kilo \electronvolt }\) \(\newcommand {\MeV }{\mega \electronvolt }\) \(\newcommand {\GeV }{\giga \electronvolt }\) \(\newcommand {\TeV }{\tera \electronvolt }\) \(\newcommand {\kWh }{\kilo \watt \hour }\) \(\newcommand {\F }{\farad }\) \(\newcommand {\fF }{\femto \farad }\) \(\newcommand {\pF }{\pico \farad }\) \(\newcommand {\K }{\mathrm {K}}\) \(\newcommand {\dB }{\mathrm {dB}}\) \(\newcommand {\kibi }{\mathrm {Ki}}\) \(\newcommand {\mebi }{\mathrm {Mi}}\) \(\newcommand {\gibi }{\mathrm {Gi}}\) \(\newcommand {\tebi }{\mathrm {Ti}}\) \(\newcommand {\pebi }{\mathrm {Pi}}\) \(\newcommand {\exbi }{\mathrm {Ei}}\) \(\newcommand {\zebi }{\mathrm {Zi}}\) \(\newcommand {\yobi }{\mathrm {Yi}}\) \(\let \unit \si \) \(\let \qty \SI \) \(\let \qtylist \SIlist \) \(\let \qtyrange \SIrange \) \(\let \numproduct \num \) \(\let \qtyproduct \SI \) \(\let \complexnum \num \) \(\newcommand {\complexqty }[3][]{(\complexnum {#2})\si {#3}}\) \(\newcommand {\mleft }{\left }\) \(\newcommand {\mright }{\right }\) \(\newcommand {\mleftright }{}\) \(\newcommand {\mleftrightrestore }{}\) \(\require {gensymb}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \) \(\require {cancel}\) \(\newcommand {\Dm }{\operatorname {Dm}}\) \(\newcommand {\Vm }{\operatorname {Vm}}\) \(\newcommand {\Var }{\operatorname {Var}}\) \(\newcommand {\tcbset }[1]{}\) \(\newcommand {\tcbsetforeverylayer }[1]{}\) \(\newcommand {\tcbox }[2][]{\boxed {\text {#2}}}\) \(\newcommand {\tcboxfit }[2][]{\boxed {#2}}\) \(\newcommand {\tcblower }{}\) \(\newcommand {\tcbline }{}\) \(\newcommand {\tcbtitle }{}\) \(\newcommand {\tcbsubtitle [2][]{\mathrm {#2}}}\) \(\newcommand {\tcboxmath }[2][]{\boxed {#2}}\) \(\newcommand {\tcbhighmath }[2][]{\boxed {#2}}\) \(\newcommand {\toprule }[1][]{\hline }\) \(\let \midrule \toprule \) \(\let \bottomrule \toprule \) \(\def \LWRbooktabscmidruleparen (#1)#2{}\) \(\newcommand {\LWRbooktabscmidrulenoparen }[1]{}\) \(\newcommand {\cmidrule }[1][]{\ifnextchar (\LWRbooktabscmidruleparen \LWRbooktabscmidrulenoparen }\) \(\newcommand {\morecmidrules }{}\) \(\newcommand {\specialrule }[3]{\hline }\) \(\newcommand {\addlinespace }[1][]{}\) \(\def \LWRsiunitxrangephrase { \protect \mbox {to (numerical range)} }\) \(\def \LWRsiunitxdecimal {.}\)

10.8 Beviser - differentialregning

Tangentens ligning

Vi vil starte med at bevise den sætning der kan bruges til at bestemme tangentens ligning. Fremgangsmåden er magen til den vi brugte til at finde tangentens ligning, inden sætningen blev introduceret.

  • Sætning 10.3.1
    Lad \(f\) være en differentiabel funktion, og lad der være givet en tangent igennem et punkt \(P(x_0,f(x_0))\):

    (-tikz- diagram)

    Da er tangentens ligningen givet ved:

    \[y=f'(x_0)(x-x_0)+f(x_0).\]

  • Bevis 
    Lad \(f\) være en differentiabel funktion. Da er tangenten gennem punktet \((x_0,f(x_0))\) givet ved ligningen:

    \[y=f'(x_0)(x-x_0)+f(x_0).\]

    Tangenten er en lineær funktion, så den har ligningen:

    \[\textcolor {red}{y=ax+b}.\]

    Vi skal bestemme \(a\) og \(b\) og vi starter med \(a\) Vi husker at man kan bruge differentialkvotienten til at finde hældningen. Så tangentens hældning \(a\) i punktet \((x_0,f(x_0))\) er givet ved \(f'(x_0)\). Så \(a=f'(x_0)\) og det kan vi sætte ind i vores ligning:

    \[\textcolor {red}{y=f'(x_0)x+b}.\]

    Vi vil nu bestemme \(b\). Vi ved at tangenten går igennem \((x_0,f(x_0))\) så det punkt skal passe ind i tangentens ligning, når vi udskifter \(x\) med \(x_0\) og \(y\) med \(f(x_0)\):

    \[f(x_0)=f'(x_0)x_0+b.\]

    Vi isolerer \(b\):

    \[b=f(x_0)-f'(x_0)x_0\]

    Vi sætter nu \(b\) ind i vores ligning og får

    \[\textcolor {red}{y=f'(x_0)x+f(x_0)-f'(x_0)x_0}.\]

    Vi bytter rundt på rækkefølgen:

    \[\textcolor {red}{y=f'(x_0)x-f'(x_0)x_0+f(x_0)},\]

    og sætter \(f'(x_0)\) ud foran en parentes

    \[\textcolor {red}{y=f'(x_0)(x-x_0)+f(x_0)},\]

    og vi er færdige!

Beviser for udvalgte differentialkvotienter

Vi vil nu bevise nogle for udvalgte differentialkvotienter. Altså de regler vi finder i tabellen i formelsamlingen, når vi skal differentiere en funktion. Vi vil bruge metoden fra afsnit 10.6,. Dvs. man starter med at opskrive differenskvotienten (sekantens hældning), regner på den, og tager så grænseværdien til sidst. Denne fremgangsmåde går også under navnet tretrinsreglen.

Vi starter med den mest simple regel fra formelsamlingen. Jeg formulere reglen som en sætning:

  • Sætning 10.8.1
    Lad \(k\) være en vilkårlig konstant. Funktionen \(f(x)=k\) differentialbel med \(f'(x)=0\)

  • Bevis 
    Vi starter med at opskrive differenskvotienten:

    \[\frac {f(x+\Delta x)-f(x)}{\Delta x}\]

    Forskriften for \(f\) er \(f(x)=k\), så det kan vi indsætte i differenskvotienten. Funktionen er konstant lig med \(k\), så alle funktionsværdierne er \(k\):

    \[\frac {k-k}{\Delta x}\]

    Vi reducerer

    \[\frac {k-k}{\Delta x} = \frac {0}{\Delta x}=0\]

    Vi ser at differenskvotienten er nul. Dejligt simpelt. Vi tager nu grænseværdien for \(\Delta x\) gående mod nul. Vi husker det betyder, at vi skal se hvad der er tilbage, når \(\Delta x\) bliver forsvindende lille. Men der er slet ikke noget \(\Delta x\) i vores differenskvotient, så der sker ikke noget når \(\Delta x\) går mod nul.

    \[\lim _{\Delta x\to 0} (0)=0\]

    Vi konkluderer at \(f\) er differentiabel (differenskvotienten havde en grænseværdi) og at differentialkvotienten er

    \[f'(x)=0\]

I beviset oven over var vi heldige at det var nemt at regne differenskvotienten. Normalt er det det den svære del og derfor også den del som fylder i beviserne. Man kan altid opskrive differenskvotienten, men det kan være en stor udfordring at regne på den, så det bliver muligt at tage grænseværdien.

  • Sætning 10.8.2
    Funktionen \(f(x)=\sqrt {x}\) differentialbel med \(f'(x)=\frac {1}{2\sqrt {x}}\)

  • Bevis 
    Vi starter med at opskrive differenskvotienten:

    \[\frac {f(x+\Delta x)-f(x)}{\Delta x}\]

    Forskriften for \(f\) er \(f(x)=\sqrt {x}\), så det kan vi indsætte i differenskvotienten:

    \[\frac {\sqrt {x+\Delta x} - \sqrt {x}}{\Delta x}\]

    Vi ser at det ikke umiddelbart er til at tage grænseværdien af denne brøk. Både tæller og nævner vil gå mod nul, når \(\Delta x\) går mod nul, og det er derfor ikke til at vide hvad grænseværdien er. Det problem løser vi ved at regne videre på brøken. Først forlænger vi den med \(\sqrt {x+\Delta x} + \sqrt {x}\):

    \[\frac {(\sqrt {x+\Delta x} + \sqrt {x})(\sqrt {x+\Delta x} - \sqrt {x})}{(\sqrt {x+\Delta x} + \sqrt {x})\Delta x}\]

    Vi husker nu den 3. kvadratsætning \((a+b)(a-b)=a^2-b^2\). Vi ser at tælleren har samme form som i kvadratsætningen med \(a=\sqrt {x+\Delta x}\) og \(b=\sqrt {x}\). Så vi bruger kvadratsætningen til at omskrive den:

    \[\frac {\sqrt {x+\Delta x}^2 - \sqrt {x}^2}{(\sqrt {x+\Delta x} + \sqrt {x})\Delta x}\]

    I tælleren går kvadratrod og kvadrat (dvs. ”i anden”) ud med hinanden:

    \[\frac {x+\Delta x - x}{(\sqrt {x+\Delta x} + \sqrt {x})\Delta x}\]

    I tælleren går \(x\) ud med \(-x\):

    \[\frac {\Delta x }{(\sqrt {x+\Delta x} + \sqrt {x})\Delta x}\]

    Vi kan nu forkorte med \(\Delta x\):

    \[\frac {1 }{\sqrt {x+\Delta x} + \sqrt {x}}\]

    Vi tager nu grænseværdien for \(\Delta x\) gående mod nul. Vi husker det betyder, at vi skal se hvad der er tilbage når \(\Delta x\) bliver forsvindende lille.

    \[\lim _{\Delta x \to 0} \frac {1 }{\sqrt {x+\Delta x} + \sqrt {x}}=\frac {1}{\sqrt {x} + \sqrt {x}}=\frac {1}{2\sqrt {x}}\]

    Vi konkluderer at \(f\) er differentiabel (differenskvotienten havde en grænseværdi) og at differentialkvotienten er

    \[f'(x)=\frac {1}{2\sqrt {x}}\]

Vi slutter med at bevise reglen for \(f(x)=x^n\). Den kræver et at man har været igennem A-niveau delene i dette emne. I dette bevis vil vi ikke tage udgangspunkt i differenskvotienten. I stedet vil vi bruge regneregler fra formelsamlingen.

  • Sætning 10.8.3
    Funktionen \(f(x)=x^n\) har differentialkvotienten \(f'(x)=n \cdot x^{n-1}\).

  • Bevis 
    Tricket i dette bevis er at omskrive \(f\) til en form vi kan differentiere ved hjælp af formelsamlingen. Vi starter med at omdøbe \(f\) til \(h\), så der ikke kommer forvirring, når vi skal bruge regler fra formelsamlingen. Så vi har altså \(h(x)=x^n\), og vi skal vise at \(h'(x)=n x^{n-1}\)

    Da \(\ln (x)\) er den omvendte funktion til \(e^x\), gælder \(x = e^{\ln (x)}\). Så vi kan skrive \(h\) som:

    \[h(x)=\left (e^{\ln (x)}\right )^n\]

    Vi bruger nu reglen \(\left (a^p\right )^q=a^{p\cdot q}\):

    \[h(x)=e^{\ln (x)\cdot n}\]

    Vi ser at \(h\) har form som en sammensat funktion \(f\left (g(x)\right )\) med

    \[g(x)=\ln (x) \cdot n \quad \text {og} \quad f(x)=e^x.\]

    Da både \(f\) og \(g\) er differentiable er den sammensatte funktion også differentiabel. Vi differentiere nu \(g\) og \(f\):

    \[g'(x)=\frac {1}{x} \cdot n \quad \text {og} \quad f'(x)=e^x.\]

    Vi kan nu bruge reglen for sammensatte funktioner og differentiere \(h\):

    \begin{align*} h'(x) & = f'\left (g(x)\right )\cdot g'(x) && \text {Reglen for sammensatte funktioner}\\ & = e^{\ln (x) \cdot n }\cdot \frac {1}{x} \cdot n && \text {Forskrifter indsat i reglen}\\ & = \left (e^{\ln (x)}\right )^n \cdot \frac {1}{x} \cdot n && \text {Brugt at } \left (a^p\right )^q=a^{p\cdot q}\\ & = x^n \cdot \frac {1}{x} \cdot n && \text {Da } e^{\ln (x)} = x\\ & = \frac {x^n}{x} \cdot n && \text {Ganger } x^n \text {op i tælleren}\\ & = x^{n-1} \cdot n && \text {Bruger reglen } \frac {a^p}{a^q}=a^{p-q}\\ & = n \cdot x^{n-1} && \text {bytter rundt på rækkefølgen i produktet}\\ \end{align*} Vi husker nu at funktionen oprindeligt hed \(f\), så vi konkluderer at:

    \[f'(x) = n \cdot x^{n-1} \]

Regler for grænseværdier

For at lave resten af beviserne i dette afsnit har vi brug for nogle regler for grænseværdier. Grænseværdierne i reglerne er på formen \(\lim _{x\rightarrow a}(\ldots )\), men det er bare en mere generel form en den I kender, og I kan bare tænke på dem som om der står \(\lim _{\Delta x\rightarrow 0}(\ldots )\).

  • Sætning 10.8.4 (Regneregler for grænseværdier)
    Antag at grænseværdierne \(\lim _{x\rightarrow a}f(x)\) og \(\lim _{x\rightarrow a}g(x)\) findes og lad \(k\) være en vilkårlig konstant. Da gælder:

    Regel 1:

    \[\lim _{x\rightarrow a}\left (k\cdot f(x)\right )=k\cdot \lim _{x\rightarrow a}f(x)\]

    Regel 2:

    \[\lim _{x\rightarrow a}\left ( f(x)+g(x) \right ) = \lim _{x\rightarrow a}f(x)+\lim _{x\rightarrow a}g(x)\]

    Regel 3

    \[\lim _{x\rightarrow a}\left ( f(x)-g(x) \right ) = \lim _{x\rightarrow a}f(x)-\lim _{x\rightarrow a}g(x)\]

    Regel 4

    \[\lim _{x\rightarrow a}\left ( f(x)\cdot g(x) \right ) = \lim _{x\rightarrow a}f(x)\cdot \lim _{x\rightarrow a}g(x)\]

Beviser for udvalgte regneregler for opbyggede funktioner

Man beviser regnereglerne for opbyggede funktioner ligesom man beviser reglerne for de enkelte funktioner.

  • Sætning 10.8.5
    Lad \(f\) være en differentiabel funktion og \(k\) en konstant. Da er \(h(x)=k\cdot f(x)\) differentiabel og differentialkvotienten er \(h'(x)=k\cdot f'(x)\).

  • Bevis 
    Vi opskriver differenskvotienten:

    \[\frac {h(x+\Delta x)-h(x)}{\Delta x}.\]

    Da \(h(x)=k\cdot f(x)\) får vi:

    \[\frac {k\cdot f(x+\Delta x)-k\cdot f(x)}{\Delta x}.\]

    Vi sætter \(k\) ud foran en parentes:

    \[\frac {k( f(x+\Delta x)- f(x))}{\Delta x},\]

    og flytter \(k\) ned foran brøken:

    \[k\frac {f(x+\Delta x)- f(x)}{\Delta x}.\]

    Vi skal nu undersøge om differenskvotienten har en grænseværdi for \(\Delta x\) gående mod nul. Alså om følgende grænseværdi kan bestemmes:

    \[\lim _{\Delta x\rightarrow 0}\left ( k\frac {f(x+\Delta x)- f(x)}{\Delta x}\right ).\]

    Da \(f\) er differentiabel ved vi at grænseværdien \(f'(x)=\lim _{\Delta x\rightarrow 0}\left ( \frac {f(x+\Delta x)- f(x)}{\Delta x}\right )\) findes så vi kan bruge regel 1 for grænseværdier (sætning 10.8.4)) til at flytte \(k\) ud foran ”lim”:

    \[k\cdot \lim _{\Delta x\rightarrow 0}\left ( \frac {f(x+\Delta x)- f(x)}{\Delta x}\right )= k\cdot f'(x),\]

    og \(h\) er altså differentiabel med differentialkvotient \(h'(x)=k\cdot f'(x)\).

  • Sætning 10.8.6
    Lad \(f\) og \(g\) være differentiable funktioner. Da er \(h(x)=f(x)+g(x)\) differentiabel og differentialkvotienten er \(h'(x)=f'(x)+g'(x)\).

  • Bevis 
    Vi opskriver differenskvotienten

    \[\frac {h(x+\Delta x)-h(x)}{\Delta x}.\]

    Da \(h(x)=f(x)+g(x)\) får vi:

    \[\frac {f(x+\Delta x)+g(x+\Delta x)-\left (f(x)+g(x)\right )}{\Delta x}.\]

    Vi ophæver parentesen i tælleren:

    \[\frac {f(x+\Delta x)+g(x+\Delta x)-f(x)-g(x)}{\Delta x},\]

    og ændrer lidt på rækkefølgen:

    \[\frac {f(x+\Delta x)-f(x)+g(x+\Delta x)-g(x)}{\Delta x}.\]

    Vi deler brøken op:

    \[\frac {f(x+\Delta x)-f(x)}{\Delta x}+\frac {g(x+\Delta x)-g(x)}{\Delta x}.\]

    Vi skal nu undersøge om differenskvotienten har en grænseværdi for \(x\) gående mod nul. Vi skal altså kigge på:

    \[\lim _{\Delta x\rightarrow 0}\left ( \frac {f(x+\Delta x)-f(x)}{\Delta x}+\frac {g(x+\Delta x)-g(x)}{\Delta x}\right ).\]

    Vi genkender de to led inde i parenteserne som differenskvotienterne (differens - ikke differential) for \(f\) og \(g\). Da vi ved at \(f\) og \(g\) er differentiable ved vi, at hvis vi lader \(\Delta x\rightarrow 0\), så vil de to differenskvotienter have en grænseværdi (nemlig \(f'(x)\) og \(g'(x)\)), og vi kan derfor bruge Regel 2 (sætning 10.8.4)) til at dele udtrykket op:

    \[\lim _{\Delta x\rightarrow 0} \frac {f(x+\Delta x)-f(x)}{\Delta x}+\lim _{\Delta x\rightarrow 0}\frac {g(x+\Delta x)-g(x)}{\Delta x},\]

    hvilket er det samme som

    \[f'(x)+g'(x)\]

    Vi konkluderer at \(h\) er differentiabel med differentialkvotient

    \[h'(x)=f'(x)+g'(x).\]

Øvelse 10.8.1

Bevis følende:

Lad\(f\) og \(g\) være differentiable funktioner. Da er \(h(x)=f(x)-g(x)\) differentiabel og differentialkvotienten er \(h'(x)=f'(x)-g'(x)\).

Tag udgangspunkt i beviset ovenover.

Løsning 10.8.1

Spørg mig.

Bevis for produktregel (A)
  • Sætning 10.8.7
    Lad \(f\) og \(g\) være differentiable funktioner. Da er \(h(x)=f(x)\cdot g(x)\) differentiabel med differentialkvotient \(h'(x)=f'(x)\cdot g(x)+ f(x)\cdot g'(x)\).

  • Bevis 
    Vi starter selvfølgelig med at opskrive differenskvotienten:

    \[\frac {h(x+\Delta x)-h(x)}{\Delta x}\]

    Vi indsætter nu forskriften for \(h\) i differenskvotienten:

    \[\frac {f(x+\Delta x)\cdot g(x+\Delta x)-f(x)\cdot g(x)}{\Delta x}\]

    Vi vil nu lave en snedig omskrivning af tælleren. Vi trækker \(\textcolor {red}{f(x+\Delta x)\cdot g(x)}\) fra, hvorefter vi skynder os at lægge det til igen, så vi ikke ændrer brøkens værdi:

    \[\frac {f(x+\Delta x)\cdot g(x+\Delta x) \textcolor {blue}{-}\textcolor {red}{f(x+\Delta x)\cdot g(x)} \textcolor {blue}{+} \textcolor {red}{f(x+\Delta x)\cdot g(x)}-f(x)\cdot g(x)}{\Delta x}\]

    Vi deler nu brøken op i to ved det blå plustegn:

    \[\frac {f(x+\Delta x)\cdot g(x+\Delta x)-f(x+\Delta x)\cdot g(x)}{\Delta x} + \frac {f(x+\Delta x)\cdot g(x)-f(x)\cdot g(x)}{\Delta x}\]

    Vi faktoriserer tælleren i første brøk med \(f(x+\Delta x)\) og tælleren i anden brøk med \(g(x)\):

    \[\frac {f(x+\Delta x)\big (g(x+\Delta x)-g(x)\big )}{\Delta x} + \frac {g(x)\big ( f(x+\Delta x)-f(x)\big )}{\Delta x}\]

    Vi sætter nu \(f(x+\Delta x)\) ned foran første brøk og \(g(x)\) ned foran anden brøk:

    \[f(x+\Delta x) \frac {g(x+\Delta x) - g(x)}{\Delta x}+g(x) \frac {f(x+\Delta x) - f(x)}{\Delta x}\]

    Vi finder nu \(h'(x)\) ved at tage grænseværdien:

    \[h'(x)=\lim _{\Delta x\to 0} \left ( f(x+\Delta x) \frac {g(x+\Delta x) - g(x)}{\Delta x}+g(x) \frac {f(x+\Delta x) - f(x)}{\Delta x} \right )\]

    Vi bruger Regel 2 (10.8.4) for grænseværdier til at dele grænseværdien op:

    \[h'(x)=\lim _{\Delta x\to 0} \left ( f(x+\Delta x) \frac {g(x+\Delta x) - g(x)}{\Delta x}\right ) + \lim _{\Delta x\to 0} \left (g(x) \frac {f(x+\Delta x) - f(x)}{\Delta x} \right )\]

    Vi bruger nu Regel 4 (10.8.4) til at dele første grænseværdi op. I den anden grænseværdi bruger vi Regel 1 til at trække \(g(x)\) ud foran (se evt. efterfølgende kommentar):

    \[h'(x)=\lim _{\Delta x\to 0} f(x+\Delta x) \lim _{\Delta x \to 0}\left ( \frac {g(x+\Delta x) - g(x)}{\Delta x}\right ) + g(x) \lim _{\Delta x\to 0} \left ( \frac {f(x+\Delta x) - f(x)}{\Delta x} \right )\]

    Måske er du forvirret over, hvorfor vi har lov til at betragte \(g(x)\) som en konstant. Det skyldes, at det er \(\Delta x\) som er den variable i forhold til selve grænseværdien (det er \(\Delta x\) som går mod nul) og da \(g(x)\) ikke indeholder noget \(\Delta x\), er \(g(x)\) konstant (i denne sammenhæng).

    Da \(f\) er differentialbel er den også kontinuert og derfor er \(\lim _{\Delta x \to 0} f(x+\Delta x)=f(x)\), så vi har

    \[h'(x)=f(x) \lim _{\Delta x \to 0}\left ( \frac {g(x+\Delta x) - g(x)}{\Delta x}\right ) + g(x) \lim _{\Delta x\to 0} \left ( \frac {f(x+\Delta x) - f(x)}{\Delta x} \right )\]

    De to grænseværdier genkender vi som hhv. \(g'(x)\) og \(f'(x)\), så vi har:

    \[h'(x)=f(x)\cdot g'(x)+g(x)\cdot f'(x)\]

    Vi bytter lidt rund på rækkefølgen og får det ønskede resultat:

    \[h'(x)=f'(x)g(x)+f(x)g'(x)\]

Bevis for at alle differentiable funktioner er kontinuerte (A)

Der findes kontinuerte funktioner som ikke er differentiable (hvis de har ”knæk”). Men alle differentiable funktioner er kontinuerte og det vil vi nu bevise.

  • Sætning 10.7.1
    Alle differentiable funktioner er kontinuerte.

  • Bevis 
    Lad \(f\) være en differentiabel funktion. Vi skal vise at \(f\) er kontinuert. Ifølge definitionen af kontinuitet (definition 10.7.1) skal vi vise at

    \[\lim _{\Delta x\rightarrow 0} f(x+\Delta x)=f(x)\]

    Da \(f\) er differentiabel har den en differentialkvotient:

    \[f'(x)=\lim _{\Delta x\rightarrow 0}\frac {f(x+\Delta x)-f(x)}{\Delta x}\]

    Vi vil nu gøre noget smart. Vi vil gange med nul på begge sider. Normalt er det ikke nogen fantastisk idé at gange igennem med nul, men vil vil gøre det på en snedig måde. På højre side vil vi nemlig skrive nul som \(\lim _{\Delta x\rightarrow 0} (\Delta x)\). Det kan vi selvfølgelig gøre fordi at denne grænseværdi er nul.

    \[f'(x)\cdot 0 = \lim _{\Delta x\rightarrow 0}\frac {f(x+\Delta x)-f(x)}{\Delta x}\cdot \lim _{\Delta x\rightarrow 0} (\Delta x)\]

    Venstresiden er bare nul og vi bruger Regel 4 for grænseværdier til at omskrive højresiden:

    \[0 = \lim _{\Delta x\rightarrow 0}\left (\frac {f(x+\Delta x)-f(x)}{\Delta x}\cdot \Delta x \right )\]

    Vi reducerer

    \[0 = \lim _{\Delta x\rightarrow 0} (f(x+\Delta x)-f(x))\]

    Vi lægger nu \(f(x)\) til på begge sider. På højresiden vil vi skrive \(f(x)\) som \(\lim _{\Delta x\rightarrow 0} f(x)\). Det må vi gøre fordi at \(f(x)\) ikke indeholder noget \(\Delta x\) og derfor ikke ændrer sig når \(\Delta x\rightarrow 0\).

    \[f(x) = \lim _{\Delta x\rightarrow 0} (f(x+\Delta x)-f(x))+ \lim _{\Delta x\rightarrow 0} f(x)\]

    Vi bruger Regel 2 for grænseværdier og samler udtrykket til én grænseværdi.

    \[f(x) = \lim _{\Delta x\rightarrow 0} \left (f(x+\Delta x)-f(x)+ f(x)\right )\]

    Vi reducerer

    \[f(x) = \lim _{\Delta x\rightarrow 0} f(x+\Delta x)\]

    og det var jo netop det vi skulle vise.