Xét \(y=0\Rightarrow x=\pm8\)
Với \(y\ge1\), ta thấy \(x⋮6\) và \(y⋮2\) (vì nếu \(y\) lẻ thì \(3^y\) chia 4 dư 3, vô lí)
\(x=3k,y=2l\left(k,l\inℤ,l\ge2\right)\) (nếu \(l=1\) thì \(y=2\Rightarrow x^2=72\), vô lí)
pt đã cho trở thành \(k^2=3^{2l-2}+7\)
\(\Leftrightarrow k^2-\left(3^{l-1}\right)^2=7\)
\(\Leftrightarrow\left(k+3^{l-1}\right)\left(k-3^{l-1}\right)=7\)
Do \(k+3^{l-1}>k-3^{l-1}\) nên ta xét 2TH
TH1: \(\left\{{}\begin{matrix}k+3^{l-1}=7\\k-3^{l-1}=1\end{matrix}\right.\). Cộng theo vế \(\Rightarrow2k=8\Rightarrow k=4\Rightarrow x=3k=12\) \(\Rightarrow3^y=x^2-63=144-63=81\Rightarrow y=4\)
Vậy ta tìm được cặp \(\left(x,y\right)=\left(12,4\right)\), thử lại thấy thỏa mãn.
TH2: \(\left\{{}\begin{matrix}k+3^{l-1}=-1\\k-3^{l-1}=-7\end{matrix}\right.\)
Cộng theo vế \(\Rightarrow2k=-8\Rightarrow k=-4\Rightarrow x=-12\)
\(\Rightarrow3^y=x^2-63=144-63=81\Rightarrow y=4\)
Vậy ta tìm được thêm cặp số \(\left(x;y\right)=\left(-12;4\right)\). Như vậy, pt đã cho có các nghiệm nguyên \(\left(x;y\right)\in\left\{\left(\pm8;0\right);\left(\pm12;4\right)\right\}\)
