Vì n là số tự nhiên => có 2 trường hợp
TH1: n là số lẻ
=> n+2009 là số chẵn => tích(n+2008)(n+2009) là số chẵn
TH2: n là số chẵn
=> n+2008 là số chẵn => tích( n+2008)(n+2009) là số chẵn
Vậy Với mọi n thuộc số tự nhiên thì(n+2008)(n+2009) là số chẵn(đpcm)