Use the angle sum identities to expand
and
:


Use the double angle identity to expand
:

So we have


Then divide the first expression by
and the second by
:


Squaring these gives


Subtract the second expression from the first to get the original equation. The
terms cancel, leaving us with

Now, notice that

and

because
and
.
So we're left with
