Reciprocal of One Plus Cosine/Proof 3

From ProofWiki
Jump to navigation Jump to search

Theorem

$\dfrac 1 {1 + \cos x} = \dfrac 1 2 \sec^2 \dfrac x 2$


Proof

\(\ds \frac 1 {1 + \cos x}\) \(=\) \(\ds \frac 1 {1 + \frac {1- \tan^2 \frac x 2} {1 + \tan^2 \frac x 2} }\) Tangent Half-Angle Substitution for Cosine
\(\ds \) \(=\) \(\ds \frac {1 + \tan^2 \frac x 2} 2\) multiplying through $\frac {1 + \tan^2 \frac x 2} {1 + \tan^2 \frac x 2}$
\(\ds \) \(=\) \(\ds \frac 1 2 \sec^2 \frac x 2\) Difference of Squares of Secant and Tangent

$\blacksquare$