Để tìm tất cả các số nguyên x, y, z thỏa mãn phương trình x^2 + y^2 + z^2 - xy - 3y - 2z + 4 = 0, chúng ta có thể sử dụng phương pháp phân tích.

Đầu tiên, ta có thể nhìn thấy rằng phương trình trên là một phương trình bậc 2 đối với x, y và z. Ta có thể giải phương trình này bằng cách sử dụng công thức nghiệm của phương trình bậc 2.

Tuy nhiên, để tìm tất cả các số nguyên thỏa mãn phương trình, chúng ta có thể sử dụng phương pháp thử và sai.

Bước 1: Ta bắt đầu với việc thử giá trị của x từ -100 đến 100. Bước 2: Với mỗi giá trị của x, ta thử tất cả các giá trị của y từ -100 đến 100. Bước 3: Với mỗi cặp giá trị của x và y, ta tính giá trị của z từ phương trình ban đầu. Bước 4: Kiểm tra xem giá trị của z có phải là số nguyên không. Nếu đúng, ta lưu lại cặp giá trị (x, y, z) là một nghiệm của phương trình.

Sau khi thực hiện các bước trên, ta sẽ có danh sách tất cả các số nguyên (x, y, z) thỏa mãn phương trình đã cho.

\(x^2+y^2+2\left(x+y\right)-xy=0\)

\(\Leftrightarrow4x^2-4xy+4y^2+8\left(x+y\right)=0\)

\(\Leftrightarrow\left(2x-y\right)^2+4\left(2x-y\right)+4+3y^2+12y+12=-16\)

\(\Leftrightarrow\left(2x-y+2\right)^2+3\left(y+2\right)^2=-16\)

Dễ thấy VT \(\ge0\) ; VP < 0 nên phương trình vô nghiệm 

\(x^2+y^2-2\left(x+y\right)=xy\)

\(\Rightarrow x^2-2x+1+y^2-2y+1=2+xy\)

\(\Rightarrow\left(x-1\right)^2+\left(y-1\right)^2=2+xy\)

Ta lại có : \(\left(x-1\right)^2+\left(y-1\right)^2\ge2\left(x-1\right)\left(y-1\right)\) (Bất đẳng thức Cauchy)

Tiếp tục phần tiếp theo

Dấu bằng xảy ra khi \(\left\{{}\begin{matrix}x=2\\y=2\end{matrix}\right.\)

\(\Rightarrow\left(x-1\right)^2+\left(y-1\right)^2=2+xy\) (vô lý vì 2=2+2.2)

⇒ Không có cặp (x;y) nguyên dương nào thỏa mãn đề bài