\(M=\dfrac{\dfrac{1}{16}}{x^2}+\dfrac{\dfrac{1}{4}}{y^2}+\dfrac{1}{z^2}\ge\dfrac{\left(\dfrac{1}{4}+\dfrac{1}{2}+1\right)^2}{x^2+y^2+z^2}=\dfrac{49}{16}\)

\(M_{min}=\dfrac{49}{16}\) khi \(\left(x;y;z\right)=\left(\dfrac{1}{\sqrt{7}};\dfrac{2}{\sqrt{14}};\dfrac{2}{\sqrt{7}}\right)\)

\(M=\dfrac{\dfrac{1}{16}}{x^2}+\dfrac{\dfrac{1}{4}}{y^2}+\dfrac{1}{z^2}\ge\dfrac{\left(\dfrac{1}{4}+\dfrac{1}{2}+1\right)^2}{x^2+y^2+z^2}=\dfrac{7}{4}\)

\(M_{min}=\dfrac{7}{4}\) khi \(\left(x;y;z\right)=\left(\dfrac{1}{2};\dfrac{1}{\sqrt{2}};1\right)\)

\(x^2+4y^2=x^2y^2-2xy\)

\(\Rightarrow x^2+4y^2+4xy=x^2y^2+2xy+1-1\)

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

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

\(\Rightarrow\left(xy-x-2y+1\right)\left(xy+x+2y+1\right)=1\)

Vì x,y là các số nguyên nên \(\left(xy-x-2y+1\right),\left(xy+x+2y+1\right)\) là các ước số của 1. Do đó ta có 2 trường hợp:

TH1: \(\left\{{}\begin{matrix}xy-x-2y+1=1\\xy+x+2y+1=1\left(1\right)\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}-xy+x+2y-1=-1\\xy+x+2y+1=1\end{matrix}\right.\)

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

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

\(-2y^2+1=1\Leftrightarrow y=0\Rightarrow x=0\)

TH2: \(\left\{{}\begin{matrix}xy-x-2y+1=-1\\xy+x+2y+1=-1\left(1\right)\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}-xy+x+2y-1=1\\xy+x+2y+1=-1\end{matrix}\right.\)

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

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

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

\(y=1\Rightarrow x=-2;y=-1\Rightarrow x=2\)

Vậy các cặp số nguyên (x;y) thỏa điều kiện ở đề bài là \(\left(0;0\right),\left(2;-1\right)\left(-2;1\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)\)

@ Ha Dung vì khi y < 0 thì y = -k (k  N)

⇒ 3^2019y = 3^-2019k = ( N)

 ()^2019k  không phải là số nguyên vậy 3^2019y không phải là số nguyên em nhé.

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

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

\(\Leftrightarrow\left(2x-y\right)^2+4\left(2x-y\right)+4+3y^2+12y+12=-16\)

\(\Leftrightarrow\left(2x-y+2\right)^2+3\left(y+2\right)^2=-16\)

Dễ thấy VT \(\ge0\) ; VP < 0 nên phương trình vô nghiệm 

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

\(\Rightarrow x^2-2x+1+y^2-2y+1=2+xy\)

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

Ta lại có : \(\left(x-1\right)^2+\left(y-1\right)^2\ge2\left(x-1\right)\left(y-1\right)\) (Bất đẳng thức Cauchy)

Tiếp tục phần tiếp theo

