Maths Olympiad Prep

Library / /4 of 9

, 2018

Algebra Difficulty 8.1 Shortlist Prove it Saudi Arabia

1. For integer n3n \geq 3, suppose that 0<a1<a2<<an0 < a_{1} < a_{2} < \ldots < a_{n} is an arithmetic sequence and 0<b1<b2<<bn0 < b_{1} < b_{2} < \ldots < b_{n} is a geometric sequence with a1=b1a_{1} = b_{1}, an=bna_{n} = b_{n}. Prove that ak>bka_{k} > b_{k} for all k=2,3,,n1k = 2, 3, \ldots, n-1.

2. Prove that for every positive integer n3n \geq 3, there exist an integer arithmetic sequence (ana_{n}) and an integer geometric sequence (bnb_{n}) such that
0<b1<a1<b2<a2<<bn<an 0 < b_{1} < a_{1} < b_{2} < a_{2} < \cdots < b_{n} < a_{n}

Solution

1) Put a1=b1=xa_{1} = b_{1} = x and an=bn=ya_{n} = b_{n} = y, then 0<x<y0 < x < y. Denote dd as the difference and the ratio of two consecutive terms of (an)(a_{n}), (bn)(b_{n}) respectively.
We have an=a1+(n1)da_{n} = a_{1} + (n-1)d and ak=a1+(k1)da_{k} = a_{1} + (k-1)d for any k{2,3,,n1}k \in \{2, 3, \ldots, n-1\}. Hence,
ak=(nk)a1+(k1)ann1=(nk)x+(k1)yn1. a_{k} = \frac{(n-k)a_{1} + (k-1)a_{n}}{n-1} = \frac{(n-k)x + (k-1)y}{n-1}.
Similarly, bk=xnkyk1n1b_{k} = \sqrt[n-1]{x^{n-k} y^{k-1}} so we need to prove that
(nk)x+(k1)yn1>xnkyk1n1, \frac{(n-k)x + (k-1)y}{n-1} > \sqrt[n-1]{x^{n-k} y^{k-1}},
which is true by AM-GM inequality.

2) With 2km2^{k} \leq m, consider some estimations as follow
(1+1m)k=1+(k1)m+(k2)m2+1+km \left(1 + \frac{1}{m}\right)^{k} = 1 + \frac{\binom{k}{1}}{m} + \frac{\binom{k}{2}}{m^{2}} + \cdots \geq 1 + \frac{k}{m}
and
(1+1m)k=1+(k1)m+(k2)m2+1+(k1)m+(k2)++(kk)m<1+km+2km21+k+1m \begin{aligned} \left(1 + \frac{1}{m}\right)^{k} & = 1 + \frac{\binom{k}{1}}{m} + \frac{\binom{k}{2}}{m^{2}} + \cdots \leq 1 + \frac{\binom{k}{1}}{m} + \frac{\binom{k}{2} + \cdots + \binom{k}{k}}{m} \\ & < 1 + \frac{k}{m} + \frac{2^{k}}{m^{2}} \leq 1 + \frac{k+1}{m} \end{aligned}
then 1+km<(1+1m)k<1+k+1m1 + \frac{k}{m} < \left(1 + \frac{1}{m}\right)^{k} < 1 + \frac{k+1}{m} or m+k<m(1+1m)k<m+k+1m + k < m\left(1 + \frac{1}{m}\right)^{k} < m + k + 1. This is true for all klog2mk \leq \log_{2} m so
m(1+1m)<m+2<m(1+1m)2<m+3<<m+k+1. m\left(1 + \frac{1}{m}\right) < m + 2 < m\left(1 + \frac{1}{m}\right)^{2} < m + 3 < \cdots < m + k + 1.
To make all these numbers are integers, we multiply them by m[log2m]m^{[\log_{2} m]}. Finally, take log2m>n\log_{2} m > n, the result will follow. \square

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.