>>265
sinの3倍角 sin(3x)=3sinx-4(sinx)^3
これにx=(π/9),(2π/9),(-4π/9)を適用
相異なる3数sin(π/9),sin(2π/9),sin(-4π/9)は
(√3)/2=3y-4y^3の3根といえる
解と係数の関係より与式=√3