>>529
加法定理から17倍角の公式を作り、それを利用すれば17次方程式の解に帰着するが、
これが解析的に解ける保証はない。