Primitive of x by Logarithm of x squared plus a squared/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int x \map \ln {x^2 + a^2} \rd x = \frac {\paren {x^2 + a^2} \map \ln {x^2 + a^2} - x^2} 2 + C$


Proof

\(\ds \int x \map \ln {x^2 + a^2} \rd x\) \(=\) \(\ds \frac {x^2 \map \ln {x^2 + a^2} } 2 - \int \frac {x^3} {x^2 + a^2} \rd x + C\) Primitive of $x^m \map \ln {x^2 + a^2}$ with $m = 1$
\(\ds \) \(=\) \(\ds \frac {x^2 \map \ln {x^2 + a^2} } 2 - \paren {\frac {x^2} 2 - \frac {a^2} 2 \map \ln {x^2 + a^2} } + C\) Primitive of $\dfrac {x^3} {x^2 + a^2}$
\(\ds \) \(=\) \(\ds \frac {\paren {x^2 + a^2} \map \ln {x^2 + a^2} - x^2} 2 + C\) simplifying

$\blacksquare$