Ta có:
(x + y - 12)2 \(\ge\) 0 \(\forall\) x \(\in\) Z
(y - x + 4)2 \(\ge\) 0 \(\forall\) x \(\in\) Z
=> (x+y-12)2 + (y-x+4)2 \(\ge\) 0 \(\forall\) x \(\in\) Z
Dấu "=" xảy ra khi (x+y-12)2 + (y-x+4)2 = 0
nên (x+y-12)2 = 0 và (y-x+4)2 = 0
Với (x+y-12)2 = 0 => x + y = 12 (1)
(y-x+4)2 = 0 => y - x = -4 => y = -4 + x (2)
Thay (2) vào (1) ta được:
x + (-4) + x = 12
=> 2x = 16
=> x = 8 (3)
Thay (3) vào (2) ta được: y = -4 + 8 = 4
Vậy x = 8 và y = 4.