Integral de (1/(x²+1)) dx ?

Por favor dedução teorica ... pois sei que é arctg (x)

UNIFAL