Maths Olympiad Prep

Library / /4 of 15

Algebra Difficulty 5.1 AIME, harder Prove it Romania

Let nn be a positive integer and let a1,a2,,ana_1, a_2, \ldots, a_n be real numbers with a1+a2++akka_1 + a_2 + \ldots + a_k \le k for all k{1,2,,n}k \in \{1, 2, \ldots, n\}. Show that
a11+a22++ann11+12++1n. \frac{a_1}{1} + \frac{a_2}{2} + \ldots + \frac{a_n}{n} \le \frac{1}{1} + \frac{1}{2} + \ldots + \frac{1}{n}.

Solutions — 2

Solution 1

We induct on nn. The case n=1n=1 is trivial. Suppose the claim holds for nn numbers. If an+11a_{n+1} \le 1 then an+1n+11n+1\frac{a_{n+1}}{n+1} \le \frac{1}{n+1} and the conclusion follows. If an+1>1a_{n+1} > 1, then a11++ann+an+1n+1a11++an+an+11n+1n+1\frac{a_1}{1} + \dots + \frac{a_n}{n} + \frac{a_{n+1}}{n+1} \le \frac{a_1}{1} + \dots + \frac{a_n + a_{n+1} - 1}{n} + \frac{1}{n+1}. Now apply the induction hypothesis to the following nn numbers a1,,an1,an+an+11a_1, \dots, a_{n-1}, a_n + a_{n+1} - 1 to get the claim.

Solution 2

Let Sk=a1+a2++akS_k = a_1 + a_2 + \dots + a_k, S0=0S_0 = 0 and notice that SkSk1=akS_k - S_{k-1} = a_k for all k=1,2,,nk = 1, 2, \dots, n. Then k=1nakk=k=1nSkSk1k=k=1nSkk(k+1)12++1n\sum_{k=1}^n \frac{a_k}{k} = \sum_{k=1}^n \frac{S_k - S_{k-1}}{k} = \sum_{k=1}^n \frac{S_k}{k(k+1)} \le \frac{1}{2} + \dots + \frac{1}{n}, as claimed.

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.