4x2 + 4x = 8y3 - 2z2 +4
=> 4x(x+1) = 8y3 -2(z2-2)
Nhân xét : vế trái chia hết cho 8( vì x(x+1) chia hết cho 2) ; vế phải có 8y3 chia hết cho 8 => 2(z2-2) chia hết cho 8
=> (z2-2) chia hết cho 4 (1) => z chẵn => z2 chia hết cho 4 => (z2-2) không chia hết cho 4 (2)
(1) và (2) => pt đã cho không có nghiệm nguyên