Double Angle Formula for Cosine/Corollary 4

Corollary to Double Angle Formula for Cosine

 * $1 + \cos \theta = 2 \cos^2 \dfrac \theta 2$