Il suffit de calculer la dérivée de F et de montrer que c'est en fait f.
La fonction x x² + 1 est dérivable et strictement positive sur .
Donc, les fonctions x √x² + 1 et x √x² + 1 + x sont dérivables sur .
De plus, si x > 0, la fonction x ln(√x² + 1 + x) est strictement positive sur .
Donc, la fonction F(x) = ln(√x² + 1 + x) est dérivable sur .
Nous pouvons donc calculer sa dérivée.
Donc, la fonction F(x) = ln(√x² + 1 + x) est une primitive, sur l'ensemble des réels, de la fonction .