\(x+y=2019\Rightarrow\left(x+y\right)^2=x^2+2xy+y^2=2019^2=4076361\)

vì \(x^2+y^2>=2xy\Rightarrow x^2+2xy+y^2=\left(x^2+y^2\right)+2xy>=2xy+2xy=4xy\)

\(\Rightarrow4076361>=4xy\Rightarrow1019090,25>=xy\)

dấu = xảy ra khi \(x=y=\frac{2019}{2}=1009,5\)

vậy max của xy là 1019090,25 khi x=y=1009,5

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

\(\Leftrightarrow y=\dfrac{-x^2+2018x-1}{\left(x+1\right)^2}=-1+\dfrac{2020x}{\left(x+1\right)^2}\)

\(\Rightarrow\dfrac{2020x}{\left(x+1\right)^2}\in Z\)

Mà x và \(x\left(x+2x\right)+1\) nguyên tố cùng nhau

\(\Rightarrow2020⋮\left(x+1\right)^2\)

Ta có 2020 chia hết cho đúng 2 số chính phương là 1 và 4

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

b.

Từ pt đầu:

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

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

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

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

Thế xuống dưới ...

THAM Khảo

Xét trên tập số tự nhiên

- Với \(y=0\Rightarrow\) ko tồn tại x thỏa mãn

- Với \(y=1\Rightarrow\) ko tồn tại x thỏa mãn

- Với \(y=2\Rightarrow x=1\)

- Với \(y\ge2\Rightarrow2^y⋮8\)

\(\Rightarrow5^x-1⋮8\)

Nếu \(x\) lẻ \(\Rightarrow x=2k+1\Rightarrow5^x=5.25^k\equiv5\left(mod8\right)\) \(\Rightarrow5^x-1\equiv4\left(mod8\right)\) ko chia hết cho 8 (ktm)

\(\Rightarrow x\) chẵn \(\Rightarrow x=2k\)

\(\Rightarrow5^x=5^{2k}=25^k\equiv1\left(mod3\right)\)

\(\Rightarrow5^x-1\equiv0\left(mod3\right)\Rightarrow5^x-1⋮3\Rightarrow2^y⋮3\) (vô lý)

Vậy với \(y\ge3\) ko tồn tại x;y thỏa mãn

Có đúng 1 cặp thỏa mãn là \(\left(x;y\right)=\left(1;2\right)\)

\(5^x-2^y=1\left(a\right)\left(x;y\in N\right)\)

Ta thấy với \(\left\{{}\begin{matrix}x=1\\y=2\end{matrix}\right.\) thì \(\left(a\right)\) thỏa mãn

\(\left(a\right)\Leftrightarrow5^x-1=2^y\)

Với \(y\ge3\left(y\in N\right)\)

\(\Rightarrow5^x-1=2^y⋮8\left(b\right)\)

- Nếu \(x=2k\left(k\in N\right)\) (x là số chẵn)

\(\Rightarrow5^x-1=25^k-1⋮3\left(25^k\equiv1\left(mod3\right)\Rightarrow25^k-1\equiv0\left(mod3\right)\right)\)

\(\Rightarrow\left(b\right)\) không thỏa mãn

- Nếu \(x=2k+1\left(k\in N\right)\) (x là số lẻ)

\(\Rightarrow5^x-1=5.25^k-1\equiv4\left(mod8\right)\left(5.25^k\equiv5\left(mod8\right)\right)\)

Nên với \(y\ge3\) không tồn tại \(\left(x;y\right)\) thỏa mãn \(\left(a\right)\)

Vậy có đúng 1 cặp nghiệm \(\left(x;y\right)=\left(1;2\right)\) thỏa mãn đề bài