Qual é a antiderivada de # (1) / (1 + x ^ 2) #?

A antiderivada de #1/(1+x^2)# é a integral

#int 1/(1+x^2)dx# que é equivalente a

#int 1/(1+x^2)dx=arctanx+C#

onde #arctanx# é o inverso da função trigonométrica

#tanx# e C é a constante de integração.