ユークリッドの互除法を用いて、 つの整数 と の最大公約数を求めよ。
ユークリッドの互除法
をくり返して最大公約数を求められ、 のような文字式の最大公約数がとりうる値を求められる
前提
- 最大公約数と最小公倍数 (数学A 整数の性質)
この技能までの道筋(4 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
説明
ユークリッドの互除法を使うと、素因数分解をしなくても、割り算をくり返すだけで 2 つの自然数の最大公約数が求められます。 と のように素因数が見つけにくい数で特に役立ちます。また、 のように文字を含む 2 数の最大公約数がどんな値になりうるかも調べられます。ここで は と の最大公約数を表す記号です。
なぜそうしてよいのか
中心になるのは、整数 をどう選んでも「 の公約数」と「 の公約数」がまったく同じになる、という事実です。 が と の公約数なら、( は整数)と書けるので となり、 は も割り切ります。逆に が と の公約数なら、 なので は も割り切ります。公約数の集まりが同じなので、その中で最大のもの、つまり最大公約数も等しく、 が成り立ちます。
この式はどんな整数 でも成り立ちますが、ふつうは を で割った商を 、余りを ()にとります。すると なので となり、組 を一回り小さい組 に置きかえられます。余りはそのたびに小さくなる 以上の整数なので、いつか必ず になります。 で割った余りが のとき、 は の約数であり 自身の最大の約数でもあるので、 です。したがって、余りが になったときの割る数(最後に でなかった余り)が求める最大公約数です。
文字式でも考え方は同じです。たとえば を自然数として なので、 と の公約数は必ず を割り切ります。よって最大公約数は の正の約数 か のどちらかに限られます。
手順
大きい方を 、小さい方を とし、 を で割って ()の形に書く。
を使い、組 を(割る数, 余り)の組 に置きかえる。
余りが になるまで、同じ割り算をくり返す。
余りが になったときの割る数(最後に でなかった余り)が最大公約数である。
文字式の場合は、( は整数)のように文字が消える整数倍の差をつくって定数 を出す。最大公約数は の正の約数に限られるので、それぞれの値が実際に現れるかどうかを、具体的な で確かめる。
例題
ユークリッドの互除法を用いて、 と の最大公約数を求めよ。
例題の解答
【手順1】 を で割ると となる。
【手順2】よって 。
【手順3】割り算をくり返す。
より 。
より 。
で、余りが になった。
【手順4】余りが になったときの割る数は なので、。
(確認:、 で、 と は互いに素である。)
答え:
よくある誤り
最後の割り算の商を答えてしまう誤り。 の は商であって、最大公約数ではない。正しくは、余りが になったときの割る数 が最大公約数である。
次の段で、割られる数 を余り で割ってしまう誤り。たとえば のあと としてしまうと、正しい と食い違う。 は一般には成り立たない。正しくは、直前の割る数 を余り で割り、 と進める。
文字式で「最大公約数は である」と決めつけてしまう誤り。 から言えるのは、最大公約数が の約数 か のどちらかであることだけである。たとえば では となる。一方 では 、 なので となる。正しくは「とりうる値は と 」である。
文字式で のように、整数にならない商を使ってしまう誤り。 の は整数でなければならない。正しくは、 のように整数倍の差だけを使って小さくしていく。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
は を満たす整数とする。 と の最大公約数が より大きくなるような の個数を求めよ。
正の整数 に対して、 と の最大公約数を とする。 のときの の和
を求めよ。正の整数 に対して、 と の最小公倍数を とする。 を満たす正の整数 のうち、
が成り立つものすべての和を求めよ。は を満たす整数とする。2 つの整数 と の最大公約数が となるような の個数を求めよ。
を相異なる奇素数とし、、 とおく。正の整数 は をみたすとする(RSA 暗号の公開鍵 と秘密鍵 )。中国剰余定理を使った高速な復号(CRT-RSA)のために、次を定める。
- を を で割った余り、 を を で割った余りとする(、)。
- 整数 を、 をみたす整数のうちの 1 つとする( は相異なる素数なので、このような は存在する)。をみたす整数 (暗号文)に対して、
- を を で割った余り、 を を で割った余り(、)、
- を を で割った余り()、
-とおく。ここで は と互いに素であるとは限らない( や、 が または の倍数である場合も含む)。また、整数 に対して と定める( のときも含む)。このとき、 かつ であることを証明せよ。
ただし、フェルマーの小定理と、「整数 が相異なる素数 のそれぞれで割り切れるならば で割り切れる」ことは用いてよい。
互いに素な正の整数の組 から始めて、次の操作をくり返す。
「2 つの数が異なるとき、大きい方の数を、大きい方から小さい方を引いた数に置き換える。」
2 つの数が等しくなったら操作を終える。このとき 2 つの数はともに になっている。終えるまでに行った操作の回数を とする。たとえば より である。
を満たす互いに素な正の整数の組 全体を考えるとき、 の最小値を求めよ。
は を満たす整数とする。 つの整数 と の最大公約数が となるような組 の個数を求めよ。
は , を満たす整数とする。2 つの整数 と の最大公約数が となるような整数の組 の個数を求めよ。
この技能の次に学べること
- 1 次不定方程式の整数解 (数学A 整数の性質)
- 連分数展開と近似分数 (大学数学 整数論)
- 整数行列の単因子(スミス標準形) (大学院数学 群論)