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 は自然数 ただし、平方根号の中が負にならないようにすること。


0 件のコメント:

コメントを投稿