24/01/19 12:27:53.42 mecQ2PBC.net
>>819
>高木「近世数学史談」冒頭の章を見れば
>cos 2π/17 が「三角関数の公式を使って、平方根で表せる」
>ことが分かる ということを言った
２つの点で間違ってる
第一点は、そもそも通常の多項式計算と
1の原始17条根の指数に関する
mod17の算術の計算ができればいいので
三角関数の公式を知ってる必要はないし
そこは全く本質ではない
第二点は、上記の計算方法を知ってるだけでは
平方根で表せるとする、ガウスのアイデアは思いつけない
そのアイデアはmod17の算術の乗法群にはかかわるが
三角関数（より根本的には指数の計算）からは
まったく出てこない
要するに、ID:cbeVFClI氏は全然分かってない
>ラグランジュの分解式、が必須と思い込んだんだね
端的にいえば、「ラグランジュの分解式」以前に
「根の巡回置換」が必要
で、察するに、ID:cbeVFClI氏は
円の17等分方程式を解くにあたり、
その16個（17個にあらず！）の根を
どう巡回置換させるか今だに誤解している
と思うが如何？