Chứng minh rằng các phương trình sau không có nghiệm nguyên

Chứng minh rằng các phương trình sau k có nghiệm nguyên:

a) x^2 = 2y^2 -8y +3