>>234
x = cos(π/9) として三倍角の公式から
4 x^3 -3x = cos(π/3) = 1/2
8x^3 -6x -1 = 0
左辺は既約で、cos(π/9)を根に持つので存在しない。