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
since this is largest of the two roots.