Primitive of Cube of Tangent of x

Theorem

\(\ds \int \tan^3 x \rd x\) \(=\) \(\ds \frac {\tan^2 x} 2 + \ln \size {\cos x} + C\)
\(\ds \) \(=\) \(\ds \frac {\tan^2 x} 2 - \ln \size {\sec x} + C\)


Proof

From Primitive of $\tan^3 a x$:

$\ds \int \tan^3 a x \rd x = \frac {\tan^2 a x} {2 a} + \frac 1 a \ln \size {\cos a x} + C$


The result follows on setting $a = 1$, then using Primitive of $\tan x$: Secant Form

$\blacksquare$


Sources

  • 1953: L. Harwood Clarke: A Note Book in Pure Mathematics ... (previous) ... (next): $\text {II}$. Calculus: Exercises $\text {XIV}$: $30$.