Lời giải:

PT $\Leftrightarrow x^3+x+1-y(x^2-3)=0$

$\Leftrightarrow y=\frac{x^3+x+1}{x^2-3}$ (hiển nhiên $x^2-3\neq 0$ với mọi $x$ nguyên) 

Để $y$ nguyên thì $\frac{x^3+x+1}{x^2-3}$ nguyên 

$\Leftrightarrow x^3+x+1\vdots x^2-3$
$\Rightarrow x(x^2-3)+4x+1\vdots x^2-3$
$\Rightarrow 4x+1\vdots x^2-3$

Hiển nhiên $4x+1\neq 0$ nên $|4x+1|\geq x^2-3$
Nếu $x\geq \frac{-1}{4}$ thì $4x+1\geq x^2-3$
$\Leftrightarrow x^2-4x-4\leq 0$

$\Leftrightarrow (x-2)^2\leq 8<9$

$\Rightarrow -3< x-2< 3$

$\Rightarrow -1< x< 5$

$\Rightarrow x\in \left\{0; 1; 2; 3; 4\right\}$.

Nếu $x< \frac{-1}{4}$ thì $-4x-1\geq x^2-3$

$\Leftrightarrow x^2+4x-2\leq 0$

$\Leftrightarrow (x+2)^2-6\leq 0$

$\Leftrightarrow (x+2)^2\leq 6< 9$

$\Rightarrow -3< x+2< 3$
$\Rightarrow -5< x< 1$

$\Rightarrow x\in\left\{-4; -3; -2; -1\right\}$

Đến đây bạn thay vào tìm $y$ thôi

- Với \(y=0\Rightarrow x^2+x=3^0+1=2\)

\(\Rightarrow x^2+x-2=0\Rightarrow\left[{}\begin{matrix}x=1\\x=-2\end{matrix}\right.\)

- Với \(y< 0\Rightarrow3^{2019y}\) không phải số nguyên \(\Rightarrow3^{2019y}+1\) không phải số nguyên (loại)

- Với \(y>0\Rightarrow3^{2019y}⋮3\Rightarrow3^{2019y}+1\) chia 3 dư 1

Mà \(x^2+x=x\left(x+1\right)\) là tích 2 số nguyên liên tiếp nên chia 3 chỉ có thể dư 0 hoặc 2

\(\Rightarrow x^2+x\ne3^{2019y}+1\) với mọi \(y>0\) \(\Rightarrow\) phương trình ko có nghiệm nguyên

Vậy pt đã cho có đúng 2 cặp nghiệm nguyên là \(\left(x;y\right)=\left(-2;0\right);\left(1;0\right)\)

\(x^2+4y^2=x^2y^2-2xy\)

\(\Rightarrow x^2+4y^2+4xy=x^2y^2+2xy+1-1\)

\(\Rightarrow\left(x+2y\right)^2=\left(xy+1\right)^2-1\)

\(\Rightarrow\left(xy+1\right)^2-\left(x+2y\right)^2=1\)

\(\Rightarrow\left(xy-x-2y+1\right)\left(xy+x+2y+1\right)=1\)

Vì x,y là các số nguyên nên \(\left(xy-x-2y+1\right),\left(xy+x+2y+1\right)\) là các ước số của 1. Do đó ta có 2 trường hợp:

TH1: \(\left\{{}\begin{matrix}xy-x-2y+1=1\\xy+x+2y+1=1\left(1\right)\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}-xy+x+2y-1=-1\\xy+x+2y+1=1\end{matrix}\right.\)

\(\Rightarrow2\left(x+2y\right)=0\Rightarrow x=-2y\)

Thay vào (1) ta được:

\(-2y^2+1=1\Leftrightarrow y=0\Rightarrow x=0\)

TH2: \(\left\{{}\begin{matrix}xy-x-2y+1=-1\\xy+x+2y+1=-1\left(1\right)\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}-xy+x+2y-1=1\\xy+x+2y+1=-1\end{matrix}\right.\)

\(\Rightarrow2\left(x+2y\right)=0\Rightarrow x=-2y\)

Thay vào (1) ta được:

\(-2y^2+1=-1\Leftrightarrow\left[{}\begin{matrix}y=1\\y=-1\end{matrix}\right.\)

\(y=1\Rightarrow x=-2;y=-1\Rightarrow x=2\)

Vậy các cặp số nguyên (x;y) thỏa điều kiện ở đề bài là \(\left(0;0\right),\left(2;-1\right)\left(-2;1\right)\)

\(\Leftrightarrow x^2-xy-5x+4y+9=0\)

\(\Leftrightarrow\left(x^2-xy\right)-\left(4x-4y\right)-x+9=0\)

\(\Leftrightarrow x\left(x-y\right)-4\left(x-y\right)-x+9=0\)

\(\Leftrightarrow\left(x-y\right)\left(x-4\right)-\left(x-4\right)+5=0\)

\(\Leftrightarrow\left(x-4\right)\left(x-y-1\right)=-5\)

Do \(x;y\in Z\Rightarrow\left(x-4\right);\left(x-y-1\right)\in Z\)

Ta có các trường hợp sau

+ TH1:

\(\left\{{}\begin{matrix}x-4=1\\x-y-1=-5\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=5\\y=9\end{matrix}\right.\)

+ TH2:

\(\left\{{}\begin{matrix}x-4=-1\\x-y-1=5\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=3\\y=-3\end{matrix}\right.\)

+ TH3:

\(\left\{{}\begin{matrix}x-4=5\\x-y-1=-1\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=9\\y=9\end{matrix}\right.\)

+ TH4:

\(\left\{{}\begin{matrix}x-4=-5\\x-y-1=1\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=-1\\y=-3\end{matrix}\right.\)

\(\Leftrightarrow\left(x-y\right)\left(x+y\right)=2017=1.2017\)

\(\Leftrightarrow\left[{}\begin{matrix}\left\{{}\begin{matrix}x-y=1\\x+y=2017\end{matrix}\right.\\\left\{{}\begin{matrix}x-y=-1\\x+y=-2017\end{matrix}\right.\end{matrix}\right.\)

\(\Leftrightarrow\left[{}\begin{matrix}\left\{{}\begin{matrix}x=1009\\y=1008\end{matrix}\right.\\\left\{{}\begin{matrix}x=-1009\\y=-1008\end{matrix}\right.\end{matrix}\right.\)