∫(ATAN(x))dx=
=x·ATAN(x) - ∫(x/(x^2 + 1)dx=
=x·ATAN(x) - 1/2∫(2x/(x^2 + 1)dx=
=x·ATAN(x) - LN(x^2 + 1)/2 + C
Determino C
F(x)=x·ATAN(x) - LN(x^2 + 1)/2 + C
La derivata della primitiva corrisponde alla funzione integranda:
ATAN(x) =0 -------> x=0
F(0)=1---> C = 1