いきなりイデアルのような抽象的な話を始めても読者に優しくないので、具体的な内容から始める。
さて、因数分解の有名な公式に次のようなものがある。
x
2
−
y
2
=
(
x
+
y
)
(
x
−
y
)
{\displaystyle x^{2}-y^{2}=(x+y)(x-y)}
平方の差は和と差の積で表すことができるのである。ここで重要なのは、平方の差 になっていることである。もし、
x
2
+
y
2
{\displaystyle x^{2}+y^{2}}
という形だと、
(
x
+
y
)
2
=
x
2
+
2
x
y
+
y
2
{\displaystyle (x+y)^{2}=x^{2}+2xy+y^{2}}
−
1
{\displaystyle {\sqrt {-1}}}
x
2
+
y
2
=
(
x
−
y
−
1
)
(
x
+
y
−
1
)
{\displaystyle x^{2}+y^{2}=(x-y{\sqrt {-1}})(x+y{\sqrt {-1}})}
という形に因数分解できるはずである。しかし、整数、有理数、実数の範囲内に置いて、2乗すると負になる数など存在しないのである。そこで、想像上の数、という意味で「Imaginary number」という名前が付いている。日本ではこれを「虚数」という。
i
=
−
1
{\displaystyle i={\sqrt {-1}}}
虚数はこのような因数分解に登場するだけでなく、二次方程式の解や三次方程式の解の公式にも登場する。
このような因数分解から、整数の代わりに、
a
+
b
−
1
(
a
,
b
∈
Z
)
{\displaystyle a+b{\sqrt {-1}}(a,b\in \mathbb {Z} )}
の形の数を考えることができる。このような形の数の和、差、積がやはり同じ形で表されること、商は必ずしもこのような形とはならないが
u
+
v
−
1
(
u
,
v
∈
Q
)
{\displaystyle u+v{\sqrt {-1}}(u,v\in \mathbb {Q} )}
の形となることは明らかである。
ここで、初等整数論/不定方程式 でも論じたピタゴラスの方程式
x
2
+
y
2
=
z
2
{\displaystyle x^{2}+y^{2}=z^{2}}
を改めて考える。もし x , y が公約数をもつならば、それで割ることで x , y は互いに素となる。 4 を法として考えると x , y のうち一方は偶数、他方は奇数となる。
これに、先の因数分解を適用すると
(
x
−
y
−
1
)
(
x
+
y
−
1
)
=
z
2
{\displaystyle (x-y{\sqrt {-1}})(x+y{\sqrt {-1}})=z^{2}}
となる。
さて、x , y のうち一方は偶数、他方は奇数であるが、このとき
a
+
b
−
1
(
a
,
b
∈
Z
)
{\displaystyle a+b{\sqrt {-1}}(a,b\in \mathbb {Z} )}
x
−
y
−
1
,
x
+
y
−
1
{\displaystyle x-y{\sqrt {-1}},x+y{\sqrt {-1}}}
±
1
,
±
−
1
{\displaystyle \pm 1,\pm {\sqrt {-1}}}
整数のとき と同じように
x
−
y
−
1
=
(
m
−
n
−
1
)
2
,
x
+
y
−
1
=
(
m
+
n
−
1
)
2
(
m
,
n
∈
Z
)
⋯
(
1
)
{\displaystyle x-y{\sqrt {-1}}=(m-n{\sqrt {-1}})^{2},x+y{\sqrt {-1}}=(m+n{\sqrt {-1}})^{2}(m,n\in \mathbb {Z} )\cdots (1)}
とおくことができれば
x
+
y
−
1
=
(
m
+
n
−
1
)
2
=
m
2
−
n
2
+
2
m
n
−
1
{\displaystyle x+y{\sqrt {-1}}=(m+n{\sqrt {-1}})^{2}=m^{2}-n^{2}+2mn{\sqrt {-1}}}
より
x
=
m
2
−
n
2
,
y
=
2
m
n
{\displaystyle x=m^{2}-n^{2},y=2mn}
が導かれる。
しかし y が偶数とは仮定していなかった。実際、上記のピタゴラスの方程式の解には y が奇数となるものも存在する。
そこで (1) はそのままでは正しくないとわかる。では、どのようにすれば正しくなるのか、そもそも整数のときと同じような結果がそのまま成り立つのか考えなければならない。結論から言うと (1) を
x
+
y
−
1
=
(
−
1
)
l
(
m
+
n
−
1
)
2
(
l
,
m
,
n
∈
Z
)
{\displaystyle x+y{\sqrt {-1}}=({\sqrt {-1}})^{l}(m+n{\sqrt {-1}})^{2}(l,m,n\in \mathbb {Z} )}
に置き換えれば（つまり (1) の右辺に
±
1
,
±
−
1
{\displaystyle \pm 1,\pm {\sqrt {-1}}}
といっても、有名なフェルマーの最終定理ではない。フェルマーは平方数より1だけ大きく立方数より1だけ少ない数は 26 以外には存在しないと主張していた。すなわち
x
2
+
2
=
y
3
{\displaystyle x^{2}+2=y^{3}}
の整数解は (±5, 3) 以外にはないというのである。
今度は
−
2
{\displaystyle {\sqrt {-2}}}
(
x
+
−
2
)
(
x
−
−
2
)
=
y
3
{\displaystyle (x+{\sqrt {-2}})(x-{\sqrt {-2}})=y^{3}}
となる。 x が偶数ならば x 2 +2 は 2 の奇数倍となるので立方数ではありえない。よって x は奇数でなければならない。この場合、やはり
a
+
b
−
2
(
a
,
b
∈
Z
)
{\displaystyle a+b{\sqrt {-2}}(a,b\in \mathbb {Z} )}
の形の数で
x
−
−
2
,
x
+
−
2
{\displaystyle x-{\sqrt {-2}},x+{\sqrt {-2}}}
±
1
{\displaystyle \pm 1}
x
+
−
2
=
±
(
m
+
n
−
2
)
3
(
m
,
n
∈
Z
)
⋯
(
2
)
{\displaystyle x+{\sqrt {-2}}=\pm (m+n{\sqrt {-2}})^{3}(m,n\in \mathbb {Z} )\cdots (2)}
とすることができれば
x
+
−
2
=
±
(
m
+
n
−
2
)
3
=
±
(
m
3
−
6
m
n
2
+
(
3
m
2
n
−
2
n
3
)
−
2
)
{\displaystyle x+{\sqrt {-2}}=\pm (m+n{\sqrt {-2}})^{3}=\pm (m^{3}-6mn^{2}+(3m^{2}n-2n^{3}){\sqrt {-2}})}
より
±
1
=
3
m
2
n
−
2
n
3
=
n
(
3
m
2
−
2
n
2
)
{\displaystyle \pm 1=3m^{2}n-2n^{3}=n(3m^{2}-2n^{2})}
となり
m
=
±
1
,
n
=
±
1
{\displaystyle m=\pm 1,n=\pm 1}
x =±5, y = 3 以外にはないことが導かれる。
しかし、やはり (2) が正しいかどうか明らかではない。結論して (2) は正しいのだが、それを証明しなければならないのである。
K
(
−
1
)
{\displaystyle K({\sqrt {-1}})}
編集
これからは、
a
+
b
−
1
(
a
,
b
∈
Z
)
{\displaystyle a+b{\sqrt {-1}}\ (a,b\in \mathbb {Z} )}
Z
[
−
1
]
{\displaystyle \mathbb {Z} [{\sqrt {-1}}]}
![{\displaystyle \mathbb {Z} [{\sqrt {-1}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fbec68009e0e8305745b1178896e89cfc8f3a68)