Cho hệ bất phương trình $$\{\begin{array}{l}x+y-3\le 0\\ x-y+1\ge 0\\ y\ge 0\end{array}$$ Miền nghiệm của hệ chứa bao nhiêu điểm có tọa độ nguyên $(x;y)$?

(AI giải đề cho tôi)
Miền nghiệm: $y\ge 0$, $x+y\le 3$, $x\ge y-1$. Tam giác có đỉnh $(-1;0)$, $(3;0)$, $(1;2)$. Đếm điểm nguyên: với $y=0$: $x\in \{-1,0,1,2,3\}$ (5 điểm); với $y=1$: $x\in \{0,1,2\}$ (3 điểm); với $y=2$: $x=1$ (1 điểm). Tổng cộng $5+3+1=9$ điểm.