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)}$$
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)\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)\bbox[yellow, padding:0.12em 0.22em]{{\color{black}{\vphantom{\dfrac{d}{dx}}\,\cos\left(x\right)\,}}}$$
Ergebnis
$$-\sin\left(x\right)\sin\left(x\right) + \cos\left(x\right)\cos\left(x\right)$$
Direkt berechnet (Maxima)
Ableitung der Eingabefunktion via Maxima:
$$\cos^{2}(x) - \sin^{2}(x)$$
Abgleich Schrittfolge ↔︎ Maxima:
gleich (true)