Vì x và y nguyên không âm nên x ≥ 9
+) Với x = 9 thì ta tìm được y = 0
+) Xét x > 9. Khi đó x chia cho 5 có 5 loại số dư là 0, 1, 2, 3, 4
TH1: x chia hết cho 5 hay x có dạng 5k với k là số tự nhiên.
Ta có x2 + x - 89 = 25k2 + 5k - 89
Dễ thấy 25k2 + 5k chia hết cho 5 còn 89 không chia hết cho 5 nên vế trái không chia hết cho 5 => ko có cặp (x, y) thỏa mãn
Các TH sau em làm tương tự.
Những bài dạng này thường có cách làm chung là thử những trường hợp đầu tiên đúng, sau đó xét số trường hợp còn lại và nó sai sạch bằng 1 tính chất nào đấy, cụ thể trong bài này là tính chia hết cho 5