+ Nếu n lẻ thì n + 3 chẵn => n + 3 chia hết cho 2 => (n + 3).(n + 6) chia hết cho 2
+ Nếu n chẵn thì n + 6 chẵn => n + 6 chia hết cho 2 => (n + 3).(n + 6) chia hết cho 2
Chứng tỏ ...
ta có (n+3)(n+6)
với n chia hêt cho 2 => n+6 chia hết cho 2 => (n+3)(n+6) chia hết cho 2
với n không chia hết cho 2 => n+3 chia hết cho 2 => (n+3)(n+6) chia hết cho 2
do đó (n+3)(n+6) luôn luôn chia hết cho 2 => đpcm