Ya que tenemos$$y^3-x^3=2(4x^2-3x+4)$ $ existe un entero$k$ tal que$$y-x=2k\iff y=x+2k.$ $ Entonces, tenemos$$(x+2k)^2-x^3=2(4x^2-3x+4)\iff (3 k-4) x^2+(6 k^2+3) x+4k^3-4=0\tag1$ $ Ahora tenemos$$D=(6k^2+3)^2-4(3k-4)(4k^3-4)\ge 0\iff -12 k^4+64 k^3+36 k^2+48 k-55\ge 0$$$$ \ iff 12 k ^ 4-64 k ^ 3-36 k ^ 2-48 k +55 \ le 0 $$
Aquí, vamos a$f(k)=12 k^4-64 k^3-36 k^2-48 k+55=4k[k\{k(3k-16)-9\}-12]$.
Ahora, para$k\ge 6$, tenemos$$3k-16\ge 2\Rightarrow k(3k-16)\ge 2k\ge 12$$$$ \ Rightarrow k \ {k (3k-16) -9 \} - 12 \ ge 3k-12 \ gt 0 \ Rightarrow f ( k) \ gt 0. $$
Además, para$k\le -1$, tenemos$$f(k)=12 k^4-36k^2(k+1) -48 k+55-28k^3\gt 0.$ $
Por lo tanto, tenemos$k=0,1,2,3,4,5.$
Luego, desde$(1)$, puede encontrar raíces enteras$x$ para cada$k$.