\(\Leftrightarrow36x-20=4y^2-4y\)
\(\Leftrightarrow18\left(2x-1\right)=\left(2y-1\right)^2+1\)
Vế trái chia hết cho 3, vế phải chia 3 luôn dư 1 hoặc 2
Vậy không tồn tại cặp số nguyên x, y thỏa mãn
Vì \(9x-5\equiv4\left[9\right]\) nên \(y\left(y-1\right)=y^2-y\equiv4\left[9\right]\) hay \(y^2-y-4⋮9\)
\(\Leftrightarrow y^2-5y+4y-20+16⋮9\)
\(\Leftrightarrow\left(y-5\right)\left(y+4\right)+16⋮9\)
\(\Leftrightarrow\left(y-5\right)\left(y+4\right)-2⋮9\)
\(\Leftrightarrow\left(y-5\right)\left(y-5+9\right)-2⋮9\)
\(\Leftrightarrow\left(y-5\right)^2+9\left(y-5\right)-2⋮9\)
\(\Leftrightarrow\left(y-5\right)^2-2⋮9\)
\(\Rightarrow\left(y-5\right)^2-2⋮3\) hay \(\left(y-5\right)^2\equiv2\left(mod3\right)\)
Điều này là vô lí vì số chính phương khi chia cho 3 không thể có số dư là 2.
Vậy pt đã cho không có nghiệm nguyên.
