22/12/24 14:00:21.31 tBAGAWoe.net
>>48
>β1、β2、β3、β4に共通する因子があれば
>すっきりするなと、考えたんだけど
>すぐには浮かばなかったな
実はα0~α4のどれでもいい
どれか１つから、他の４つは巡回関数σで生み出せる
σは、cosの二倍角公式だから有理関数（しかも多項式）だ
β1~β4は、例えばα0と巡回関数σと１の5乗根ζ5から生成できる
これが「共通因子」だなｗ
定理6.5の証明の
「ラグランジュの分解式」
が分かっていれば即答できたな
これで、おサルさんも冥途に行けるだろう
メリークリスマス！！！