1. 高校数学の美しい物語
  2. 最大公約数と最小公倍数の積の性質の2通りの証明

最大公約数と最小公倍数の積の性質の2通りの証明

更新日時 2021/03/07

最大公約数と最小公倍数の関係:

正の整数 a,ba,b に対して,それらの最大公約数を gg ,最小公倍数を ll とおくと ab=glab=gl

(最大公約数と最小公倍数の積がもとの二つの数の積に等しい)

覚える必要はありませんが,シンプルで美しい定理です。二通りの証明を解説します。

目次
  • 具体例

  • 素因数分解を用いた証明

  • 最大公約数と最小公倍数の定義を考えた証明

具体例

証明の前に実験してみましょう。まずは数字が小さい例です。

a=12,b=18a=12,b=18 のとき,

a=22×3a=2^2\times 3

b=2×32b=2\times 3^2

より,最大公約数は g=6g=6 ,最小公倍数は l=22×32=36l=2^2\times 3^2=36 です。

実際,ab=216=glab=216=gl となっています!

もう少し数字が大きい場合の例です!

a=72,b=182a=72,b=182 のとき,

a=23×32a=2^3\times 3^2

b=2×7×13b=2 \times 7\times 13

より,最大公約数は g=2g=2 ,最小公倍数は l=23×32×7×13=6552l=2^3\times 3^2\times 7\times 13=6552 です。実際,ab=13104=glab=13104=gl となっています。

素因数分解を用いた証明

具体例での実験を繰り返していると思いつきやすいであろう証明を解説します。記号がいろいろ登場して少し難しそうですが, 考え方は難しくありません。

なお,max(ei,fi)\max(e_i,f_i)eie_ifif_i のうち大きい方,min(ei,fi)\min(e_i,f_i) は小さい方を表します。

証明

aabb の少なくともどちらか一方を割り切る素数を p1,p2,,pkp_1,p_2,\cdots ,p_k とおく。このとき,aabb を素因数分解すると,

a=p1e1p2e2pkeka=p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}

b=p1f1p2f2pkfkb=p_1^{f_1}p_2^{f_2}\cdots p_k^{f_k}

となる(ただし,ei,fie_i,f_i は非負の整数であり,素因数分解に登場しない素数の部分の指数は 00 となる)。

このとき,

  • 最大公約数 gg を素因数分解したときの pip_i の指数は min(ei,fi)\min(e_i,f_i)
  • 最小公倍数 ll を素因数分解したときの pip_i の指数は max(ei,fi)\max(e_i,f_i)

よって,glgl を素因数分解したときの pip_i の指数は min(ei,fi)+max(ei,fi)=ei+fi\min(e_i,f_i)+\max(e_i,f_i)=e_i+f_i

となり,abab を素因数分解したときの pip_i の指数と等しい。

g,lg,l には当然 pip_i 以外の素因数は登場しないので)ab=glab=gl が示された。

min(ei,fi)+max(ei,fi)=ei+fi\min(e_i,f_i)+\max(e_i,f_i)=e_i+f_i が成立するのが証明の核心部分です。

最大公約数と最小公倍数の定義を考えた証明

もう一つ証明方法を解説します!

証明

ggaabb の最大公約数なので,互いに素な整数 a,ba',b' を使って

a=ga,b=gba=ga',b=gb' と書ける。

このとき 「補題:aabb の最小公倍数は l=gabl=ga'b'である」

より,gl=g(gab)=gagb=abgl=g(ga'b')=ga'gb'=ab となり題意は証明された。

補題の証明:

最小公倍数は a=gaa=ga' の倍数なので,整数 nn を用いて l=ngal=nga' と書ける。これが b=gbb=gb' の倍数となるのは「 nana'bb' の倍数となる」のは条件。ところが,aa'bb' は互いに素なので,さきほどの条件は「 nnbb' の倍数となるとき」と言い換えられる。よって,最小公倍数は n=bn=b' のときに対応して,l=gabl=ga'b' となる。

僕は一つ目の証明の方が好きです!

Tag:数学Aの教科書に載っている公式の解説一覧

人気記事
  1. 高校数学の美しい物語
  2. 最大公約数と最小公倍数の積の性質の2通りの証明