方程式x2=−1が実数xについて解が存在しないことは誰もが知っている.
しかし, 虚数iを導入することで方程式は2つの解x=i,x=−iを持つ.
さらに, 方程式(x−3)2=−4は二つの複素数の解x=3+2i,x=3−2iを持つ.
x=3+2iとx=3−2iは他方の共役複素数と呼ばれる.
a+biという形の数は複素数と呼ばれる.
一般に,a+biとa−biは他方の共役複素数である.
ガウス整数とはaとbがともに整数である複素数a+biのことである.
普通の整数はまた, ガウス整数である. (b=0のケース)
b=0のガウス整数と区別するために, 普通の整数を"有理整数"と呼ぶことにする.
有理整数nをあるガウス整数で割った結果がガウス整数である場合, そのガウス整数は約数と呼ばれる.
例として,5を1+2iで割ると,1+2i5は以下のように簡略化できる.
分子と分母に1+2iの共役複素数1−2iを掛ける.
結果は,1+2i5=1+2i5⋅1−2i1−2i=1−(2i)25(1−2i)=1−(−4)5(1−2i)=55(1−2i)=1−2iとなる.
よって, 1+2iは5の約数である.
1+iは1+i5=25−25iなので 5 の約数でないことに注意.
さらに, ガウス整数(a+bi)が有理整数nの約数ならば, その共役複素数(a−bi)もまたnの約数となることにも注意.
実際,5は実部が正となる約数を,{1,1+2i,1−2i,2+i,2−i,5}の6個持つ.
以下に最初の5個の正の有理整数の約数の表を示す.
正の実部を持つ約数について,n=1∑5s(n)=35を得る.
1≤n≤105について,n=1∑105s(n)=17924657155となる.
1≤n≤108について,n=1∑108s(n)を求めよ.