1 + x + x2 + x3 = y3
=> x2 + x + 1 = y3 - x3
mà x2 + x + 1 > 0
=> y3 - x3 > 0
=> x3 < y3 (1)
Lại có 1 + x + x2 + x3 = y3
=> x3 + 6x2 + 12x + 8 - 5x2 - 11x - 7 = y3
=> (x + 2)3 - y3 = 5x2 + 11x + 7
Nhận thấy 5x2 + 11x + 7 > 0 \(\forall x\)
=> (x + 2)3 > y3 (2)
Từ (1)(2) => x3 < y3 < (x + 2)3 => y3 = (x + 1)3 (Vì x;y nguyên)
Khi đó 1 + x + x2 + x3 = (x + 1)3
<=> 1 + x + x2 + x3 = x3 + 3x2 + 3x + 1
<=> 2x2 + 2x = 0
<=> 2x(x + 1) = 0
<=> \(\orbr{\begin{cases}2x=0\\x+1=0\end{cases}}\Leftrightarrow\orbr{\begin{cases}x=0\\x=-1\end{cases}}\)
Khi x = 0 => y = 1
Khi x = -1 => y = 0
Vậy các cặp (x;y) nguyên thỏa mãn là (1;0) ; (-1;0)
