The identity
can be determined most directly by studying the pentagram and arriving at the value by observing certain similarity relations between different lengths within the pentagram. That approach however requires many preliminaries in geometry and specific knowledge about pentagrams, which is great if you already know them, but which makes it cumbersome if all you want is to dispel some doubts as to whether its true. I’d therefore would like to lay out an alternate approach which requires only fairly rudimentary knowledge about polynomials and complex numbers, though still quite a lot. Okay. Let’s make the Faustian bargain.
The approach here is to solve the equation
since this equation has five roots of the form so
will be the real part of one of the solutions.
To solve the equation we first factor out using either polynomial division or the generalized conjugate rule.
Plan: To find the real part of the roots of the equation
Firstly let us remark:
The equation
has no real solutions and since the polynomial has real coefficients the 4 non-real solutions come in conjugate pairs.
Now the conjugate pair part is important since this means that if is a root then so is
and the polynomial
must contain the factor
Since the roots all lie on the unit circle we have
and further we note that
is twice the real part of
which is precisely the quantity we want to determine. So what we really need to find is the coefficient
and
in the factorization
.
Computing the product we get
And then by comparing coefficients we get the system of equations
Oh look! It’s a good old sum-product system of equations which can be solved by solving the quadratic equation
which has the solutions
or
And finally
since this is largest of the two roots.