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.