Double Angle Formula for Cosine/Corollary 1

Corollary to Double Angle Formula for Cosine

 * $\cos \left({2 \theta}\right) = 2 \ \cos^2 \theta - 1$

where $\cos$ denotes cosine.