2014年3月9日日曜日

三次方程式の根と補助方程式の関係を探る2

3次方程式
a x ^ 3 + b x ^ 2 + c x + d ~=~ 0 ~ (a <> 0) ...(1)
の3根
x_1, x_2, x_3 ...(2)
とすると、根と係数の関係から
b / a ~=~ - (x_1 + x_2 + x_3 ) ...(3)
c / a ~=~ x_1 x_2 + x_2 x_3 + x_3 x_1 ...(4)
d / a ~=~ - x_1 x_2 x_3 ...(5)
である。

ここで、3次方程式を解く時に途中で出て来る補助方程式を
f(t) ~=~ 0 ...(6)
とする。
前記事で説明したが、この補助方程式の根の一つは、
1 / 3 ( x_1 + omega x_2 + omega ^ 2 x_3 ) ...(7)
である。

(6)は、補助方程式なので、3次方程式(1)から、式の変形で求まる。
(実際、カルダノの方法ではそうして求まっている)

この式の変形は、四則演算なので、補助方程式(6)の係数は、
3次方程式(1)の係数 a,b,c,d から四則演算で求まる。

この、a,b,c,d は、(3),(4),(5)から、x_1, x_2, x_3を平等に含む。

(平等に含むとは、x_1, x_2, x_3を互いに入れ替えても、
入れ替えは順列で6通り、変わらない同じ式になるということ
これをx_1, x_2, x_3についての対称式という)
したがって、
補助方程式(6)の係数は、x_1, x_2, x_3を平等に含むa,b,c,d から四則演算で求まるから
最終的な式でも、。x_1, x_2, x_3を平等に含む。

ところで、(7)は、(6)の根なので、これを代入すると、
f( 1 / 3 ( x_1 + omega x_2 + omega ^ 2 x_3 ) ) ~=~ 0 ...(8)
ここで、(8)をもう少し、簡略に書き、補助方程式を
F( x_1, x_2, x_3 ) ~=~ 0 ...(9)
と書くことにする。
(9)は補助方程式を3次方程式最終的な根 x_1, x_2, x_3 で書いたものである。
これは、どのような係数の3次方程式でも常に成り立つのである。
そして三根、x_1, x_2, x_3 には、特別定められた順序というものはなく、
どれも平等の関係にあるので、補助方程式(9)は、根の順序を入れ替えた補助方程式
F( x_1, x_3, x_2 ) ~=~ 0 ...(10)
F( x_2, x_1, x_3 ) ~=~ 0 ...(11)
F( x_2, x_3, x_1 ) ~=~ 0 ...(12)
F( x_3, x_1, x_2 ) ~=~ 0 ...(13)
F( x_3, x_2, x_1 ) ~=~ 0 ...(14)
でも成り立つはずである。
これは、補助方程式の根は6種類あるということで、
その根は、前記事からも解るが
1 / 3 ( x_1 + omega x_2 + omega ^ 2 x_3 ) ...(7) (再掲)
1 / 3 ( x_1 + omega x_3 + omega ^ 2 x_2 )...(15)
1 / 3 ( x_2 + omega x_1 + omega ^ 2 x_3 )...(16)
1 / 3 ( x_2 + omega x_3 + omega ^ 2 x_1 )...(17)
1 / 3 ( x_3 + omega x_1 + omega ^ 2 x_2 )...(18)
1 / 3 ( x_3 + omega x_2 + omega ^ 2 x_1 )...(19)
となる。これを書き直しし、
t_1 = 1 / 3 ( x_1 + omega x_2 + omega ^ 2 x_3 ) ...(20) ((7)から)
omega t_1 = 1 / 3 ( omega x_1 + omega ^ 2 x_2 + x_3 ) ...(21) ((18)から)

omega ^ 2  t_1 = 1 / 3 ( omega ^ 2 x_1 +  x_2 + omega x_3 ) ...(22) ((17)から)
t_2 = 1 / 3 ( x_1 + omega ^ 2 x_2 + omega  x_3 ) ...(23) ((15)から)
omega t_2 = 1 / 3 ( omega  x_1 + x_2 + omega ^ 2  x_3 ) ...(24) ((16)から)
omega ^ 2 t_2 = 1 / 3 ( omega ^ 2  x_1 + omega  x_2 + x_3 ) ...(25) ((19)から)
とし、補助方程式(6)を書き直すと
f(t) = ( t - t_1 ) ( t - omega t_1 ) ( t - omega ^ 2 t_1 ) ( t - t_2 ) ( t - omega t_2 ) ( t - omega ^ 2 t_2) ~=~ 0 ...(26)
展開計算をする。

