2014年2月16日日曜日

根号の仮面整数

root {3} { 10 + sqrt { 108 } } + root {3} { 10 - sqrt { 108 } } = 2 ...(1)
root {3} { 10 + sqrt { 108 } } - root {3} { 10 - sqrt { 108 } } = 2 sqrt { 3 } ... (2)
root {3} { 10 + sqrt { 108 } } = 1 + sqrt { 3 } ...(3)
root {3} { 10 - sqrt { 108 } } = 1 - sqrt { 3 } ... (4)
である。

3次方程式
x ^ 3 + 6 x  -  20  ~=~ 0 ... (5)
は、因数分解で
(x - 2) ( x ^ 2 + 2 x + 10 )  ~=~ 0 ...(6)
となり、

2, ~ -1 pm 3 i ...(7)
を持つ。
また、3次方程式の解の公式から、

root {3} { 10 + sqrt { 108} } + root {3} { 10 - sqrt { 108 } } ... (8)
- 1 / 2 ( root {3} { 10 + sqrt { 108} } + root {3} { 10 - sqrt { 108 } } ) pm sqrt { 3} / 2 ( root {3} { 10 + sqrt { 108} } - root {3} { 10 - sqrt { 108 } } )i ... (9)
が、解である。
ここで解を見比べることで、(1),(2),(3),(4)が解る。

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

もう少し、一般化してみよう。
3次方程式
(x - d)(x - ( e + f i ) ) (x - ( e - f i ) ) = 0 ~ (d, e, f は整数) ... (10)
から始める。
(10)り左辺を展開していく。
(x - d)(x ^ 2  - 2 e x + (e ^ 2 + f ^ 2) ) = 0 ...(11)
x ^ 3  - 2 e x ^ 2 + (e ^ 2 + f ^ 2) x - (d x ^ 2  - 2 d e x + d (e ^ 2 + f ^ 2)) = 0 ...(12)
x ^ 3  - (2 e + d) x ^ 2 + ((e ^ 2 + f ^ 2) + 2 d e ) x - d (e ^ 2 + f ^ 2) = 0 ...(13)
ここで二次の項は係数が0でなければ (5)の形にならない。
したがって、
d = - 2e ...(14)
とする。
(14)で(10)を書き直すと、
( x + 2e ) ( x - ( e + f i) ) ( x - ( e - f i) ) = 0 ...(15)
また、(14)で(13)を書き直すと、
x ^ 3 + (f ^ 2 - 3 e^ 2) x + 2 e (e ^ 2 + f ^ 2) = 0 ...(16)
である。
ここで、3次方程式
y ^ 3 + p y + q = 0 ...(17)
の解法に添って、(16)を解くと、まず、
p = f ^ 2 - 3 e ^ 2 ...(18)

q = 2 e ( e ^ 2 + f ^ 2) ... (19)
てあり、
p / 3 =  f ^ 2 / 3 - e ^ 2 ...(20)
q / 2 = e ( e ^ 2 + f ^ 2) ...(21)
である。
(20)の両辺は整数にしたいので、f は 3の倍数となる。

また、いい遅れたが、(10) で、f は、虚数単位 i の係数であり、
(10)の左辺の右二項でできる二次方程式の解の判別式が
負の平方数であり、根号がとれることを意味しているので、
f は、自然数(正の整数)である。
つまり、

f =  3 g ~ (g は自然数) ...(22)

p / 3 ~ = ~ 3 g ^ 2 - e ^ 2 ...(23)
q / 2  =  e  (e ^ 2 + 9 g ^ 2) ...(24)
さらに、3次方程式の解法から
( p / 3 ) ^ 3 + ( q / 2 ) ^ 2 = (3 g ^ 2 - e ^ 2) ^ 3 + e ^ 2 (e ^ 2 + 9 g ^ 2) ^ 2 ...(24)
は、自動で整数となる。
で、
t_1 = - e (e ^ 2 + 9 g ^ 2) + sqrt((3 g ^ 2 - e ^ 2) ^ 3 + e ^ 2 (e ^ 2 + 9 g ^ 2) ^ 2) ...(25)
t_2 = - e (e ^ 2 + 9 g ^ 2) - sqrt((3 g ^ 2 - e ^ 2) ^ 3 + e ^ 2 (e ^ 2 + 9 g ^ 2) ^ 2) ...(26)
ここで(10)の実数解(整数解)の式(14)が、3次方程式の根の式で求まる、それは、
d = -2e = root {3} { - e (e ^ 2 + 9 g ^ 2) + sqrt((3 g ^ 2 - e ^ 2) ^ 3 + e ^ 2 (e ^ 2 + 9 g ^ 2) ^ 2) } + root {3} { - e (e ^ 2 + 9 g ^ 2) - sqrt((3 g ^ 2 - e ^ 2) ^ 3 + e ^ 2 (e ^ 2 + 9 g ^ 2) ^ 2) }
であり、右辺の根号がはずれて整数になることを意味している。
ただし、 e は整数、 g は自然数 ただし、平方根号の中が負にならないようにすること。


2014年2月15日土曜日

4次方程式・フェラリの解法

4次方程式・オイラーの解法の途中の

三次の項を消去した四次方程式

y^4 + p y ^2 + q y + r = 0... (3)
から、フェラリの解法に進むことにする。

フェラリの解法のキモは、
左辺で y 二乗の完全平方式、右辺で y の完全平方式を
作ること。

(3)式を変形して

