方程式：X17＝1の”代数的な”解法
f-denshi.com  最終更新日：
［目次へ］

　

［１］　代数方程式：

f（x）＝    x17＝1

の解を問われたとき，もし複素関数論の知識があれば，ほとんどの人は虚数をi として，

cos（2πk/17）＋i sin（2πk/17），　ただしk＝0，1，2，･････，16

と答えるでしょう。もちろんこれで正解ですが，この方程式を代数的に解けと言われたならば，最初から答えを知っていない人は七転八倒するのではないでしょうか。（ガウスは19歳の時にこれを解き，正17角形が定規とコンパスで作図可能なことを示しました。）ここで代数的とは，もとの式から四則演算と根号(n乗根)を取る操作だけで解を導くということです。もちろん答えには，sin とか，cos とかいう記号は使用不可です。

［２］　その解答を示す前に，この方程式の解（たち）が持つ高度な対称性について述べておきましょう。この方程式が自明な解：x＝1をもつ（因数（x−1）を持つ）ことを利用して因数分解すると，

f（x）＝（x−1）･g（x）
　　　＝（x−1）（x16＋x15＋x14＋x13＋x12＋x11＋x10＋x9＋x8＋x7＋x6＋x5＋x4＋x3＋x2＋x＋1）

つまり，問題は上式で定義される　g（x）＝0　を解くことに還元されます。その解のひとつを w とすると，

G* ＝ ｛ w，w2，w3，w4，w5，w6，w7，w8，w9，w10，w11，w12，w13，w14，w15，ｗ16 ｝

