Trong một số trường hợp, có thể sử dụng mối quan hệ đặc biệt giữa ƯCLN, BCNN và tích của hai số nguyên dương a, b, đó là : ab = (a, b).[a, b], trong đó (a, b) là ƯCLN và [a, b] là BCNN của a và b. Việc chứng minh hệ thức này không khó : Theo định nghĩa ƯCLN, gọi d = (a, b) => a = md ; b = nd với m, n thuộc Z+ ; (m, n) = 1 (*) Từ (*) => ab = mnd2 ; [a, b] = mnd => (a, b).[a, b] = d.(mnd) = mnd2 = ab => ab = (a, b).[a, b] .
1 : a,b là 2 stn
2 : Tích của a,b bằng tích của ucln va bcnn của chúng
BCNN chia hết ch UCLN
