Maths Olympiad Prep

Library / /429 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

10. (SWE 4) IMO3{ }^{\mathrm{IMO} 3} Let 1=a0a1a2an1=a_{0} \leq a_{1} \leq a_{2} \leq \cdots \leq a_{n} \leq \cdots be a sequence of real numbers. Consider the sequence b1,b2,b_{1}, b_{2}, \ldots defined by: bn=k=1n(1ak1ak)1ak b_{n}=\sum_{k=1}^{n}\left(1-\frac{a_{k-1}}{a_{k}}\right) \frac{1}{\sqrt{a_{k}}} Prove that: (a) For all natural numbers n,0bn<2n, 0 \leq b_{n} < 2. (b) For any b<2b < 2, the inequality bn<bb_{n} < b is true for infinitely many natural numbers nn.

Solution

10. (a) Since an11a_{n-1}1, and let ak=qk,k=1,2,a_{k}=q^{k}, k=1,2, \ldots. Then (1ak1/ak)/ak=(11/q)/qk/2\left(1-a_{k-1} / a_{k}\right) / \sqrt{a_{k}}=(1-1 / q) / q^{k / 2}, and consequently
bn=(11q)k=1n1qk/2=q+1q(11qn/2). b_{n}=\left(1-\frac{1}{q}\right) \sum_{k=1}^{n} \frac{1}{q^{k / 2}}=\frac{\sqrt{q}+1}{q}\left(1-\frac{1}{q^{n / 2}}\right) .
Since (q+1)/q(\sqrt{q}+1) / q can be arbitrarily close to 2, one can set qq such that (q+1)/q>b(\sqrt{q}+1) / q>b. Then bnbb_{n} \geq b for all sufficiently large nn. Second solution. (a) Note that
bn=k=1n(1ak1ak)1ak=k=1n(akak1)1ak3/2 b_{n}=\sum_{k=1}^{n}\left(1-\frac{a_{k-1}}{a_{k}}\right) \frac{1}{\sqrt{a_{k}}}=\sum_{k=1}^{n}\left(a_{k}-a_{k-1}\right) \cdot \frac{1}{a_{k}^{3 / 2}}
hence bnb_{n} represents exactly the lower Darboux sum for the function f(x)=x3/2f(x)=x^{-3 / 2} on the interval [a0,an]\left[a_{0}, a_{n}\right]. Then bna0anx3/2dx1b_{n} \leq \int_{a_{0}}^{a_{n}} x^{-3 / 2} d x1 such that 1αx3/2dx>\int_{1}^{\alpha} x^{-3 / 2} d x> b+(2b)/2b+(2-b) / 2. Now, by Darboux's theorem, there exists an array 1=1= a0a1an=αa_{0} \leq a_{1} \leq \cdots \leq a_{n}=\alpha such that the corresponding Darboux sums are arbitrarily close to the value of the integral. In particular, there is an array a0,,ana_{0}, \ldots, a_{n} with bn>bb_{n}>b.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.