Double And Half Angle Identities, The formulas are immediate consequences of the Sum Formulas.