< 1 >
Addition formula for the cosine
An addition in the argument of a cosine gives
Explanation
From the definition of the cosine follows
Substitution with Euler's formula gives
so that
Example 1
For cos (2x) applies
cos (2x) = cos (x + x) = cos x cos x − sin x sin x = cos2 x − sin2x