Mathrao

【定理・公式・証明】高校数学定理・公式 – 数学A – ユークリッドの互除法

ユークリッドの互除法

自然数 $a,b$ について, $a$ を $b$ で割った商を $q$ , 余りを $r$ とするとき,

aabb の最大公約数は, bbrr の最大公約数に等しい。

証明

aabb の最大公約数が gg であるとき, (a,b)=g(a,b)=g と表す。

(a,b)=g(a,b)=g とすると,

a=gaa=ga'b=gbb=gb' ( a,ba',b' は互いに素な自然数)

とおける。 aabb で割った商を qq ,余りを rr とするとき,

a=bg+ra=bg+r

であるから,

ga=gbq+rga'=gb'q+r

r=g(abq)r=g(a'-b'q)

②において abqa'-b’q は整数であるから, rrgg の倍数である。一方, bbgg の倍数であるから, bbrr の最大公約数も gg の倍数となる。そこで,自然数 mm を用いて,

(b,r)=gm(b,r)=gm

とすると,

b=gmb,r=gnrb=gmb'',r=gnr' ( b,rb'',r' は互いに素な自然数)

とおけて,①より,

a=gmbq+gmra=gmb''q+gmr'

=gm(bq+r)=gm(b''q+r')

となる。

これより, a,ba,b はともに gmgm の倍数であり, (a,b)=g(a,b)=g より, m=1m=1

したがって,③より

(b,r)=g(b,r)=g

であるから, (a,b)=(b,r)(a,b)=(b,r) すなわち, aabbの最大公約数は, bbrr の最大公約数に等しい。