Chapter 2.14, Problem 25P

Use a computer to find the three solutions of the equation $x^3-3x-1=0$.

Find a way to show that the solutions can be written as $2\cos (\pi /9),-2\cos (2\pi /9),-2\cos (4\pi /9)$.