The double angle identities are
These are all derived from their respective trigonometric addition formulas. For example,
The formula for cosine follows similarly, and the formula tangent is derived by taking the ratio of sine to cosine, as always.
The double angle identities can also be derived from the de Moivre identity.