Double Angle Identities Explained