Let
. Then,
. By substitution,
We now use another trigonometric identity,
to obtain
In the last step we used that
. All that's left to do is to express this result in terms of
.
First, notice that
,
and hence
. Also, by using the below picture,
. Thus,