さらに
下記 杉岡幹生 「ガロア理論講義」（足立恒雄著、日本評論社）P137に
”なんと cos(2π/17)が√ばかりで表現されたものがズバリ出ている”
とあるよ
実際、手元の「ガロア理論講義」足立本のP133〜137で、きっちりその導出まで 記されている。
（下記 5　ガロア理論とその応用 の 5.7円分体のところだ）
ほぼ５ページ分あり、これを全文転記することは、憚られるのでやらない
どこか、図書館なり書店のチラ見か自分で買うなりしてくれ

(参考)
//さくら/koramu2/15872_l1.pdf
ガウスの cos(2π/17)の√表現と L(1)１７分身、L(1)微分方程式の行列表現の一例（最後）
2020.9.27 杉岡幹生
「ガロア理論講義」（足立恒雄著、日本評論社）を昨日ふっと
開けると、p.137 に、なんと cos(2π/17)が√ばかりで表現されたものがズバリ出ているではないか！！
しかも、正十七角形作図でガウスが求めた結果として出ている。

つづく