Gọi biểu thức trên là B. Ta có : Nếu n chẵn => n.( n+1) chẵn => n.(n+1) chia hết cho 2 => n.(n+1).(2n+1) chia hết cho 2
Nếu n lẻ => n.(n+1) chẵn +=> n.(n+1) chia hết cho 2 => n.(n+1).(2n+1) chia hết cho 2 => B chia hết cho 2 (1)
nếu n chia hết cho 3 => B chia hết cho 3
Nếu n chia 3 đư 1 thì 2n chia 3 dư 2 => 2n+1 chia hết cho 3 => B chia hết cho 3
Nếu n chia 3 dư 2 thì n+1 chia hết cho 3=> B chia hết cho 3 (2)
Từ (1) và (2) suy ra B chia hết cho 2 và 3.