Lời giải:

$2019|y-2020|=1-|x|\leq 1$ do $|x|\geq 0$
$2019|y-2020|\geq 0$

$\Rightarrow 0\leq 2019|y-2020|\leq 1$

Mà $2019|y-2020|$ là số nguyên chia hết cho $2019$ với mọi $y$ nguyên 

$\Rightarrow 2019|y-2020|=0$

$\Rightarrow y=2020$

$|x|=1-2019|y-2020|=1-0=1$

$\Rightarrow x=\pm 1$
Vậy $(x,y)=(\pm 1, 2020)$

x thuộc 2019 ; 2020

y=2021

Do \(x-2019\) và \(x-2020\) là 2 số nguyên liên tiếp nên luôn khác tính chẵn lẻ

\(\Rightarrow\left(x-2019\right)^{2020}+\left(x-2020\right)^{2020}\) luôn lẻ với mọi x

Nếu \(y< 2021\Rightarrow\) vế trái nguyên còn vế phải không nguyên (không thỏa mãn)

\(\Rightarrow y\ge2021\)

Nếu \(y>2021\), do 2020 chẵn \(\Rightarrow2020^{y-2021}\) chẵn. Vế trái luôn lẻ, vế phải luôn chẵn \(\Rightarrow\) không tồn tại x; y nguyên thỏa mãn

\(\Rightarrow y=2021\)

Khi đó pt trở thành: \(\left(x-2019\right)^{2020}+\left(x-2020\right)^{2020}=1\)

Nhận thấy \(x=2019\) và \(x=2020\) là 2 nghiệm của pt đã cho

- Với \(x< 2019\Rightarrow\left\{{}\begin{matrix}\left(x-2019\right)^{2020}>0\\\left(x-2020\right)^{2020}>1\end{matrix}\right.\) \(\Rightarrow\left(x-2019\right)^{2020}+\left(x-2020\right)^{2020}>1\) pt vô nghiệm

- Với \(x>2020\Rightarrow\left\{{}\begin{matrix}\left(x-2020\right)^{2020}>0\\\left(x-2019\right)^{2020}>1\end{matrix}\right.\) \(\Rightarrow\left(x-2019\right)^{2020}+\left(x-2020\right)^{2020}>1\) pt vô nghiệm

- Với \(2019< x< 2020\) viết lại pt: \(\left(x-2019\right)^{2020}+\left(2020-x\right)^{2020}=1\)

Ta có: \(\left\{{}\begin{matrix}0< x-2019< 1\\0< 2020-x< 1\end{matrix}\right.\) \(\Rightarrow\left\{{}\begin{matrix}\left(x-2019\right)^{2020}< x-2019\\\left(2020-x\right)^{2020}< 2020-x\end{matrix}\right.\)

\(\Rightarrow\left(x-2019\right)^{2020}+\left(2020-x\right)^{2020}< 1\) pt vô nghiệm

Vậy pt có đúng 2 cặp nghiệm: \(\left(x;y\right)=\left(2019;2021\right);\left(2020;2021\right)\)

Áp dụng bđt AM-GM ta có \(\left(x^2+1\right)\left(x^2+y^2\right)\ge2x.2xy=4x^2y..\)
\(\Rightarrow VT\ge VP\)
Dấu = xảy ra khi \(\hept{\begin{cases}x^2=1\\x^2=y^2\end{cases}\Rightarrow}\left(x,y\right)\in\left\{\left(1;1\right);\left(1;-1\right);\left(-1;1\right);\left(-1;-1\right)\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.\)