n là số tự nhiên không chia hết cho 3
=> \(\left[{}\begin{matrix}n=3k+1\\n=3k+2\end{matrix}\right.\)
+) n=3k+1
\(n^2+2=\left(3k+1\right)^2+2=9k^2+6k+3⋮3\)
+) n=3k+2
\(n^2+2=\left(3k+2\right)^2+2=9k^2+6k+6⋮3\)
=> Với mọi số tự nhiên n không chia hết cho 3 thì n2 +2 chia hết cho 3