y ^ 4 = - p y ^ 2 - q y - r ...(4)
(4)の両辺に、
t y ^ 2 + t ^ 2 / 4 ...(5)
を、加えると、
( y ^ 2 + t / 2 ) ^ 2 = (t - p ) y ^ 2 - q y + ( t ^ 2 / 4 - r) ...(6)
を得る。
(6)の右辺が完全平方式になる必要十分条件は、
q ^ 2 = 4 ( t - p) ( t ^ 2 / 4 - r) ...(7)
である。
(7)を変形すると、
t ^ 3 - p t ^ 2 - 4 r t + (4 p r - q ^ 2) = 0 ...(8)
を得る。
この3次方程式(8)の一つの根を t_0 とする。
もし、t_0 <> p ならば、
初めの四次方程式 (3)は、それと同値の方程式
( y ^ 2 + t_o / 2) ^ 2 = { lbrace sqrt { t_0 - p } ~ y ~ - ~ q / { 2 sqrt { t_o - p }  } rbrace } ^ 2 ...(9)
と、変形できて、これは解ける。

もし、t_o = p ならば、 (7)から、 q = 0 であり、
初めの四次方程式 (3)は、それと同値の方程式
y ^ 4 + p y ^ 2 + r = 0 ...(10)
となり、これも解ける。

ただし、二乗を根号で開く時は、中身が複素数の場合があることに注意すること。
参考 複素数の平方根、n乗根

4次方程式・オイラーの解法の分析

4次方程式・オイラーの解法
三次の項を消去して簡略された4次方程式
y^4 + p y ^2 + q y + r = 0 ... (3)
から、突然出てきた三次方程式
t ^ 3 + {p / 2} t ^ 2 + ( { p ^ 2 / 16 } - { r / 4} ) t - { q ^ 2 / 64 } = 0 ...(7)
出て来る理由について、分析する。

「3次方程式が、二個の三乗数をニ根とする2次方程式に導かれた」ようにならないか。

オイラーが目をつけたところは、
「4次方程式が、三個の二乗数を三根とする3次方程式に導かれる」であった。
つまり、

delim { lbrace } { matrix {3} {1} { { u ^ 2 + v ^ 2 + w ^ 2 = 定数 } { u ^ 2 v ^ 2 + v ^ 2 w ^ 2 + w ^ 2 u ^ 2 = 定数} { u ^ 2 v ^ 2 w ^ 2 = 定数} } } { }  ... (13)
を目指す。正確にするため
delim { lbrace } { matrix {3} {1} { { u ^ 2 + v ^ 2 + w ^ 2 = A } { u ^ 2 v ^ 2 + v ^ 2 w ^ 2 + w ^ 2 u ^ 2 = B} { u  v  w = C} } } { } ...(14)
とする。(C の 部分に注意)

4次方程式
y^4 + p y ^2 + q y + r = 0 ... (3)
を、解くために u, v, w についての方程式
(u + v + w) ^ 4 + p (u + v + w) ^ 2 + q (u + v + w) + r = 0 ...(15)
の、一組の根(u, v, w)が見つかるとしてみる。

その後、(15)を展開していき、(14)の左辺の式で整理して、A, B, C で置き換えていく。
長い計算の後、


lbrace A ^ 2 + 4 A ( u v + v w + w u ) + 4 B + 8 C ( u + v + w) rbrace

+ p lbrace A + 2 ( u v + v w + w u ) rbrace + q ( u + v + w) + r = 0 ...(16)
を得る。
これをさらに、
( u v + v w + w u ) と ( u + v + w) に着目して
整理すると、
( u v + v w + w u ) ( 4 A + 2 p ) + ( u + v + w) ( 8 C + q ) + ( A^ 2 + 4 B + p A + r ) = 0 ...(17)
を得る。
ここから、強引な着想だが、(17)の項が 0 となるように、
4 A + 2 p = 0 ...(18)
8 C + q   = 0 ...(19)
A ^ 2 + 4 B + p A + r = 0 ...(20)
として、つまるところ、 A, C を(18)(19)から、
A = - p / 2, ~    C = - q / 8 ...(21)
とする。
さらに、(20),(21)から
B = { 1 / 4 } ( - A ^ 2 - p A - r) ...(22)
B =  { 1 / 4 } ( - p ^ 2 / 4 + p ^ 2 / 2 - r) ...(23)
B = p ^ 2 / 16 - r / 4 ...(24)
を得る。
(21),(24)を、(14)に戻して、
delim { lbrace } { matrix {3} {1} { { u ^ 2 + v ^ 2 + w ^ 2 = - p / 2 } { u ^ 2 v ^ 2 + v ^ 2 w ^ 2 + w ^ 2 u ^ 2 = p ^ 2 / 16 - r / 4 } { u  v  w = - q / 8 } } } { } ...(25)
となる。
さらに、三番目の両辺を二乗して、
delim { lbrace } { matrix {3} {1} { { u ^ 2 + v ^ 2 + w ^ 2 = - p / 2 } { u ^ 2 v ^ 2 + v ^ 2 w ^ 2 + w ^ 2 u ^ 2 = p ^ 2 / 16 - r / 4 } { u ^ 2  v ^ 2  w ^ 2 = q ^ 2 / 64 } } } { } ...(26)
を得る。従って、u ^ 2, ~  v ^ 2, ~  w ^ 2 は、
突然出てきた三次方程式
t ^ 3 + {p / 2} t ^ 2 + ( { p ^ 2 / 16 } - { r / 4} ) t - { q ^ 2 / 64 } = 0 ...(7)
の三根である。