ProofWiki:Sandbox/Template

Theorem
Primitive of Root of x squared plus a squared cubed over x


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

Gold Proof
Let:

Generated Proof (GT refs)
Let:

\