Giả sử \(y\) là số lẻ
Đặt \(\left\{{}\begin{matrix}x^2-y=m^2\\x^2+y=n^2\end{matrix}\right.\left(m,n\inℕ;m< n\right)\)
\(\Rightarrow2y=n^2-m^2\) \(\Rightarrow n^2-m^2\) chia hết cho 2 nhưng không chia hết cho 4.
Thế nhưng, ta thấy \(n^2\) và \(m^2\) khi chia cho 4 chỉ có thể có số dư là 0 hoặc 1, vậy nên \(n^2-m^2\) khi chia cho 4 sẽ chỉ có số dư là \(0,1,-1\), nghĩa là nếu \(n^2-m^2\) mà chia hết cho 2 thì buộc hiệu này phải chia hết cho 4, mâu thuẫn. Vậy điều giả sử là sai \(\Rightarrow\) đpcm.