6.03 double-angle and half-angle formulas