Prove Half Angle Formula, To derive the second version, in line (1) use this Pythagorean identity: sin 2 = 1 − cos 2.