Thực ra ý 1 chứng minh không có nghiệm nguyên nào ngoài $(x,y) = (0,0)$ giống bài toán quen thuộc: "Chứng minh rằng $\sqrt{2}$ không thể biểu diễn thành dạng phân số (hay số hữu tỉ)".
Nhận thấy $(x,y) = (0,0)$ là một nghiệm, xét trường hợp $x,y \ne 0$
bạn thienluan14211 làm chưa chặt chẽ, ta sẽ làm chặt chẽ hơn như sau.
Từ $x = \sqrt{2}y$suy ra $\dfrac{x}{y} = \sqrt{2}$ .
Ta chứng minh không tồn tại cặp số nguyên (x,y) nào như thế. Thật vậy giả sử rằng x,y tồn tại cặp (x,y) mà UCLN (x,y) = 1.
Từ $x^{2}=2y^{2}$ suy ra $x$ chia hết cho 2. Do đó $x = 2x_{1}$ thay vào phương trình ban đầu $2x_{1}^{2}=y^{2}$ tương tự thì $y$ chia hết cho 2.
Điều này trái với giả thiết UCLN (x,y) = 1.