\(N=\left(n-1\right)\left(n+2\right)+12=n^2+n+10\)
- Với \(n=3k\Rightarrow N=9k^2+3k+9+1⋮̸3\Rightarrow N⋮̸9\)
- Với \(n=3k+1\Rightarrow N=9\left(k^2+k+1\right)+3⋮̸9\)
- Với \(n=3k+2\Rightarrow N=3\left(3k^2+5k+5\right)+1⋮̸3\Rightarrow N⋮̸9\)
Vậy \(N⋮̸9\) \(\forall n\in Z\)