Proof of Values at Zero, Parity, Addition and Double-Angle Identities for Sine and Cosine

Each result cited is universally quantified over the data in its own statement. Every step below specialises one of the three product-to-sum formulas, whose claims 1, 2 and 3 assert, for all real $u,v$,

and uses the identity $(\cos w)^{2}+(\sin w)^{2}=1$ of The Pythagorean Identity for Sine and Cosine §identity. The number $2$ is positive, hence nonzero and invertible, by claim 8 of Elementary Order Arithmetic in an Ordered Field; cancelling a factor $2$ below means multiplying by its inverse.

Claim 1. Take $u=v=x$ in Product-to-Sum Formulas for Sine and Cosine §cosine-cosine and Product-to-Sum Formulas for Sine and Cosine §sine-sine. Since $x-x=0$ and $x+x=2x$, they read

Adding the two and using the Pythagorean identity gives $2\cos 0=2\bigl((\cos x)^{2}+(\sin x)^{2}\bigr)=2$, so $\cos 0=1$ after cancelling the factor $2$.

Applying the Pythagorean identity at $w=0$ now gives $1+(\sin 0)^{2}=1$, hence $(\sin 0)^{2}=0$, hence $\sin 0=0$ by claim 3 of Zero Products and Elementary Identities in a Field, a field having no zero divisors.

Claim 2. Take $u=0$ and $v=x$, so that $u-v=-x$ and $u+v=x$. Product-to-Sum Formulas for Sine and Cosine §cosine-cosine gives

using $\cos 0=1$ from claim 1; subtracting $\cos x$ gives $\cos(-x)=\cos x$. Claim 3 of that lemma gives

using $\sin 0=0$ from claim 1 and claim 1 of Zero Products and Elementary Identities in a Field; hence $\sin(-x)=-\sin x$.

Claim 3. Apply Product-to-Sum Formulas for Sine and Cosine §sine-cosine twice, first with $u=x$ and $v=y$, then with $u=y$ and $v=x$:

Addition in $\mathbb{R}$ is commutative, so $\sin(y+x)=\sin(x+y)$; and $y-x=-(x-y)$, so $\sin(y-x)=-\sin(x-y)$ by claim 2. Adding the two displayed equations therefore cancels the terms $\sin(x-y)$ and $\sin(y-x)$ and leaves

which gives the first identity after cancelling the factor $2$.

For the second, subtract Product-to-Sum Formulas for Sine and Cosine §sine-sine from Product-to-Sum Formulas for Sine and Cosine §cosine-cosine, both taken with $u=x$ and $v=y$: the terms $\cos(x-y)$ cancel and

which gives the second identity after cancelling the factor $2$.

Claim 4. The two displays in the proof of claim 1, together with $\cos 0=1$ proved there, give

Taking $u=v=x$ in Product-to-Sum Formulas for Sine and Cosine §sine-cosine gives $\sin(2x)+\sin 0=2\sin x\,\cos x$, and $\sin 0=0$ by claim 1, so $\sin(2x)=2\sin x\,\cos x$.

Claim 5. Take $u=x+y$ and $v=x-y$ in Product-to-Sum Formulas for Sine and Cosine §sine-sine. Then $u-v=2y$ and $u+v=2x$, so

By claim 4, $\cos(2y)=1-2(\sin y)^{2}$ and $\cos(2x)=1-2(\sin x)^{2}$, so the left-hand side equals $2(\sin x)^{2}-2(\sin y)^{2}$. Cancelling the factor $2$ gives the assertion.