Durch die Definition von tanx erhalten wir
Wir sehen hier, dass der Zähler sinx (fast) die Ableitung vom Nenner ist. Daher machen wir die Substitution u=cosx.
Hinweis: −lncosx+C ist nur eine Stammfunktion, wenn cosx=0.