Xét 7 số : \(a_1,a_2,a_3,...,a_7\) . Trong 3 số \(a_1,a_2,a_3\) sẽ tồn tại hai số có tổng \(⋮\) 2 . Giả sử : \(a_1+a_2⋮2\)
Xét 3 số \(a_3,a_4,a_5\) và \(a_5,a_6,a_7\) cũng tồn tại hai số có tổng \(⋮\) 2 . Giả sử
\(a_3+a_4⋮2\) và \(a_5+a_6⋮2\)
Đặt : \(a_1+a_2=2.b;a_3+a_4=2.c;a_5+a_6=2.d\)
\(\Rightarrow a_1+a_2+a_3+a_4+a_5+a_6=2.b+2.c+2.d=2\left(b+c+d\right)\)
Xét 3 số : b,c,d tồn tại hai số có tổng \(⋮\) 2 , giả sử \(b+c⋮2\)
\(\Rightarrow a_1+a_2+a_3+a_4=2b+2c=2\left(b+c\right)⋮4\left(đpcm\right)\)