Ta có:
(a^2 + a + 3) / (a+1) là số nguyên => (a^2+a+3) chia hết cho (a+1)
<=> a.(a+1)+3 chia hết cho (a+1)
Mà a.(a+1) chia hết cho (a+1) => 3 chia hết cho a+1
MÀ a là số nguyên => a+1 là số nguyên => a+1 là ước của 3
=> a+1 thuộc {+-1; +-3} <=> a thuộc {0; -2; 2; -4}