th1: \(a\) chia hết cho \(b\) ; thì \(a\) lớn hơn hoặc bằng \(b\)
th2: \(b\) chia hết cho \(a\) ; thì \(b\) lớn hơn hoặc bằng \(a\)
vậy nếu xảy ra 2 trường hợp này 1 lần \(\Leftrightarrow\) nếu a chia hết cho b và b chia hết cho a ; thì ta có : \(\left\{{}\begin{matrix}a\ge b\\b\ge a\end{matrix}\right.\) 2 giá trị \(a\) và \(b\) đề thảo mảng điều kiện này khi và chỉ khi \(a=b\)
vậy nếu a chia hết cho b và b chia hết cho a thì \(a=b\)
Nếu a > b thì xảy ra trường hợp b \(⋮̸\)a(vì b khác 0). Vậy a không > b.
Nếu a < b thì xảy ra trường hợp a \(⋮̸\)b(vì a khác 0). Vậy a không < b.
Vì a không < b và a không > b nên a = b
\(\Rightarrow\) ĐPCM
ta có:
nếu a>b⇒b ko⋮ cho a (vì b≠0)
nếu b>a⇒a ko ⋮ cho b (vì a≠0)
Tóm lại: nếu a chia hết cho b và b chia hết cho a thì a = b (đpcm)
