1970 IMO Problems/Problem 3

Problem

The real numbers $a_0, a_1, \ldots, a_n, \ldots$ satisfy the condition:

$1 = a_{0} \leq a_{1} \leq \cdots \leq a_{n} \leq \cdots$ .

The numbers $b_{1}, b_{2}, \ldots, b_n, \ldots$ are defined by

$b_n = \sum_{k=1}^{n} \frac{1 - \frac{a_{k-1}}{a_{k}} }{\sqrt{a_k}}$

(a) Prove that $0 \leq b_n < 2$ for all $n$ .

(b) given $c$ with $0 \leq c < 2$ , prove that there exist numbers $a_0, a_1, \ldots$ with the above properties such that $b_n > c$ for large enough $n$ .

Solution

$b_n = \sum_{k=1}^{n} \frac{1 - \frac{a_{k-1}}{a_{k}} }{\sqrt{a_k}} = \sum_{k=1}^{n} \frac{a_k - a_{k-1}}{a_k\sqrt{a_k}} = \sum_{k=1}^{n} (a_k - a_{k-1})\left(a_k^{-\dfrac{3}{2}}\right)$

Let $X_k$ be the rectangle with the verticies: $(a_{k-1},0)$ ; $(a_{k},0)$ ; $(a_{k},a_k^{-\dfrac{3}{2}})$ ; $(a_{k-1},a_k^{-\dfrac{3}{2}})$ .

$[asy] import graph; size(10cm,10cm,IgnoreAspect); Label f; f.p=fontsize(6); xaxis(0,10); yaxis(0,1); real f(real x) { return x^(-3/2); } draw(graph(f,1,10)); draw((1,0)--(1,1)); draw((1,0)--(2,0)--(2,2^(-3/2))--(1,2^(-3/2))--cycle); draw((2,0)--(3,0)--(3,3^(-3/2))--(2,3^(-3/2))--cycle); draw((3,0)--(4,0)--(4,4^(-3/2))--(3,4^(-3/2))--cycle); draw((6,0)--(7,0)--(7,7^(-3/2))--(6,7^(-3/2))--cycle); draw((7,0)--(8,0)--(8,8^(-3/2))--(7,8^(-3/2))--cycle); label("$X_1$",(1.5,0),0.5*N); label("$X_2$",(2.5,0),0.5*N); label("$X_3$",(3.5,0),0.5*N); label("$\cdots$",(5,0),N); label("$X_{n-1}$",(6.5,0),0.5*N); label("$X_n$",(7.5,0),0.5*N); label("$a_0$",(1,0),0.5*S); label("$a_1$",(2,0),0.5*S); label("$a_2$",(3,0),0.5*S); label("$a_3$",(4,0),0.5*S); label("$a_{n-2}$",(6,0),0.5*S); label("$a_{n-1}$",(7,0),0.5*S); label("$a_n$",(8,0),0.5*S); [/asy]$

For all $k \in \mathbb{N}$ , the area of $X_k$ is $(a_k - a_{k-1})\left(a_k^{-\dfrac{3}{2}}\right)$ . Therefore, $b_n = \sum_{k=1}^{n} [X_k]$

For all sequences $\{ a_k \}$ and all $k \in \mathbb{N}$ , $X_k$ lies above the $x$ -axis, below the curve $f(x) = x^{-\dfrac{3}{2}}$ , and in between the lines $x = 1$ and $x = a_n$ , Also, all such rectangles are disjoint.

Thus, $b_n = \sum_{k=1}^{n} [X_k] < \int_{1}^{a_n} x^{-\dfrac{3}{2}} \,dx = \left[-\dfrac{2}{\sqrt{x}}\right]_{1}^{a_n} = 2 - \dfrac{2}{\sqrt{a_n}} < 2$ as desired.

By choosing $a_k = 1 + k (\Delta x)$ , where $\Delta x > 0$ , $b_n$ is a Riemann sum for $\int_{1}^{a_n} x^{-\dfrac{3}{2}} \,dx$ . Thus, $\lim_{\Delta x \to 0^+} b_n = \int_{1}^{a_n} x^{-\dfrac{3}{2}} \,dx$ .

Therefore, $\lim_{n \to \infty} \left[ \lim_{\Delta x \to 0^+} b_n \right] = \lim_{n \to \infty} \int_{1}^{a_n} x^{-\dfrac{3}{2}} \,dx$ $= \lim_{n \to \infty} 2 - \dfrac{2}{\sqrt{a_n}} = \lim_{n \to \infty} 2 - \dfrac{2}{\sqrt{1+n(\Delta x)}} = 2$ .

So for any $c \in [0,2)$ , we can always select a small enough $\Delta x > 0$ to form a sequence $\{ a_n \}$ satisfying the above properties such that $b_n > c$ for large enough $n$ as desired.

1970 IMO (Problems) • Resources
Preceded by Problem 2	1 • 2 • 3 • 4 • 5 • 6	Followed by Problem 4
All IMO Problems and Solutions

Page

Toolbox

Search

1970 IMO Problems/Problem 3

Problem

Solution

See also