Gọi d là \(\left(ƯC_{ab;a+b}\right)\) Theo đề bài ra ta có:
\(ab⋮d\)
\(\Rightarrow\)a hoặc b đều chia hết cho d
mà a+b chia hết cho d
\(\Rightarrow a;b\)đều chia hết cho d
\(\Rightarrow\left(a;b\right)>1\)(trái giả thuyết)
\(\Rightarrow\left(ab;a+b\right)⋮d\) (đpcm)