Intégrons :
Le dénominateur est strictement positif sur ℝ. On pose , donc
La règle du quotient et la dérivée de atan donnent = : une primitive de est
On applique le facteur , puis on remplace :
▶Les intégrales indéfinies sont définies à une constante additive près C, ce qui donne :