Có : \(a;b\in Z\)và \(a;b\ne0\)
Mà : \(a\)là \(B_{\left(b\right)}\)thì \(a=b\cdot m\left(m\in Z\right)\)
\(b\)là \(B_{\left(a\right)}\)thì \(b=a\cdot n\left(n\in Z\right)\)
\(\Rightarrow a=b\cdot m=\left(a\cdot n\right)\cdot m=a\cdot\left(m\cdot n\right)\)
\(\Rightarrow m\cdot n=1\)
\(\Rightarrow m=n=1\)hoặc \(m=n=-1\)
+) Nếu \(m=n=1\)thì \(a=b\cdot m=b\cdot1=b\)( Vậy \(a=b\))
+) Nếu \(m=n=-1\)thì \(a=b\cdot m=b\cdot\left(-1\right)=-b\)( Vậy \(a=-b\))
a là bội của b \(\Rightarrow\) a = bk (k \(\in Z\)) (1)
b là bội của a \(\Rightarrow\) b = ah (h \(\in Z\)) (2)
Thay (2) vào (1) ta có:
a = ahk
\(\Rightarrow\) hk = 1
\(\Rightarrow\) \(\orbr{\begin{cases}h=1;k=1\\h=-1;k=-1\end{cases}}\)
\(\Rightarrow\) \(\orbr{\begin{cases}a=-b\\a=b\end{cases}}\)