Gọi d là ƯCLN(a,b) theo định nghĩa ta có: a = a'.d ; b = b'.d với a' , b' thuộc N* và ƯCLN(a',b' ) =1 (1)
từ (1) --> a.b = a'.b'.d2 và BCNN(a,b) = a'.b'.d
--> ƯCLN(a,b).BCNN(a,b) = d.a'.b'.d = a'.b'.d2 = a.b
--> a.b = ƯCLN(a,b).BCNN(a,b) = a'.b'.d2 (ĐPCM)