Suppose 2n real numbers are placed in the cells of a 2×n grid such that the sum of the numbers in each of the n columns is 1. Prove that one can erase one of the two numbers in each column such that the sum of the remaining numbers in each of the rows does not exceed 4n+1.
Solution
Assume that the numbers in the first row are a1≤a2≤⋯≤an in some order. The numbers in the second row are bj=1−aj, 1≤j≤n. Hence b1≥b2≥⋯≥bn.
If a1+a2+⋯+an≤4n+1, we are done (we can erase all the numbers in the second row).
Let k be the least positive integer such that a1+a2+⋯+ak>4n+1. Then a1+a2+⋯+ak−1≤4n+1. We show that bk+bk+1+⋯+bn≤4n+1. Observe ak≥ka1+a2+⋯+ak>4kn+1. Hence bk+bk+1+⋯+bn≤(n+1−k)bk=(n+1−k)(1−ak)<(n+1−k)(1−4kn+1)=45(n+1)−(4k(n+1)2+4k2)≤(AM-GM)45(n+1)−4k2(n+1)(2k)=4n+1.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.