Giả sử 2017 số a1 - b1, a2 - b2,..., a2017 - b2017 là các số lẻ.
Khi đó (a1 - b1) + (a2 - b2) + ... + (a2017 - b2017) = (a1 + a2 + ... + a2017) - (b1 + b2 + ... + b2017) là số lẻ. (1)
Lại có theo đề bài b1, b2,..., b2017 là 1 hoán vị của các số a1, a2,..., a2017 nên (a1 + a2 + ... + a2017) - (b1 + b2 + ... + b2017) = 0. (2)
Ta thấy (1) trái với (2). Do đó giả sử sai.
Suy ra trong 2017 số a1 - b1, a2 - b2,..., a2017 - b2017 có một số chẵn, do đó tích chúng là số chẵn.
Vậy ta có đpcm