Primitive of Power of Tangent of a x

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int \tan^n a x \rd x = \frac {\tan^{n - 1} a x} {\paren {n - 1} a} - \int \tan^{n - 2} a x \rd x$

for $n \ne 1$.


Proof

\(\ds \int \tan^n a x \rd x\) \(=\) \(\ds \int \tan^{n - 2} a x \tan^2 a x \rd x\)
\(\ds \) \(=\) \(\ds \int \tan^{n - 2} a x \paren {\sec^2 a x - 1} \rd x\) Difference of Squares of Secant and Tangent
\(\ds \) \(=\) \(\ds \int \tan^{n - 2} a x \sec^2 a x \rd x - \int \tan^{n - 2} \rd x\) Linear Combination of Primitives
\(\ds \) \(=\) \(\ds \frac {\tan^{n - 1} a x} {\paren {n - 1} a} - \int \tan^{n - 2} \rd x\) Primitive of $\tan^n a x \sec^2 a x$

$\blacksquare$


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Primitive_of_Power_of_Tangent_of_a_x&oldid=675419"