99. Formulas for a double angle