Konstrukte/Folgerungen
:Involvierte Definitionen
:Referenz
: Mathegrundlagen
⠀
Korollar: Ableitung des natürlichen Logarithmus
Der natürliche Logarithmus
ist in allen differenzierbar. Es gilt:
Beweis
Der natürliche Logarithmus ist die Umkehrfunktion der e-Funktion. Mit Proposition 16.2.4 gilt daher, dass
Mit Proposition 16.2.4 und Satz 16.3.4 folgt weiter: