Maths Olympiad Prep

Library / /2 of 7

, 2015

Algebra Difficulty 5.4 AIME, harder Prove it Romania

Let nn be a positive integer and let a1,,ana_1, \dots, a_n be nn positive integers. Show that
k=1nak1+a1++ak<k=1n21k. \sum_{k=1}^{n} \frac{\sqrt{a_k}}{1 + a_1 + \dots + a_k} < \sum_{k=1}^{n^2} \frac{1}{k}.

Solution

Set b0=1b_0 = 1 and bk=1+a1++akb_k = 1 + a_1 + \dots + a_k, k=1,,nk = 1, \dots, n, to obtain a strictly increasing string of positive integers 1=b0<b1<<bn1 = b_0 < b_1 < \dots < b_n, and write the sum in the left-hand member in the form k=1n(bkbk1)1/2/bk\sum_{k=1}^{n} (b_k - b_{k-1})^{1/2}/b_k.

Next, let m=min{k:bk>n2}1m = \min\{k: b_k > n^2\} \ge 1; if there is no bk>n2b_k > n^2, let m=n+1m = n + 1, to split the above sum into
k=1m1bkbk1bk+k=mnbkbk1bk,() \sum_{k=1}^{m-1} \frac{\sqrt{b_k - b_{k-1}}}{b_k} + \sum_{k=m}^{n} \frac{\sqrt{b_k - b_{k-1}}}{b_k}, \quad (*)
where empty sums are zero. We show that the first sum does not exceed k=2n21/k\sum_{k=2}^{n^2} 1/k, and the second is always less than 1.

If k=1,,m1k = 1, \dots, m-1, write (bkbk1)1/2/bk(bkbk1)/bk=1/bk++1/bkj=bk1+1bk1/j(b_k - b_{k-1})^{1/2}/b_k \le (b_k - b_{k-1})/b_k = 1/b_k + \dots + 1/b_k \le \sum_{j=b_{k-1}+1}^{b_k} 1/j, to deduce that the first sum in ()(*) does not exceed k=1m1j=bk1+1bk1/j=k=2bm11/kk=2n21/k\sum_{k=1}^{m-1} \sum_{j=b_{k-1}+1}^{b_k} 1/j = \sum_{k=2}^{b_{m-1}} 1/k \le \sum_{k=2}^{n^2} 1/k.

Finally, if k=m,,nk = m, \dots, n, write (bkbk1)1/2/bk<bk1/2<1/n(b_k - b_{k-1})^{1/2}/b_k < b_k^{-1/2} < 1/n, to deduce that the second sum in ()(*), when non-empty, is less than (nm+1)/n1(n - m + 1)/n \le 1. The conclusion follows.

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 and solution reproduced as published; topic and difficulty added by this site.