( t - t_1 ) ( t ^ 2 - ( omega + omega ^ 2 ) t_1 t + { t_1 } ^ 2) ( t - t_2 ) ( t ^ 2 - (omega + omega ^ 2 ) t_2 t + { t_2 } ^ 2 ) ~=~ 0 ...(27)

ところで、
omega ^ 2 + omega + 1 ~=~ 0 ...(28)
なので、
( t - t_1 ) ( t ^ 2 + t_1 t + { t_1 } ^ 2) ( t - t_2 ) ( t ^ 2 + t_2 t + { t_2 } ^ 2 ) ~=~ 0 ...(29)

( t ^ 3 - {t_1} ^ 3) ( t ^3 - {t_2} ^ 3 ) ~=~ 0 ...(30)
となる。つまり、補助方程式は、t ^ 3 の2次方程式であるはずとなる。

三次方程式の根と補助方程式の関係を探る

「ガロアの理論」矢ヶ部 巌 著では

18世紀の数学者ラグランジュの1770年の論文
「方程式の代数的解法についての省察」
の解説が出ている。

3次方程式の根と補助方程式の関係を探ることであり、
補助方程式が6次方程式となる理由を説明している。

---------------------------------

3次方程式
a x ^ 3 + b x ^ 2 + c x + d = 0 ~ (a <> 0 ) ...(1)
をカルダノの方法で解けるのだが、それによると(雑だが)
補助方程式
t ^ 6 + q t ^ 3 - p ^ 3 / 27 = ~ 0 ~... (2)
のニ根で、その積が
- p / 3 ~...(3)
となるものを
u_0, ~ v_0 ...(4)
とすると、
delim{lbrace}{matrix{3}{1}{{ x_1 = - b / {3 a} + u_0 + v_0 } { x_2 = - b / {3 a} + u_0 omega + v_0 omega ^ 2 } { x_3 = - b / {3 a} + u_0 omega ^ 2 + v_0 omega  }} }{} ...(5),(6),(7)
である。ただし、
omega ^ 3 ~=~ 1 ...(8)
であり、
omega ^ 2 + omega + 1 ~=~ 1 ...(9)
である。

ところで、u_0, ~ v_0 をx_1, ~ x_2, ~ x_3 で表してみよう。
まず、(5),(6),(7)にomegaを作用させてv_0の係数を消すと
delim{lbrace}{matrix{3}{1}{{ x_1 = - b / {3 a} + u_0 + v_0 } { omega x_2 = - b / {3 a} omega + u_0 omega ^ 2 + v_0 } { omega ^ 2 x_3 = - b / {3 a} omega ^ 2 + u_0 omega + v_0 }} }{} ...(10),(11),(12)
となる。(10),(11),(12)の両辺を加えて、(9)を使うと
v_0 ~=~ 1 / 3 ( x_1 + omega x_2 + omega ^ 2 x_3 )...(13)
を得る。同様に(5),(6),(7)にomegaを作用させてu_0の係数を消して得られるのは、
u_0 ~=~ 1 / 3 ( x_1 + omega ^ 2 x_2 + omega x_3 ) ...(14)
(2)は、6次方程式だから、v_0u_0以外の残り4個の根は、
omega v_0omega ^ 2 v_0omega u_0omega ^ 2 u_0  ...(15)
となる。詳しく書くと、
omega v_0 ~=~ 1 / 3 ( omega x_1 + omega ^ 2 x_2 + x_3 ) ...(16)
omega ^ 2 v_0 ~=~ 1 / 3 ( omega ^ 2 x_1 + x_2 + omega x_3 ) ...(17)
omega u_0 ~=~ 1 / 3 ( omega  x_1 + x_2 + omega ^ 2 x_3 ) ...(18)
omega ^ 2 u_0 ~=~ 1 / 3 ( omega ^ 2  x_1 + omega  x_2 +  x_3 ) ...(19)
(13),(14),(16),(17),(18)を見比べると
x_1, ~ x_2, ~ x_3に対して、1, ~ omega, omega ^ 2 の3個を並べ替えて係数としている
と考えることができるし、
反対に、1, ~ omega, omega ^ 2 に対して、x_1, ~ x_2, ~ x_3 の3個を並べ替えて係数としている
とも、考えることができる。
3個の物を並べ替える方法は何通り在るか。
3 ! ~=~ 6
である。