Derivation of half angle identities. A special case of the addition formulas is when the two ...