Quy tắc chia hết cơ bản: với các số nguyên dương ta luôn có \(a^n-b^n\) chia hết \(a-b\)

Do đó \(199^x-2^x⋮197\)

\(\Rightarrow p^y⋮197\Rightarrow p⋮197\) (do 197 là số nguyên tố)

\(\Rightarrow p=197\)

Pt trở thành: \(199^x-2^x=197^y\)

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

- Với \(x=2\Rightarrow199^2-2^2=197.201\) chia hết 201, trong khi \(197^y\) ko chia hết cho 201 (ktm)

- Với \(x\ge3\) \(\Rightarrow2^x⋮8\)

TH1: Nếu x lẻ \(\Rightarrow\)\(199^x\equiv-1\left(mod8\right)\Rightarrow199^x-2^x\equiv-1\left(mod8\right)\) 

+ \(y\) chẵn \(\Rightarrow197^y\equiv5^y\left(mod8\right)\equiv5^{2k}\left(mod8\right)\equiv25^k\left(mod8\right)\equiv1\left(mod8\right)\) (ktm)

+ \(y\) lẻ \(\Rightarrow197^y\equiv5^{2k+1}\left(mod8\right)\equiv5.25^k\left(mod8\right)\equiv5\) (mod8) (ktm)

 TH2:\(x\) chẵn \(\Rightarrow199^x\equiv1\left(mod8\right)\Rightarrow199^x-2^x\equiv1\left(mod8\right)\)

+ \(y\) lẻ \(\Rightarrow\) tương tự TH1 ta có \(197^y\equiv5\left(mod8\right)\) (ktm)

\(\Rightarrow y\) chẵn

Khi x;y cùng chẵn, ta có \(199^x\equiv1\left(mod3\right)\) và \(2^x\equiv1\left(mod3\right)\)

\(\Rightarrow199^x-2^x⋮3\Rightarrow197^y⋮3\) (vô lý)

Vậy với \(x\ge3\) ko tồn tại bộ số nguyên dương nào thỏa mãn 

Hay có đúng 1 bộ số thỏa mãn yêu cầu: \(\left(x;y;p\right)=\left(1;1;197\right)\)