cosの３倍角の公式を利用して、３次方程式
x^3 - 3x -1 =0
は３実根 x = 2cos(π/9), 2cos(2π/9), 2cos(4π/9)を持つことを示せ。