
so you have

###
If you don't remember the value of
off the top of your head, it's possible to derive it with some identities and knowing that
.
Consider the expression
. With the angle sum identity, we have

and the double angle identities give

Write everything in terms of cosine:


Now let
. Then

Let
. Then


The rational root theorem suggests some possible roots are

and checking all of these, we find that
is among the solution set. In fact,

We have
only for odd multiples of
, so it follows that
