Đặt \(n\)số tự nhiên đó lần lượt là \(a_1,a_2,...,a_n\).
Đặt \(S_1=a_1,S_2=a_1+a_2,S_3=a_1+a_2+a_3,...,S_n=a_1+a_2+...+a_n\).
Nếu có tổng nào trong \(n\)tổng trên chia hết cho \(n\)ta có đpcm.
Nếu không có tổng nào trong \(n\)tổng trên chia hết cho \(n\), khi đó số dư của \(S_k\)khi chia cho \(n\)có thể nhận là \(1,2,...,n-1\)mà có \(n\)tổng, \(n-1\)số dư nên chắc chắn có ít nhất hai trong \(n\)tổng \(S_k\)có cùng số dư khi chia cho \(n\).
Giả sử đó là \(S_x,S_y,x>y\)
Khi đó \(S_x-S_y\)chia hết cho \(n\).
\(S_x-S_y\)là tổng của \(x-y\)số liên tiếp \(S_{y+1},S_{y+2},...,S_x\).
Ta có đpcm.