How do you evaluate #Cos((2pi)/9)#?

1 Answer
May 28, 2018

It's one of the roots of #4 x^3 - 3x = -1/2 # and has a closed form involving complex cube roots:

# cos ({2pi}/9) = 1/4( (-4 + 4 i sqrt{3})^{1/3} + (- 4 - 4 i sqrt{3})^{1/3}) quad # near #.766#

Explanation:

That's #40^circ,# not one of the usual suspects. It's not constructible with straightedge and compass because we can't trisect anything but multiples of #90^circ#.

Nonetheless #cos({2pi}/9)# is an algebraic number, the zero of a polynomial with integer coefficients.

#cos(3 theta) = cos 120^circ #

has roots

#3 theta = \pm 120 ^circ + 360^circ k quad # integer #k#

#theta = \pm 40^circ + 120^circ k#

#cos(3 theta) = -1/2#

#4 cos^3 theta - 3 cos theta = -1/2 #

So #cos 40^circ# is one of the three roots of

#4 x^3 - 3x = -1/2 #

That's called a depressed cubic (no #x^2# term) and has an easy closed form solution. Rather than work it out, we can just get it from De Moivre:

# cos theta + i sin theta = (cos 3 theta + i sin 3 theta)^{1/3}#

# cos theta - i sin theta = (cos 3 theta - i sin 3 theta)^{1/3}#

# cos theta = 1/2( (cos 3 theta + i sin 3 theta)^{1/3} + (cos 3 theta - i sin 3 theta)^{1/3}) #

# cos theta = 1/2( (-1/2 + i sqrt{3}/2 )^{1/3} + (-1/2 - i sqrt{3}/2)^{1/3}) #

# cos theta = 1/4( (-4 + 4 i sqrt{3})^{1/3} + (- 4 - 4 i sqrt{3})^{1/3}) #

The cube root of a complex number isn't that helpful. It's ambiguous as well.