ガウス整数とその応用

更新 2021/03/07

ガウス整数の定義

整数 $a,b$ を用いて $a+bi$ と表される複素数をガウス整数（複素整数）と呼ぶ。

ノルムと単数

ガウス整数 $a+bi$ に対して $\sqrt{a^2+b^2}$ をノルムと言います。
ノルム $N$ は乗法性を持ちます。つまり，任意のガウス整数 $\alpha,\beta$ に対して $N(\alpha\beta)=N(\alpha)N(\beta)$ が成立します。簡単に証明できます（複素数の絶対値と同じですね）。
$1$ の約数を単数と言います。
単数は， $\pm 1,\pm i$ の $4$ つだけです。証明してみましょう。

証明

$\alpha$ が単数なら， $\alpha\beta=1$ となるガウス整数 $\beta$ が存在する。ノルムの乗法性より

$N(\alpha)N(\beta)=1$

ノルムは正の整数なので $N(\alpha)=N(\beta)=1$

よって， $\alpha=a+bi$ とすると $a^2+b^2=1$

これを満たすのは $(a,b)=(\pm 1,0),(0,\pm 1)$ の4パターンのみ。

素因数分解（既約元分解）

ガウス整数環における「素数」をガウス素数と言います。つまり，（±1,±i\pm 1,\pm i±1,±i
 と異なる）2つのガウス整数の積で表せないものです。ただし，111 を素数から除くのと同様に，単数 ±1,±i\pm 1,\pm i±1,±i はガウス素数から除きます。
例えば
222
 は有理整数の範囲ではこれ以上分解できませんが，ガウス整数では
(1+i)(1−i)(1+i)(1-i)(1+i)(1−i)
 と分解できるのでガウス素数ではありません。
ガウス整数環においても「ふつうの」整数の場合と同様に素因数分解の一意性が成立します。難しい言葉を使うと「ガウス整数環は一意分解整域」です。
ただし，−1-1−1
 または
±i\pm i±i
 倍で移れるガウス素数は同じものとみなします。例えば
2=(1+i)(1−i)=(−1+i)(−1−i)2=(1+i)(1-i)=(-1+i)(-1-i)2=(1+i)(1−i)=(−1+i)(−1−i)
 は同じ分解とみなします。

応用

ガウス整数の応用として，ピタゴラス数についての以下の定理を証明してみます（→ピタゴラス数の求め方とその証明）。

定理

$a^2+b^2=c^2$ を満たす正の整数の組の中で $a,b,c$ の最大公約数が1のものは，正の整数 $m,n$ を用いて $a=m^2-n^2,b=2mn,c=m^2+n^2$
（または $b=m^2-n^2,a=2mn,c=m^2+n^2$ ）

という形で表せる。

証明

$a^2+b^2=c^2$ は

$(a+bi)(a-bi)=c^2$

と変形できる。 $(a+bi)$ と $(a-bi)$ は互いに素（→補足1）であり，それらの積が平方数なので，両方とも平方数（に $\pm 1,\pm i$ のいずれかをかけたもの）である（→補足2）。

$(a+bi)$ が平方数である場合を考える。このとき，整数 $m,n$ を用いて，

$(a+bi)=(m+ni)^2=m^2-n^2+2mni$ とおける。つまり，

$a=m^2-n^2,b=2mn$

となる。さらに， $c=m^2+n^2$ となる。

（ $b > 0$ より $m,n$ は同符号。さらに $(m+ni)^2=(-m-ni)^2$ より） $m,n$ は正の整数に取れる。

なお， $(a+bi)$ が平方数 $\times (-1)$ のときは $m$ と $n$ の役割が入れ替わるだけで同じ形の式が得られる。

$(a+bi)$ が平方数 $\times (\pm i)$ のときは $a$ と $b$ の役割が入れ替わる。

補足1

背理法で証明する。 $(a+bi)$ と $(a-bi)$ がともに $d\:(\neq \pm 1,\pm i)$ の倍数とすると，和と差を取ることにより， $2a$ と $2bi$ も $d$ の倍数であることが分かる。

$a$ と $b$ は互いに素なものを考えているので， $d=2$ （または $-2,\pm 2i$ ）

このとき， $(a+bi)(a-bi)$ が $4$ の倍数，つまり $c$ が偶数となる。これは矛盾（ $4$ で割った余りを考えることにより $c$ は奇数であることが必要→平方剰余）。

補足2

ここでガウス整数における「素因数分解の一意性」を使っている。

アイゼンシュタイン整数環

ガウス整数の $i$ （ $1$ の $2$ 乗根）の部分を， $\omega=\dfrac{-1+\sqrt{3}i}{2}$ に変えたものを考えましょう。

つまり，整数 $a,b$ を用いて $a+b\omega$ と表される複素数をアイゼンシュタイン整数と呼びます。

アイゼンシュタイン整数全体の集合をアイゼンシュタイン整数環と言います。ガウス整数に似た定義・性質があります。

$a+b\omega$ のノルム $N(a+b\omega)$ は $a^2-ab+b^2$ で定義される
ノルムの乗法性が成立する。
$1$ の約数を単数と言う。
単数は $\pm 1,\pm \omega,\pm \omega^2$ の $6$ つ。ノルムの乗法性からわかる(ガウス整数の場合と似ているが証明がよりおもしろい)。

「せいいき」で変換しても「整域」は出てきませんね。

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！

ガウス整数とその応用

関連する用語

ノルムと単数

素因数分解（既約元分解）

応用

アイゼンシュタイン整数環