From A.7 and cos 2a + sin 2a = 1:
and
The following are some of the so-called product to sum identities:
where a is the argument of the sine in Eq. (A.12).