Giả sử n không chia hết cho 3 thì \(\orbr{\begin{cases}n=3k+1\\n=3k+2\end{cases}}\)
TH1: \(n=3k+1\Rightarrow n^2=\left(3k+1\right)^2=9k^2+6k+1\text{⋮̸}3\) (Vô lý)
TH2: \(n=3k+2\Rightarrow n^2=\left(3k+2\right)^2=9k^2+12k+4\text{⋮̸}3\) (Vô lý)
Vậy để n2 chia hết cho 3 thì n phải chia hết cho 3.