Double Angle Identities Proof, It explains how to derive the do.