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

\(\Leftrightarrow y=\dfrac{2x^2+x+2}{2x-1}=x+1+\dfrac{3}{2x-1}\)

\(y\in Z\Rightarrow\dfrac{3}{2x-1}\in Z\)

Mà x nguyên dương \(\Rightarrow2x-1>0\)

\(\Rightarrow2x-1=Ư\left(3\right)\Rightarrow x=\left\{1;2\right\}\) 

\(\Rightarrow\left(x;y\right)=\left(1;5\right);\left(2;4\right)\)

\(x^2+x+13=y^2\\ \Leftrightarrow x^2-y^2+x+13=0\\ \Leftrightarrow4x^2-4y^2+4x+52=0\\ \Leftrightarrow\left(2x+1\right)^2-4y^2=51\\ \Leftrightarrow\left(2x+1-2y\right)\left(2x+1+2y\right)=51=51\cdot1=17\cdot3\left(x,y>0\right)\)

Tới đây giải ra các trường hợp thui

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

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