12/02/21 21:08:25.74
>>324
誘導ありがとう。君は親切だね
f(α,β,γ)=（α－β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）で変わらない式を作る
Ｖ１＝ａα＋ｂβ＋ｃγ、Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４に）
で、（ｘ－Ｖ１）（ｘ－Ｖ４）がそれ
同じようにするんだが、>>289の記号で、r+ ＝(1 2 3 ｜ 2 3 1), r-＝(1 2 3 ｜ 3 1 2)（長さ３の巡回置換）を使って
（β－γ）^2を添加するときは、これを変えない置換は（β、γ）で変わらない式を作る
r-（Ｖ１）＝ａβ＋ｂγ＋ｃα＝Ｖ２として、（β、γ）（Ｖ２）＝ａγ＋ｂβ＋ｃα＝Ｖ５
で（ｘ－Ｖ２）（ｘ－Ｖ５）
（γ－α）^2を添加するときは、これを変えない置換は（γ、α）で変わらない式を作る
r+ （Ｖ１）＝ａγ＋ｂα＋ｃβ＝Ｖ３として、（γ、α）（Ｖ３）＝ａα＋ｂγ＋ｃβ＝Ｖ６
で（ｘ－Ｖ３）（ｘ－Ｖ６）
これで、F(x)=(x-V1)(x-V2)(x-V3)(x-V4)(x-V5)(x-V6)の分解が見える