Cos x half angle formula. Double-angle identities are derived from the sum formulas of the...