Chứng minh rằng trong 1007 số tự nhiên bất kỳ luôn tồn tại 2 số sao cho tổng hoặc hiệu của

Đề bài là 2011 chính xác hơn ( tất nhiên 2001 vẫn đúng, nhưng 2011 sẽ là số sát với lời giải hơn).

Ta làm như sau: Một số tự nhiên khi chia 2011 sẽ có thể có 2011 số dư 0;1;2;...;2010.

Chia các số dư này thành các nhóm 0, (1;2010), (2;2009),....,(1005;1006).

Có 1006 nhóm, mà có 1007 số nên theo nguyên lý Đirichle sẽ có 2 số ở cùng 1 nhóm. 2 số này sẽ có tổng hoặc hiệu chia hết cho 2011