Primitive of Secant Function/Secant plus Tangent Form/Proof 1

Theorem

 * $\displaystyle \int \sec x \rd x = \ln \size {\sec x + \tan x} + C$

where $\sec x + \tan x \ne 0$.

Proof
Let:

Then: