Không mất tính tổng quát giả sử a >= b
a là bội của b nên a = b.k ( k thuộc Z , k khác 0 )
b là bội của a nên b = a.q ( q thuộc Z , q khác 0 ; q >= k )
Thay b = a.q thì :
a = b.k = a.q.k
=> q.k=1
=> k thuộc ước của 1 ( vì k,q thuộc z và đều khác 0 )
Mà q >= k
=> q=1;k=-1 hoăc q=k=1
+, Nếu q=1;k=-1 thì a = b.k = b.(-1) = -b
+, Nếu q=k=1 thì a = b.k = b.1 = b
=> ĐPCM
Tk mk nha