Korollar: Ableitung des Logarithmus

Sei .

Die Funktion ist differenzierbar in mit

Beweis

Mit Proposition 14.2.44 gilt:

Da nicht von abhängig ist, können wir als konstanten Faktor betrachten (vergleichbar mit ).

Mit Proposition 16.2.1 und der Ableitung des natürlichen Logarithmus folgt hieraus