2011||x2−y|−8|+y2−1=12011||x2−y|−8|+y2−1=1

⇔||x2−y|−8|+y2−1=0⇔||x2−y|−8|+y2−1=0

⇔||x2−y|−8|+y2=1⇔||x2−y|−8|+y2=1

Do x;y∈Z⇒||x2−y|−8|∈N;y2∈Nx;y∈Z⇒||x2−y|−8|∈N;y2∈N

Do y∈Z⇒y2y∈Z⇒y2 là số chính phương

Mà 1=0+11=0+1 nên ta có 22 trường hợp xảy ra

-Trường hợp 1: {||x2−y|−8|=1(1)y2=0(2){||x2−y|−8|=1(1)y2=0(2) 

(2)⇔y=0(2)⇔y=0

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

||x2−0|−8|=1⇔||x2|−8|=1||x2−0|−8|=1⇔||x2|−8|=1

⇔|x2−8|=1⇔[x2−8=1x2−8=−1⇔|x2−8|=1⇔[x2−8=1x2−8=−1

⇔[x2=9x2=7⇔[x=±3x=±√7⇔[x2=9x2=7⇔[x=±3x=±7

Mà x∈Z⇒x=±3x∈Z⇒x=±3

-Trường hợp 2:

{||x2−y|−8|=0(3)y2=1(4)⇔{|x2−y|−8=0(3)y=±1{||x2−y|−8|=0(3)y2=1(4)⇔{|x2−y|−8=0(3)y=±1 

+Nếu y=1,y=1, thay vào (3)(3) ta được:

|x2−1|−8=0⇔|x2−1|=8|x2−1|−8=0⇔|x2−1|=8

⇔[x2−1=8x2−1=−8⇔[x2=9x2=−7(loại)⇔[x2−1=8x2−1=−8⇔[x2=9x2=−7(loại)

⇔x2=9⇔x=±3⇔x2=9⇔x=±3 (thỏa mãn)

+Nếu y=−1,y=−1, thay vào (3)(3) ta được:

| x2+1 | = 0⇔x2+1=8⇔x2=7|x2+1|−8=0⇔x2+1=8⇔x2=7

⇔x=±√7⇔x=±7 (không thỏa mãn)

\(8\left|x-2017\right|=25-y^{2\text{​​}}\)

\(\Leftrightarrow8\left|x-2017\right|+y^2=25=25+0=24+1=21+4=16+9\)

Mà \(8\left|x-2017\right|\) chẵn nên ta có các trường hợp sau:

TH1: \(\left\{{}\begin{matrix}8\left|x-2017\right|=0\\y^2=25\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=2017\\y=\pm5\end{matrix}\right.\)

TH2: \(\left\{{}\begin{matrix}8\left|x-2017\right|=24\\y^2=1\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}\left[{}\begin{matrix}x=2020\\x=2014\end{matrix}\right.\\y=\pm5\end{matrix}\right.\)

TH3: \(\left\{{}\begin{matrix}8\left|x-2017\right|=16\\y^2=9\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}\left[{}\begin{matrix}x=2019\\x=2015\end{matrix}\right.\\y=\pm3\end{matrix}\right.\)

- 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)\)

tại sao y<0 lại ko thuoc Z

\(^{\text{(x+1+y+1+x+y)}^2}\)=2

\(^{\text{(x+1+y+1+x+y)}^2}\) =\(^{2^2}\)

x+1+y+1+x+y=2

(x+x)+(y+y)+(1+1)=2

x.2+y.2+2=2

2.(x+y+1)=2

x+y+1=2:2

x+y+1=1

x+y=1-1

x+y=0

=>x;y=0