Primitive of Square of Secant of a x

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int \sec^2 a x \rd x = \frac {\tan a x} a + C$


Proof

\(\ds \int \sec^2 x \rd x\) \(=\) \(\ds \tan x + C\) Primitive of $\sec^2 x$
\(\ds \leadsto \ \ \) \(\ds \int \sec^2 a x \rd x\) \(=\) \(\ds \frac 1 a \paren {\tan a x} + C\) Primitive of Function of Constant Multiple
\(\ds \) \(=\) \(\ds \frac {\tan a x} a + C\) simplifying

$\blacksquare$


Also see


Sources