Ableitungsregeln

Satz 5317B (Ableitungsregeln)

Seien u,vu,v auf einem Intervall I=]a,b[I=]a,b[ differenzierbar. Dann gilt für alle xIx\in I:
  1. Die Differentiation ist linear.
    (u+v)=u+v(u+v)'=u'+v'
    (cu)=cf(x)(cu)'=c\cdot f\, '(x) für cRc\in \dom R
  2. Produktregel
    (uv)=uv+uv(u\cdot v)'=u'v+uv'
  3. Quotientenregel
    (uv)=uvuvv2{{\braceNT {\dfrac u v}}}'=\dfrac{u'v-uv\, '} {v^2} falls v(x)0v(x)\neq 0
    Insbesondere:
    (1v)=vv2{\braceNT {\dfrac 1 v}}'=-\dfrac {v\, '} {v^2}
  4. Kettenregel
    u(v(x))=u(v(x))v(x)u(v(x))'=u'(v(x))\cdot v'(x)
  5. Umkehrfunktionen
    (u1)=1u(u^{\uminus 1})'=\dfrac 1 {u'}
 
 

Beweis

i. ergibt sich aus den Regeln für den Funktionengrenzwert (Satz 5227L).
ii. (u(x0)v(x0))=limxx0u(x)v(x)u(x0)v(x0)xx0(u(x_0)v(x_0))'= \lim\limits_{x\rightarrow x_0} \dfrac {u(x)v(x)-u(x_0)v(x_0)}{x-x_0} =limxx0u(x)v(x)u(x0)v(x)+u(x0)v(x)u(x0)v(x0)xx0= \lim\limits_{x\rightarrow x_0} \dfrac {u(x)v(x)-u(x_0)v(x)+u(x_0)v(x)-u(x_0)v(x_0)}{x-x_0} =limxx0v(x)u(x)u(x0)xx0+limxx0u(x0)v(x)v(x0)xx0= \lim\limits_{x\rightarrow x_0} v(x) \dfrac {u(x)-u(x_0)}{x-x_0}+\lim\limits_{x\rightarrow x_0}u(x_0) \dfrac {v(x)-v(x_0)}{x-x_0} =u(x0)v(x0)+u(x0)v(x0)= u'(x_0)v(x_0)+u(x_0)v'(x_0)
iii. Wir zeigen zuerst den Spezialfall (1v)=vv2{\braceNT {\dfrac 1 v}}'=-\dfrac {v\, '} {v^2}.
(1v)=limxx01v(x)1v(x0)xx0{\braceNT {\dfrac 1 v}}'= \lim\limits_{x\rightarrow x_0} \dfrac {\dfrac 1 {v(x)} - \dfrac 1 {v(x_0)} } {x-x_0} =limxx01v(x)v(x0)v(x0)v(x)xx0= \lim\limits_ {x\rightarrow x_0} \dfrac 1 {v(x)v(x_0)}\cdot \dfrac {{v(x_0)} - {v(x)} } {x-x_0} =vv2=-\dfrac { v\, '} {v^2}
Zusammen mit diesem Ergebnis benutzen wir die Produktregel aus ii., um die Quotientenregel herzuleiten: (uv)=(u1v){\braceNT {\dfrac u v}}'= {\braceNT{u\cdot \dfrac 1 v}}' =u1v+u(vv2)=u'\cdot\dfrac 1 v+u\cdot \braceNT{-\dfrac { v\, '} {v^2}} =uvuvv2=\dfrac{u'v-uv\, '} {v^2}
iv. u(v(x0))=limxx0u(v(x))u(v(x0))xx0u(v(x_0))'=\lim\limits_{x\rightarrow x_0} \dfrac {u(v(x))-u(v(x_0))} {x-x_0} =limxx0u(v(x))u(v(x0))v(x)v(x0)v(x)v(x0)xx0=\lim\limits_{x\rightarrow x_0} \dfrac {u(v(x))-u(v(x_0))}{v(x)-v(x_0)} \cdot\dfrac {v(x)-v(x_0)} {x-x_0} =limxx0u(v(x))u(v(x0))v(x)v(x0)limxx0v(x)v(x0)xx0=u(v(x0))v(x0)=\lim\limits_{x\rightarrow x_0} \dfrac {u(v(x))-u(v(x_0))}{v(x)-v(x_0)} \cdot\lim\limits_{x\rightarrow x_0}\dfrac {v(x)-v(x_0)} {x-x_0}=u'(v(x_0)) \cdot v'(x_0)
v. Sei y=u(x)y=u(x) und speziell y0=u(x0)y_0=u(x_0).
(u1)(y0)=limyy0u1(y)u1(y0)yy0(u^{\uminus 1})'(y_0) = \lim\limits_{y\rightarrow y_0} \dfrac {u^{\uminus 1}(y)-u^{\uminus 1}(y_0)} {y-y_0} =limxx0u1(u(x))u1(u(x0))u(x)u(x0)= \lim\limits_{x\rightarrow x_0} \dfrac {u^{\uminus 1}(u(x))-u^{\uminus 1}(u(x_0))} {u(x)-u(x_0)} =limxx0xx0u(x)u(x0)=\lim\limits_{x\rightarrow x_0} \dfrac {x-x_0} {u(x)-u(x_0)} =1limxx0u(x)u(x0)xx0=1u= \dfrac 1 {\lim\limits_{x\rightarrow x_0}\dfrac {u(x)-u(x_0)} {x-x_0}}=\dfrac 1 {u'} \qed

Seit der Zeit der Griechen bedeutet "Mathematik" zu sagen, "Beweis" zu sagen.

N. Bourbaki

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе