Gọi a1,a2,...,an vaˋ b1, b2,...,bnlà vị trí của n nam và n nữ trên hàng.
Xét nam tại vị trí ai , ta thấy bên trái anh ta có ai−1 vị trí, trong đó có i−1 vị trí là nam, vậy nên bên trái anh ta có ai−i nữ.
Tương tự, bên phải anh ta có n−(ai−i)nữ.
Vậy nam tại ai được cho(ai−i)[n−(ai−i)] kẹo.
Tương tự, nữ tại vị trí bi được cho (bi−i)[n−(bi−i)]kẹo.
Như vậy tổng số kẹo được cho bằng
S=i=1∑n{(ai−i)(n−(ai−i))+(bi−i)(n−(bi−i))}=i=1∑n{n(ai+bi)−(ai2+bi2)−2ni−2i2+2i(ai+bi)}
Chú ý là {a1,...,an,b1,...,bn}={1,2,...,2n} nên ta có:
i=1∑n(ai2+bi2)=i=1∑i22n=62n(2n+1)(4n+1),i=1∑n(ai+bi)=i=1∑i2n=22n(2n+1)
Ngoài ra
i=1∑i2n=6n(n+1)(2n+1), i=1∑in=2n(n+1)
Thay vào biểu thức tính S, ta tìm được S=i=1∑n2i(ai+bi)−3n(7n2+9n+2)
Từ đó, ta đưa bài toán ban đầu về việc chứng minh bất đẳng thức: T=i=1∑ni(ai+bi)≤6n(n+1)(8n+1)
Ta có
an+bn≤2n+2n−1=4n−1an+bn+an−1+bn−1≤4n−1+4n−5.........................................an+bn+an−1+bn−1+...+a1+b1≤4n−1+4n−5+...+3
Áp dụng công thức khai triển tổng Abel, ta có
T=i=1∑ni(ai+bi)=an+bn+(an+bn+an−1+bn−1)+...+(an+bn+an−1+bn−1+...+a1+b1)≤4n−1+(4n−1+4n−5)+...+(4n−1+4n−5+..+3)=i=1∑ni(4i−1)=6n(n+1)(8n+1)
Vậy bài toán được chứng minh.