The trigonometric identity
.
The sum-to-product formula:
.
Consider
.
Here
and
.

.
Consider
.
The double-angle formula:
.
.
Consider the left hand side identity
.
Substitute
and
.

The sum-to-product formula:
.

= Right hand side of the identity.
\
.
.