Ta có: a không chia hết cho 3
TH1: a=3m+1 (m thuộc N)
=>a2=(3m+1)2=3m(3m+1)+(3m+1)=9m2+3m+3m+1=3(3m2+2m)+1
=>a2 chia 3 dư 1
TH2: a=3n+2 (n thuộc N)
=>a2=(3n+2)2=3n(3n+2)+2(3n+2)=9n2+6n+6n+4=3(3n2+4n+1)+1
=>a2 chia 3 dư 1
Vậy a2 luôn chia 3 dư 1
=>a2-1 chia hết cho 3 (1)
Ta có: a lẻ
=>a2 lẻ
=>a2-1 chẵn
=>a2-1 chia hết cho 2 (2)
Từ (1) và (2) và (3;2)=1
=>a2-1 chia hết cho 3.2=6 (đpcm)