Do các số chia 3 chỉ có thể có các số dư là 0,1,2
Giả sử không có số nào (hoặc bộ vài số nào) có tổng chia hết cho 3
Do các số đều ko chia hết cho 3 nên chúng chia 3 chỉ có thể dư 1 hoặc 2
Theo nguyên lý Dirichlet, trong 5 số luôn có ít nhất \(\left[\dfrac{5}{2}\right]+1=3\) số có cùng số dư khi chia 3
Giả sử bộ 3 số cùng số dư khi chia 3 là \(a_1;a_2;a_3\Rightarrow a_1+a_2+a_3⋮3\) (mâu thuẫn giả thiết ko có bộ số nào chia hết cho 3)
Vậy điều giả sử là sai hay luôn có 1 hoặc vài số có tổng chia hết cho 3