Dấu bằng xảy ra khi \(\left\{{}\begin{matrix}x=2\\y=2\end{matrix}\right.\)

\(\Rightarrow\left(x-1\right)^2+\left(y-1\right)^2=2+xy\) (vô lý vì 2=2+2.2)

⇒ Không có cặp (x;y) nguyên dương nào thỏa mãn đề bài

Bài 1 : 

Phương trình <=> 2^x . x² = ( 3y + 1 ) ² + 15

Vì \(\hept{\begin{cases}3y+1\equiv1\left(mod3\right)\\15\equiv0\left(mod3\right)\end{cases}\Rightarrow\left(3y+1\right)^2+15\equiv1\left(mod3\right)}\)

\(\Rightarrow2^x.x^2\equiv1\left(mod3\right)\Rightarrow x^2\equiv1\left(mod3\right)\)

( Vì số  chính phương chia 3 dư 0 hoặc 1 ) 

\(\Rightarrow2^x\equiv1\left(mod3\right)\Rightarrow x\equiv2k\left(k\inℕ\right)\)

Vậy \(2^{2k}.\left(2k\right)^2-\left(3y+1\right)^2=15\Leftrightarrow\left(2^k.2.k-3y-1\right).\left(2^k.2k+3y+1\right)=15\)

Vì y ,k \(\inℕ\)nên 2^k . 2k + 3y + 1 > 2^k .2k - 3y-1>0

Vậy ta có các trường hợp: 

\(+\hept{\begin{cases}2k.2k-3y-1=1\\2k.2k+3y+1=15\end{cases}\Leftrightarrow\hept{\begin{cases}2k.2k=8\\3y+1=7\end{cases}\Rightarrow}k\notinℕ\left(L\right)}\)

\(+,\hept{\begin{cases}2k.2k-3y-1=3\\2k.2k+3y+1=5\end{cases}\Leftrightarrow\hept{\begin{cases}2k.2k=4\\3y+1=1\end{cases}\Rightarrow}\hept{\begin{cases}k=1\\y=0\end{cases}\left(TM\right)}}\)

Vậy ( x ; y ) =( 2 ; 0 ) 

Bài 3: 

Giả sử \(5^p-2^p=a^m\)    \(\left(a;m\inℕ,a,m\ge2\right)\)

Với \(p=2\Rightarrow a^m=21\left(l\right)\)

Với \(p=3\Rightarrow a^m=117\left(l\right)\)

Với \(p>3\)nên p lẻ, ta có

\(5^p-2^p=3\left(5^{p-1}+2.5^{p-2}+...+2^{p-1}\right)\Rightarrow5^p-2^p=3^k\left(1\right)\)    \(\left(k\inℕ,k\ge2\right)\)

Mà \(5\equiv2\left(mod3\right)\Rightarrow5^x.2^{p-1-x}\equiv2^{p-1}\left(mod3\right),x=\overline{1,p-1}\)

\(\Rightarrow5^{p-1}+2.5^{p-2}+...+2^{p-1}\equiv p.2^{p-1}\left(mod3\right)\)

Vì p và \(2^{p-1}\)không chia hết cho 3 nên \(5^{p-1}+2.5^{p-2}+...+2^{p-1}⋮̸3\)

Do đó: \(5^p-2^p\ne3^k\), mâu thuẫn với (1). Suy ra giả sử là điều vô lý

\(\rightarrowĐPCM\)

Bài 4:

Ta đặt: \(S=6^m+2^n+2\)

TH1: n chẵn thì:

\(S=6^m+2^n+2=6^m+2\left(2^{n-1}+1\right)\)

Mà \(2^{n-1}+1⋮3\Rightarrow2\left(2^{n-1}+1\right)⋮6\Rightarrow S⋮6\)

Đồng thời S là scp

Cho nên: \(S=6^m+2\left(2^{n-1}\right)=\left(6k\right)^2\)

\(\Leftrightarrow6^m+6\left(2^{n-2}-2^{n-3}+...+2-1\right)=36k^2\)

Đặt: \(A\left(n\right)=2^{n-2}-2^{n-3}+...+2-1=2^{n-3}+...+1\)là số lẻ

Tiếp tục tương đương: \(6^{m-1}+A\left(n\right)=6k^2\)

Vì A(n) lẻ và 6k^2 là chẵn nên: \(6^{m-1}\)lẻ\(\Rightarrow m=1\)

Thế vào ban đầu: \(S=8+2^n=36k^2\)

Vì n=2x(do n chẵn) nên tiếp tục tương đương: \(8+\left(2^x\right)^2=36k^2\)

\(\Leftrightarrow8=\left(6k-2^x\right)\left(6k+2^x\right)\)

\(\Leftrightarrow2=\left(3k-2^{x-1}\right)\left(3k+2^{x-1}\right)\)

Vì \(3k+2^{x-1}>3k-2^{x-1}>0\)(lớn hơn 0 vì 2>0 và \(3k+2^{x-1}>0\))

Nên: \(\hept{\begin{cases}3k+2^{x-1}=2\\3k-2^{x-1}=1\end{cases}}\Leftrightarrow6k=3\Rightarrow k\notin Z\)(loại)

TH2: n là số lẻ

\(S=6^m+2^n+2=\left(2k\right)^2\)(do S chia hết cho 2 và S là scp)

\(\Leftrightarrow3\cdot6^{m-1}+2^{n-1}+1=2k^2\)là số chẵn

\(\Rightarrow3\cdot6^{m-1}+2^{n-1}\)là số lẻ

Chia tiếp thành 2TH nhỏ: 

TH2/1: \(3\cdot6^{m-1}\)lẻ và \(2^{n-1}\)chẵn với n là số lẻ

Ta thu đc: m=1 và thế vào ban đầu

\(S=2^n+8=\left(2k\right)^2\)(n lớn hơn hoặc bằng 3)

\(\Leftrightarrow2^{n-2}+2=k^2\)

Vì \(k^2⋮2\Rightarrow k⋮2\Rightarrow k^2=\left(2t\right)^2\)

Tiếp tục tương đương: \(2^{n-2}+2=4t^2\)

\(\Leftrightarrow2^{n-3}+1=2t^2\)

\(\Leftrightarrow2^{n-3}\)là số lẻ nên n=3

Vậy ta nhận đc: \(\left(m;n\right)=\left(1;3\right)\)

TH2/2: \(3\cdot6^{m-1}\)là số chẵn và \(2^{n-1}\)là số lẻ

Suy ra: n=1

Thế vào trên: \(6^m+4=4k^2\)

\(\Leftrightarrow6^m=\left(2k-2\right)\left(2k+2\right)\)

\(\Leftrightarrow\hept{\begin{cases}2k-2=6^q\\2k+2=6^p\end{cases}}\Rightarrow p+q=m\)

Và \(6^p-6^q=4\)

\(\Leftrightarrow6^q\left(6^{p-q}-1\right)=4\Leftrightarrow6^q\le4\Rightarrow q=1\)(do là tích 2 stn)

\(\Rightarrow k\notin Z\)

Vậy \(\left(m;n\right)=\left(1;3\right)\)

P/S: mk không kiểm lại nên có thể sai