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