も　f（x）＝ 1 の解です。なぜなら任意の整数mに対して，f（wm）＝（wm）17＝（w17）m　＝1m＝1　だからです。ｗ17 ＝ 1 と合わせた17個の元の集合は巡回群を作っています。位数が素数（＝17）の巡回群の元は1以外のどの元も原始根となる：定理[#]ことから，16個のwkに重複はなく，wk，k＝1，2，･････，17　　が解のすべてとなります。

［３］　このように解が書き並べられることがわかると，解と解との関係もいろいろ見えてきます。たとえば，

wｗ16＝1，w2w15＝1，w3w14＝1，w4w13＝1，w5w12＝1，w6w11＝1，w7w10＝1，w8w9＝1

などです。このような対称性を利用して，次数を下げて行き，２次方程式の組み合わせに帰着できるというところがこの方程式が代数的に解けるポイントとなっています。（ 16＝24　はマジックナンバ−！ ）

では，原始根の p−1個のp 乗根からなる集合を分割して行きます。

ステップ１　

　x　⇒　x2　に対して不変な系列を拾い出すと，G*は２分割できて，

y1 ＝ x　＋x2＋x4＋x8＋x16＋x15＋x13＋x9　　（x，x2，（x2）2，・・・と繰り返しかけていったとき）
y2 ＝ x3＋x6＋x12＋x7＋x14＋x11＋x5＋x10　 （x3，（x3）2，（（x3）2）2，････　と　・・・）

とおくと，次の関係が成り立っています。

y1 ＋ y2 ＝ -1
　y1y2　  ＝ -4　　　　･･･････　　　　　　　（計算１演習問題）

これは，y1，y2 はχに関する２次方程式：

χ2−（y1＋y2）χ＋ y1y2＝χ2＋χ−4＝0

の根なので，

y1＝ -1＋
17
2
および，
y2＝ -1−
17
2
と　y1，y2　が求まります。ここで，符号は原始根wとしてcos（2π/17）＋i sin（2π/17）を想定して選んでます。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　･････　（計算２））

ステップ２
さらに，x　⇒　x4の置き換えに対して不変な組の和に分割すると
　　　　z1＝x　＋x4＋x16＋x13
　　　　z2＝x2＋x8＋x15 ＋x9
　　　　z3＝x3＋x12＋x14＋x5
　　　　z4＝x6＋x7＋x11＋x10
すると，
　　　　z1＋z2＝y1
　　　　　z1z2　＝-1
および，
　　　　z3＋z4＝y2
　　　　　z3z4　＝-1　　　　　････････････････････････････････　（計算）
したがって，z1，z2，および，z3，z4は次の２次方程式：

χ2−（z1＋z2）χ＋ z1z2＝χ2−y1χ−1＝0
χ2−（z3＋z4）χ＋ z3z4＝χ2−y2χ−1＝0  　　 ←19/05/14　訂正

の解で，

z1，z2＝ y1±
y12＋4
2
および，
z3，z4＝ y2±
y12＋4
から　z1，z2，z3，z4　が求まります。

複合については，適切に選択する必要があります。

ステップ３
さらに，x　⇒　x16　の置き換えに対して不変な系列に分割して，（計算は，）

v1＝x　＋x16
v2＝x4＋x13		 　　⇒　　 v1＋v2＝z1
v1v2　＝z3
v3＝x2＋x15
v4＝x8＋x9		 　　⇒　　 v3＋v4＝z2
v3v4　＝z4
v5＝x3＋x14
v6＝x5＋x12		 　　⇒　　 v5＋v6＝z3
v5v6　＝z2
v7＝x6＋x11
v8＝x7＋x10		 　　⇒　　 v7＋v8＝z4
v7v8　＝z1

これより，v1，v2，･･････はそれぞれ次の２次方程式：
　　　　χ2−（v1＋v2）χ＋ z1z2　＝χ2−z1χ−z3＝0
　　　　χ2−（v3＋v4）χ＋ z3z4　＝χ2−z2χ−z4＝0
　　　　χ2−（v5＋v6）χ＋ z5z6　＝χ2−z3χ−z2＝0
　　　　χ2−（v7＋v8）χ＋ z7z8　＝χ2−z4χ−z1＝0

の根となっています。したがって，

v1，v2＝ z1±
z12＋4z3
2
および，
v3，v4＝ z2±
z22＋4z4
2
v5，v6＝ z3±
z32＋4z2
2
および，
v7，v8＝ z4±
z42＋4z1
2
　と　v1，v2･････v8　が求まります。


ステップ４
最後は要領はすでに飲み込めたことと思いますので，一気に書きます。

w1＝x
w16＝x16		 　⇒　 w＋ w16＝v1
　ww16　＝1		 　⇒　 χ2−v1χ＋1＝0 　⇒　
w1，w16＝ v1±
v12−4
2
w4＝x4
w13＝x13		 　⇒ w4＋ w13＝v2
　w4w13　＝1		 　⇒　 　⇒　
w2＝x2
w15＝x15		 　⇒ w2＋ w15＝v3
　w2w15　＝1		 　⇒　 　⇒　
w8＝x8
w9＝x9		 　⇒ w8＋ w9＝v4
　w8w9　＝1		 　⇒　 　⇒　
w3＝x3
w14＝x14		 　⇒ w3＋ w14＝v5
　w3w14　＝1		 　⇒　 　⇒　
w5＝x5
w12＝x12		 　⇒ w5＋ w12＝v6
　w5w12　＝1		 　⇒　 　⇒　
w6＝x6
w11＝x11		 　⇒ w6＋ w11＝v7
　w6w11　＝1		 　⇒　 　⇒　
ｗ7＝x7
w10＝x10		 　⇒ w7＋ w10＝v8
　w7w10　＝1		 　⇒　 　⇒　
というようにw1，･･････，w16　が求まります。　　空欄は演習問題としておきましょうか。　

　ちなみにw1は，（複合を選択しながら[#]，ステップ1まで遡ると，）


w1＝
−1＋
17

＋
34−2
17
16 16

＋
−
34−2
17
−2
17＋3
17
34＋2
17
8

もちろん，これを17乗すれば，その過程ですべての解が得られ，
　　　　　　検算も同時にできるのですが，　　　　　　････  (＾＾ゞ




［目次へ］