Double angle formula for sin. Double-angle identities are derived from ...