@capedsam Tweeted: “Can you find an exact value for cos(pi/5)? “
x
It is actually fairly easy to find an exact value for
by following a path through the complex numbers.
x
To do this we use Euler’s identity
for all real numbers
.
x
Jim Tanton (@jamestanton) has a very nice introduction to Euler’s identity
here.
x
As shorthand let’s write
.
x
From Euler’s identity we know that:
x
………(1)
x
We raise both sides of equation (1) to the
power:
x
……………………….(2)
x
The left hand side of equation (2) is
.
x
The right hand side of equation (2) is, by the binomial theorem:
x
 ……..(3)
x
We separate the expression in (3) into real and imaginary parts, and equate the real part to -1, and the imaginary part to 0:
x
……………………………..(4)
x
……………………………….(5)
x
We can substitute
in (5) to get:
x
………….(6)
x
Expanding (6) and dividing through by
we get:
x
………………………………………(7)
x
This is a quadratic equation for
with roots
x
This gives
x
Only one of these two roots can be equal to
.
x
Which one?
x
We know
so
.
x
Therefore,
so
which means, since
, that:
x
.
x