Double Angle Identities Proof, To derive the second version, in line (1) use this Pythagorean identity: sin 2 = 1 − cos 2.