Half Angle Formulas/Cosine/Proof 1