Chỉ nên tham khảo thôi:

Giả sử tồn tại n,m thỏa mãn \(n^2+m\) là số chính phương

Đặt \(m=\dfrac{2n^2}{p}\)

-> \(n^2+m=n^2+\dfrac{2n^2}{p}=n^2\left(1+\dfrac{2}{p}\right)\)

->\(1+\dfrac{2}{p}\) là bình phương một số hữu tỉ

->\(1+\dfrac{2}{p}=\dfrac{p+2}{p}=\dfrac{a^2}{b^2}\) với UCLN(a,b)=1 và a>b>0

->\(\left\{{}\begin{matrix}p+2=k\cdot a^2\\p=k\cdot b^2\end{matrix}\right.\)

->\(k\cdot\left(a^2-b^2\right)=2\)

Lại có p+2 và p chia hết cho k nên (p+2)-p=2 chia hết cho k

->k=1 hoặc k=2

TH1: k=1-> \(a^2-b^2=2\)

Nếu a,b cùng chẵn hoặc cùng lẻ thì \(a^2-b^2\) chia hết cho 4(vô lí)

Nếu a,b không cùng tính chẵn lẻ thì \(a^2-b^2\) lẻ (vô lí)

TH2: k=2-> \(a^2-b^2=1\)

-> a=1, b=0(vô lí)

Vậy giả sử sai, suy ra điều phải chứng minh