Lösung zur Ableitung der Formel
Eingabefunktion
$$\sin\left(x\right)\,\cos\left(x\right)$$
Start der Ableitung
$$\frac{d}{dx}{\left[\cos\left(x\right)\,\sin\left(x\right)\right]}$$
Schritt 1 — Produktregel
📖 Regel
$$\frac{d}{dx}(u \cdot v)=u'v+uv'$$
Mit:
- $u = \cos\left(x\right)$
- $v = \sin\left(x\right)$
🧮 Aktueller Ausdruck
$$\bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\frac{d}{dx}{\left[\cos\left(x\right)\,\sin\left(x\right)\right]}\,}}}$$
✨ Nach Produktregel
$$\bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\frac{d}{dx}{\left[\cos\left(x\right)\right]}\,\sin\left(x\right) + \cos\left(x\right)\,\frac{d}{dx}{\left[\sin\left(x\right)\right]}\,}}}$$
Schritt 2 — Ableitung des Kosinus
📖 Regel
$$\frac{d}{dx}(\cos(x)) = -\sin(x)$$
🧮 Aktueller Ausdruck
$$\bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\frac{d}{dx}{\left[\cos\left(x\right)\right]}\,}}}\,\sin\left(x\right) + \cos\left(x\right)\,\frac{d}{dx}{\left[\sin\left(x\right)\right]}$$
✨ Nach Ableitung des Kosinus
$$\bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,-\sin\left(x\right)\,}}}\,\sin\left(x\right) + \cos\left(x\right)\,\frac{d}{dx}{\left[\sin\left(x\right)\right]}$$
🧹 Vereinfacht
$$\bbox[lightgreen, padding:0.12em 0.22em]{\vphantom{\dfrac{d}{dx}}\,-\sin\left(x\right)\,\sin\left(x\right)\,} + \cos\left(x\right)\,\frac{d}{dx}{\left[\sin\left(x\right)\right]}$$
Schritt 3 — Ableitung des Sinus
📖 Regel
$$\frac{d}{dx}(\sin(x)) = \cos(x)$$
🧮 Aktueller Ausdruck
$$-\sin\left(x\right)\,\sin\left(x\right) + \cos\left(x\right) \cdot \bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\frac{d}{dx}{\left[\sin\left(x\right)\right]}\,}}}$$
✨ Nach Ableitung des Sinus
$$-\sin\left(x\right)\,\sin\left(x\right) + \cos\left(x\right) \cdot \bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\cos\left(x\right)\,}}}$$
Endergebnis
$$\cos\left(x\right)^{2} - \sin\left(x\right)^{2}$$
Direkt berechnet (Maxima)
Abgleich des Ergebnisses mit dem Computeralgebrasystem Maxima:
$$\cos\left(x\right)^{2} - \sin\left(x\right)^{2}$$
Abgleich Schrittfolge ↔︎ Maxima: gleich (true)