1) đặt d = UCLN(a,b) => tồn tại m, n sao cho: a = dm ; b = dn
thấy UCLN(m, n) = 1, vì nếu m và n có 1 ước chung p > 1
m = p.m' ; n = p.n' thấy a = dpm' ; b = dpn' => dp là UC(a,b) mà dp > d trái giả thiết d là UCLN
vì UCLN(m,n) = 1 nên BCNN(a,b) = dmn
thấy: BCNN(a,b) * UCLN(a,b) = dmn.d = dm.dn = ab (đpcm)