On veut calculer l'intégrale de bornes indéfinies de dx/cos³(x).
On multiplie le haut et le bas par sin(x) pour faire une intégration par parties : Int(dx/cos³(x)) = 1/2.(1/(cos²(x)sin(x))+Int(dx/(cos(x)sin²(x)).
Pour calculer Int(dx/(cos(x)sin²(x)), on mutiplie le haut et le bas par cos(x) et on opère le changement de variable t = sin(x).
Alors Int(dx/(cos(x)sin²(x)) = Int(dt/(t²(1-t²))) = Int(dt/t²) + 1/2.Int(dt/(1-t)) + 1/2.Int(dt/(1+t)) = -1/t - 1/2.ln(1-t) + 1/2.ln(1+t).
Sauf erreur, Int(dx/cos³(x)) = 1/4.(2/(cos²(x)sin(x)) -2/sin(x) - ln(1-sin(x)) + ln(1+sin(x))).