sin(10°)は 8x^3-6x+1=0 の解である、というのですが、
xに代入してからの計算がまったく分かりません。