Cho bất phương trình $x-2y+4\ge 0$. Biết rằng trên đường thẳng $y=3$, các điểm có tọa độ nguyên $(x;3)$ thuộc miền nghiệm và thỏa mãn $-5\le x\le 9$ có số lượng là bao nhiêu điểm?

(AI giải đề cho tôi)
Thay $y=3$ vào bất phương trình $x-2y+4\ge 0$ ta được $x-6+4\ge 0\iff x\ge 2$. Kết hợp điều kiện $-5\le x\le 9$ ta được $2\le x\le 9$. Các giá trị nguyên của $x$ là $2,3,4,5,6,7,8,9$, gồm $9-2+1=8$ giá trị. Vậy có 8 điểm $(x;3)$ thỏa mãn, khớp với đáp số 8 của đề.