giả sử \(\left(a1-b1\right).\left(a2-b2\right)...\left(a2007-b2007\right)\) là số chẵn
=> \(\left(a1-b1\right)+\left(a2-b2\right)+...+\left(a2007-b2007\right)\)là số chẵn (vì có 2007 cặp)
\(\left(a1-b1\right)+\left(a2-b2\right)+...+\left(a2007-b2007\right)\)
\(=\left(a1+a2+a3+...+a2007\right)-\left(b1+b2+b3+...+b2007\right)=0\)
=> điều giả sử đúng
=> đpcm