Primitive of Reciprocal of 1 plus x squared/Arctangent Form/Proof 2

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int \frac {\d x} {1 + x^2} = \arctan x + C$


Proof

\(\ds \map {\dfrac \d {\d x} } {\arctan x}\) \(=\) \(\ds \dfrac 1 {1 + x^2}\) Derivative of Arctangent Function
\(\ds \leadsto \ \ \) \(\ds \int \dfrac {\d x} {1 + x^2}\) \(=\) \(\ds \arctan x + C\) Definition of Primitive (Calculus)

$\blacksquare$


Sources