2.1.2 ユークリッドの互除法
この項では、ユークリッドの互除法により必ず最大公約数を求めることができることをしめします。
次の補題はユークリッドの互除法を使ううえで基本となるものです。
補題 2.1.10 (除法の原理(商と余りの関係))
を整数とするとき、整数
をうまくとることにより
とすることができる。
証明
が正のときは、
を
で割った商を
、余りを
とすればよい。
のいづれか又は両方が負の数であるときは各自確かめてください。。
例 2.1.11
16を3で割った商は5で、余りは1です。
これを式で書けば、
です。
補題2.1.10は、(少なくともとが正の整数の場合は)当然に成り立つ式です。
ここで、わざわざこの当然の式を補題としたのは、この補題が素因数分解の一意性に重要な役割を果たすからです。今後、整数の世界を拡張しますが、この式がなりたつような体系は、素因数分解の一意性が成立することが分かります。
Remark 2.1.12
詳細は後に見ますが
補題2.1.10が成り立つ体系を「ユークリッド整域」といい、ユークリッド整域は素因数の一意性が成立することが示せます。ガウス整数
やアイゼンシュタインの整数
は、
補題2.1.10が成立しているため、ユークリッド整域になります。したがって、素因数分解の一意性も成り立っています。
これに対し、
整数
では
補題2.1.10は成立せず素因数分解の一意性も成り立ちません。
定義 2.1.13
を整数とする。
に対し次の操作を有限回繰り返すことにより最大公約数を求める方法を
ユークリッドの互除法(Euclidean algorithm)という。(1)から(4)の式は、
命題2.1.6により成り立つことが分かります。
(1)
(2)
(3)
(4)
整数の最大公約数は、ユークリッドの互除法により求められることを確かめましょう。
操作(2)により、は正と仮定しても一般性を失いませんし、操作(1)よりとしても一般性を失いません。補題2.1.10よりとなるをうまくとることによりとすると、操作(3)より
とできます。このように
と変形することができました。ですのでより小さな数の最大公約数に帰着することができます。に対し、操作(1)、(3)を繰り返すことにより、より小さい数の最大公約数に帰着できますので、いつか一方が0になります。すると操作(4)より、0でない数が最大公約数と分かります。
以上より、次の定理が示されます。
定理 2.1.14
を整数とすると、ユークリッドの互除法により最大公約数
を必ず求めることができる。
3つ以上の整数の最大公約数も同様の方法で必ず求めることができます。
例 2.1.15
123と35の最大公約数を求めてみましょう。123を35で割ると、
ですね。これを使うと、
です。次に、35を18でわると、
ですね。すると
です。したがって、
であり、123と35は互いに素であることが分かります。
これは、素因数分解
からも分かります。
このように、ユークリッドの互除法は大きな数の最大公約数を求めることができる点で実用的です。しかも、ユークリッドの互除法が重要なのはそれだけではありません。次講では理論的な観点からも重要であることが分かります。
Takashi
平成24年5月27日