Half angle formula sin. Double-angle identities are derived from the sum ...