Maths Olympiad Prep

Library / /34 of 34

Combinatorics Difficulty 7.5 National Olympiad, round 2 Prove it Mongolia

Let n2n \ge 2 be a positive integer. A positive real number is written in each unit square of a 2×n2 \times n grid, so that the sum of the two numbers in each column is 11. Suppose that, regardless of the numbers written, we could always delete one number from each column so that the sum of the remaining numbers in each row is at most aa. What is the smallest possible value of aa?
(Battsengel B.)

Solution

The minimum value of aa is
c=[(n+1)24]n+1={k+12,n=2k+1k(k+1)2k+1,n=2k. c = \frac{\left[ \frac{(n+1)^2}{4} \right]}{n+1} = \begin{cases} \frac{k+1}{2}, & n = 2k+1 \\ \frac{k(k+1)}{2k+1}, & n = 2k. \end{cases}

We observe that if the 2×n2 \times n grid is given as below, the value of aa is not less than cc.

n=2k:n = 2k:

k2k+1\frac{k}{2k+1}k2k+1\frac{k}{2k+1}\dotsk2k+1\frac{k}{2k+1}
k+12k+1\frac{k+1}{2k+1}k+12k+1\frac{k+1}{2k+1}\dotsk+12k+1\frac{k+1}{2k+1}

n=2k+1:n = 2k + 1:
12\frac{1}{2}12\frac{1}{2}\dots12\frac{1}{2}
12\frac{1}{2}12\frac{1}{2}\dots12\frac{1}{2}

Let us show that regardless of the numbers written in the 2×n2 \times n grid, we can delete one number from each column, totally nn numbers, so that the sum of the remaining numbers in each row is at most cc. Let a1a2ana_1 \le a_2 \le \dots \le a_n be the numbers in the first row with sum AA and let b1b2bnb_1 \le b_2 \le \dots \le b_n be the numbers in the second row with sum BB.

Lemma. If a1++as+1>ca_1 + \dots + a_{s+1} > c and b1++bt+1>cb_1 + \dots + b_{t+1} > c, then s+tns + t \ge n.

Proof. From the first condition we get that
a1++as+1s+1>cs+1. \frac{a_1 + \dots + a_{s+1}}{s+1} > \frac{c}{s+1}.
Since
a1++anna1++as+1s+1, \frac{a_1 + \dots + a_n}{n} \ge \frac{a_1 + \dots + a_{s+1}}{s+1},
it follows that An>cs+1\frac{A}{n} > \frac{c}{s+1}. Similarly, Bn>ct+1\frac{B}{n} > \frac{c}{t+1}. Since A+B=nA+B=n, we get that
1c>1s+1+1t+1.(1) \frac{1}{c} > \frac{1}{s+1} + \frac{1}{t+1}. \qquad (1)

Case: n=2k+1n = 2k + 1. Suppose that s+t2ks + t \le 2k. Then s+1+t+12k+2s + 1 + t + 1 \le 2k + 2 and
21s+1+1t+1s+1+t+122k+22. \frac{2}{\frac{1}{s+1} + \frac{1}{t+1}} \le \frac{s+1+t+1}{2} \le \frac{2k+2}{2}.
Hence 1s+1+1t+12k+1=1c\frac{1}{s+1} + \frac{1}{t+1} \ge \frac{2}{k+1} = \frac{1}{c}, which contradicts (1).

Case: n=2kn = 2k. Suppose that s+t2k1s + t \le 2k - 1. Thus s+1+t+12k+1s + 1 + t + 1 \le 2k + 1. Similarly to the previous case we get that
1s+1+1t+11k+1+1k=2k+1(k+1)k=1c, \frac{1}{s+1} + \frac{1}{t+1} \ge \frac{1}{k+1} + \frac{1}{k} = \frac{2k+1}{(k+1)k} = \frac{1}{c},
which contradicts (1).

Let s0s_0 be the minimum ss satisfying a1++as+1>ca_1 + \cdots + a_{s+1} > c and let t0t_0 be the minimum tt satisfying b1++bt+1>cb_1 + \cdots + b_{t+1} > c. Then by the lemma s0+t0ns_0 + t_0 \ge n. Because of the choice of s0s_0 and t0t_0, it follows that a1++as0ca_1 + \cdots + a_{s_0} \le c and b1++bt0cb_1 + \cdots + b_{t_0} \le c. This shows that we can delete ns0n-s_0 numbers from the first row and nt0n-t_0 numbers from the second row so that the sum of the remaining numbers in each row is at most cc. This completes the proof.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.