Nhận thấy: x phải là số lẻ. Vì nếu x là số chẵn thì [TEX]3x^2[/TEX] sẽ là số chẵn \Rightarrow 3[TEX]x^2-4y^2[/TEX] là số chẵn trong khi 13 là số lẻ
x là số lẻ \Rightarrow x có dạng [TEX]x= 2k+1[/TEX] với k thuộc Z
thay [TEX]x=2k+1[/TEX] vào phương trình ta có:
[TEX]3(4k^2+4k+1) - 4y^2 = 13[/TEX]
\Leftrightarrow [TEX]6k^2+6k-2y^2=5[/TEX]
\Leftrightarrow [TEX]6k(k+1) = 5+2y^2[/TEX]
Dễ thấy vế trái là số chẵn trong khi vế phải là số lẻ
\Rightarrow phương trình không có nghiệm nguyên