Triple Angle Formulas/Cosine/Proof 1