What is the antiderivative of p(x) = 1/ (x^2 + 1)?

1 Answer
Jun 27, 2016

= arctan x + C

Explanation:

int \ 1/ (x^2 + 1) \ dx

this is very well known and widely used integral

use the sub x = tan t, \qquad dx = sec^2 t \ dt

so we have

int \ 1/ (tan^2 t + 1) \ sec^2 t \ dt

= int \ (sec^2 t)/(sec^2 t) \ dt = int \ dt

= t + C

= arctan x + C

it is built on the well-known trig identity tan^2 varphi + 1 = sec^2 varphi