6.03 Double-Angle and Half-Angle Formulas