Gọi d thuộc ƯCLN (a, a-b)
=> a chia hết cho d; a-b chia hết cho d (1)
mà a chia hết cho d (2)
Từ (1) và (20 => b chia hết cho d
Do (a,b)=1 => d=1
Vậy ƯCLN(a,a-b)=1
(đpcm)
Gọi d thuộc ƯCLN (a, a-b)
=> a chia hết cho d; a-b chia hết cho d (1)
mà a chia hết cho d (2)
Từ (1) và (20 => b chia hết cho d
Do (a,b)=1 => d=1
Vậy ƯCLN(a,a-b)=1
(đpcm)