Ta suy ra điều phải chứng minh.
Lời giải:
Giả sử 52 số tự nhiên tùy ý là $a_1,a_2,...,a_{52}$.
TH1: Nếu trong 52 số trên có 2 số cùng số dư khi chia cho $100$ là $a_i, a_j$ thì hiệu $a_i-a_j\vdots 100$ (1)
Nếu trong 52 số trên không có số nào có cùng số dư khi chia cho $100$, nghĩa là $a_1,a_2,..,a_{52}$ tương ứng với 52 số dư khác nhau khi chia $100\$
Xét dãy $(b_i)$ mà $b_i=-a_i$ với $i=1,2,...,52$
Khi đó, $b_1,b_2,....,b_{52}$ cũng tương ứng với $52$ số dư khác nhau khi chia cho $100$
$b_i=-a_i\equiv a_i\pmod {100}\Leftrightarrow a_i\equiv 0,50\pmod {100}$
Trong 104 số $a_1,a_2,...,a_{52}, b_1,b_2,...b_{52}$ có ít nhất $100$ số khi chia cho $100$ có số dư khác $0$ và $50$
Bỏ qua $0,50$ thì 1 số khi chia cho $100$ có thể có 98 số dư
Do đó theo định lý Dirichlet thì trong dãy những số không đồng dư với $0,50$ tồn tại ít nhất $[\frac{100}{98}]+1=2$ số $b_i,a_j(i\neq j)$ cùng số dư khi chia cho $100$
$\Leftrightarrow b_i\equiv a_j\pmod {100}$
$\Leftrightarrow a_i+a_j\pmod {100}$ hay $a_i+a_j\vdots 100$ (2)
Từ $(1);(2)$ ta có đpcm.