Double Angle Formulas/Cosine/Proof 1