Ta có y2=x4+x3+2x2+2x+1=x(x2+2)(x+1)+1⇒(y+1)(y−1)=(x3+2x)(x+1)=(x2+x)(x2+2)=x(x3+x2+2x+1)
vì y+1>y−1 nên ta có các hệ
{y+1=x3+2xy−1=x+1(I)
{y+1=x+1y−1=x3+2x(2)
{y+1=x2+xy−1=x2+2(3)
{y+1=x2+2y−1=x2+x(4)
{y−1=xy+1=x3+x2+2x+1(5)
Hệ (1);(2);(5) không có nghiệm nguyên
Hệ (3) có nghiệm (4;19);(4;−19)
Hệ (4) có nghiệm (0;1);(0;−1)
Tóm lại pt có 4 nghiệm nguyên