Soit
f(x)=tan(x) que l'on peut également écrire :
f(x)=cos(x)sin(x) Une primitive de uu′ est de la forme ln(∣u∣) Soit
x∈]−2π;2π[ La fonction
f est de la forme
uu′ avec
u(x)=cos(x).
De plus,
u′(x)=−sin(x) .
f(x)=−(cos(x)−sin(x)) s'écrit alors
f(x)=−u(x)u′(x)Or une primitive de
uu′ est de la forme
ln(∣u∣)Il en résulte donc qu'une primitive de
f sur
]−2π;2π[ est :
F(x)=−ln(∣u(x)∣)+K où
K∈R Ainsi :
F(x)=−ln(∣cos(x)∣)+K où
K∈R