Gọi ( \(x^',y^',z^'\)) là 1 nghiệm thoả mãn pt với \(z^'\)là số nhỏ nhất.
Không mất tính tổng quát, giả sử \(x^'\le y^'\le z^'\)
Mặt khác xét pt bậc 2 ẩn z :
\(z^2-\left(7x'y^'-2x^'-2y^'\right)z+\left(z^'+y^'\right)^2=0\)
Hiển nhiên pt này có 1 nghiệm z'
Theo định lý Viete thì nghiệm còn lại của nó là \(\frac{\left(x^'+y^'\right)^2}{z'}\inℤ\)
Như vậy \(\left(x',y',\frac{\left(x'+y'\right)^2}{z^'}\right)\)cũng là bộ số thoả mãn pt
Nếu giả sử x'+y' < z' \(\Rightarrow\frac{\left(x'+y'\right)^2}{z'}< z'\)vô lý vì ( x',y',z') cũng là 1 bộ số thoả mãn pt và vì tính nhỏ nhất của z'
Do đó ta phải có \(z'\le x'+y'\). Khai triển pt ban đầu và chia 2 vế của nó cho y'z'x' ta được:
\(7\le\frac{x'}{y'z'}+\frac{y'}{x'z'}+\frac{z'}{x'y'}+\frac{2}{x'}+\frac{2}{y'}+\frac{2}{z'}\)
\(\le\frac{1}{z'}+\frac{1}{x'}+\frac{x'+y'}{x'y'}+\frac{2}{x'}+\frac{2}{y'}+\frac{2}{z'}=\frac{4}{x'}+\frac{3}{y'}+\frac{2}{z'}\le\frac{10}{x'}\)
\(\Rightarrow x'=1\)
Khi đó \(y'\le z'\le y'+1\)\(\Rightarrow\orbr{\begin{cases}z'=y\\z'=y'+1\end{cases}}\)
+ Nếu z'=y' thì ta có pt \(\left(1+2z'\right)^2=7z'^2\Leftrightarrow3z'^2-4z'-1=0\)\(\Leftrightarrow z'=\frac{2\pm\sqrt{7}}{3}\)(loại)
+ Nếu x'=y'+1 thì ta có pt \(\left(2+2z'\right)^2=7z'\left(z'+1\right)\Leftrightarrow3z'^2-z'-4=0\Leftrightarrow z\in\left\{-1;\frac{4}{3}\right\}\)(loại)
Vậy pt đã cho không có nghiệm nguyên ( đpcm)