Do vai trò của x và y như nhau, ko mất tính tổng quát, giả sử \(x\le y\)
Ta có: \(y^2< y^2+x\)
Đồng thời: \(y^2+x\le y^2+y< y^2+2y+1=\left(y+1\right)^2\)
\(\Rightarrow y^2< y^2+x< \left(y+1\right)^2\)
\(\Rightarrow y^2+x\) nằm giữa 2 SCP liên tiếp nên ko thể là SCP
Vậy ko tồn tại x, y nguyên dương thỏa mãn