Salut
1) Utiliser la forme canonique pour mettre

sous la forme
^2\!+\!c)
puis sous la forme
^2\!+\!1\big])
et faire un changement de variable pour avoir le dénominateur "classique"
^2)
.
2) Écrire sous la forme
^2})
les dérivées des quatre fonctions
\ \text{et}\ t\mapsto\ln(1\!+\!t^2))
Puis écrire ton numérateur comme combinaison linéaire (à coefficients constants) des 4 numérateurs obtenus.
(On peut procéder différemment à l'aide d'intégration par partie : en temps, c'est assez semblable)
Sinon, si tu veut uniquement vérifier la véracité de la formule sans savoir d'où elle sort, c'est évidement bète comme choux : tu dérive le terme de droite. . .