Tính tổng các nghiệm nguyên dương của bất phương trình: $x^2-7x-30\le 0$.

(AI giải đề cho tôi)
Xét $x^2-7x-30\le 0$. Phương trình $x^2-7x-30=0$ có $\Delta =49+120=169=13^2$, nên $x=\frac{7\pm 13}{2}$, tức $x=-3$ hoặc $x=10$. Vì hệ số $a=1>0$, bất phương trình có nghiệm $-3\le x\le 10$. Các nghiệm nguyên dương là $1,2,\dots ,10$, tổng bằng $\frac{10\cdot 11}{2}=55$. Kết quả khớp với đáp án nguồn (55).