khai triển và rút gọn 2 vế ta được x(x+1)=y4+2y3+3y2+2y
<=> x(x+1)=y2(y+1)2+2y(y+1)
<=> x2+x+1=(y2+y+1)2 (1)
nếu x>0 thì từ x2<x2+x+1<(x+1)2 => (1) không có nghiệm nguyên x>0
nếu x=0 hoặc x=-1 thì từ (1) => y2+y+1 = \(\pm\)1 \(\Leftrightarrow\hept{\begin{cases}y=0\\y=-1\end{cases}}\)
ta có nghiệm (x;y)=(0;0);(0;-1);(-1;0);(-1;-1)
nếu x<-1 thì từ (x+1)2<x2+x+1<x2
=> (1) không có nghiệm nguyên x<-1
tóm lại phương trình đã cho có 4 nghiệm nguyên (x;y)=(0;0);(0;-1);(-1;0);(-1;-1)