\( \newcommand{\br}[1]{\left( #1\right)} \newcommand{\logpar}[1]{\log\left( #1\right)} \newcommand{\cospar}[1]{\cos\left( #1\right)} \newcommand{\sinpar}[1]{\sin\left( #1\right)} \newcommand{\tanpar}[1]{\tan\left( #1\right)} \newcommand{\arcsinpar}[1]{\sin^{-1}\!\left( #1\right)} \newcommand{\arccospar}[1]{\cos^{-1}\!\left( #1\right)} \newcommand{\arctanpar}[1]{\tan^{-1}\!\left( #1\right)} \newcommand{\asin}[1]{\sin^{-1}\! #1} \newcommand{\acos}[1]{\cos^{-1}\! #1} \newcommand{\atan}[1]{\tan^{-1}\! #1} \newcommand{\asinh}[1]{\sinh^{-1}\! #1} \newcommand{\acosh}[1]{\cosh^{-1}\! #1} \newcommand{\atanh}[1]{\tanh^{-1}\! #1} \newcommand{\logten}[1]{\log_{10}\! #1} \definecolor{explaination}{RGB}{0, 166, 226} \newcommand{\ubrace}[2][u]{ { \color{explaination}{\underbrace{ {\color{black}{#2}} }_{#1}} } } \newcommand{\obrace}[2][u]{ { \color{explaination}{\overbrace{ {\color{black}{#2}} }^{#1}} } } \definecolor{highlight}{RGB}{181, 41, 118} \newcommand{\xplain}[1]{{ \textcolor{explaination} { \footnotesize{ #1 \newline}}}} \newcommand{\hilite}[1]{{ \textcolor{highlight} { { #1 }}}} \definecolor{lightergray}{gray}{.675} \newcommand{\hide}[1]{{ \textcolor{lightergray} { \footnotesize{ #1 \newline}}}} \newcommand{\mth}[1]{ { \textcolor{black} { { \small #1 } } } } \)

Beweis für die Ableitung von cos(x)

Beweis, das -sin(x) die Ableitung von cos(x) ist

\( \begin{align*} f^{\prime}(x)&=\lim_{h \to 0 }\dfrac{f(x+h)-f(x)}{h} \\[1ex] &=\lim_{h \to 0 }\dfrac{\cos(x+h)-\cos(x)}{h} \\[1ex] &=\lim_{h \to 0 }\dfrac{\big(\cos(x)\cdot\cos(h) – \sin(x)\cdot\sin(h)\big)-\cos(x)}{h} \\[1ex] &=\lim_{h \to 0 }\dfrac{\cos(x)\cdot\big(\cos(h) -1 \big)-\sin(x)\cdot \sin(h)}{h} \\[1ex] &=\lim_{h \to 0 }\left (\dfrac{\cos(x)\cdot\left (\cos(h) -1 \right )}{h} \right )-\lim_{h \to 0 }\left (\dfrac{\sin(x)\cdot \sin(h)}{h} \right ) \\[1ex] &=\cos(x)\cdot\lim_{h \to 0 }\left(\dfrac{\cos(h) -1}{h} \right )-\sin(x)\cdot\lim_{h \to 0 }\left (\dfrac{ \sin(h)}{h} \right ) \\[1ex] &=\cos(x)\cdot 0-\sin(x)\cdot 1 \\[1ex] &=-\sin(x) \end{align*} \)

Erklärung

  1. Ableitung mit Hilfe des Differentialquotienten durchführen
  2. f(x) als cos(x) umschreiben
  3. Cosinus mit Hilfe des trigonometrischen Additionstheorems umschreiben
  4. Faktorisieren
  5. Grenzwert in zwei Grenzwerte durch den Grenzwertsatz umschreiben
  6. Invariante Terme können vor den Grenzwert geschrieben werden
  7. Grenzwerte bestimmen (dabei ist zu beachten, dass \( \footnotesize{ \lim_{h \to 0 }\left (\dfrac{ \sin(h)}{h} \right )=1 } \) ein besonderer Grenzwert ist, auf dessen Herleitung noch einmal gesondert eingegangen wird.)
  8. Vereinfachen und zusammenfassen

Q.E.D.

Beweis #2: Reihenentwicklung

Die Ableitung des Cosinus kann auch mithilfe der Reihenentwicklung von cos(x) bestimmt werden:

\( \begin{align*} \dfrac{\mathrm{d} }{\mathrm{d} x} \big({\cos(x)}\big) &= \dfrac{\mathrm{d} }{\mathrm{d} x}\left (\displaystyle \cos(x) = \sum_{n \mathop = 0}^\infty \left({-1}\right)^n \dfrac {x^{2n}}{\left({2n}\right)!}  \right ) \\[1ex] &=\displaystyle \sum_{n \mathop = 1}^\infty \left({-1}\right)^n 2n \dfrac {x^{2n – 1} }{\left({2n}\right)!} \\[1ex] &=\displaystyle \sum_{n \mathop = 1}^\infty \left({-1}\right)^n \dfrac {x^{2n – 1} }{\left({2n – 1}\right)!} \\[1ex] &=\displaystyle \sum_{n \mathop = 0}^\infty \left({-1}\right)^{n+1} \dfrac {x^{2n + 1} }{\left({2n + 1}\right)!} \\[1ex] &=\displaystyle – \ubrace[\text{Definition von sin(x)}]{\sum_{n \mathop = 0}^\infty \left({-1}\right)^n \dfrac {x^{2n + 1} }{\left({2n + 1}\right)!}} = -\sin(x) \end{align*} \)