Maths Olympiad Prep

Library / China Girls' Mathematical Olympiad /50 of 51

China Girls' Mathematical Olympiad

Algebra Difficulty 7.5 National Olympiad, round 2 Prove it China

Suppose that the sequence of positive numbers x1,x2,…,xn,…x_1, x_2, \ldots, x_n, \ldots satisfies (8x2−7x1)x17=8(8x_2 - 7x_1)x_1^7 = 8 and
xk+1xk−1−xk2=xk−18−xk8(xkxk−1)7,k≥2. x_{k+1}x_{k-1} - x_k^2 = \frac{x_{k-1}^8 - x_k^8}{(x_kx_{k-1})^7}, \quad k \ge 2.
Find positive real number aa such that when x1>ax_1 > a one has x1>x2>⋯>xn>⋯x_1 > x_2 > \cdots > x_n > \cdots, and when 0<x1<a0 < x_1 < a one does not have such monotonicity. (Posed by Li Shenghong)

Solution

By xk+1xk−1−xk2=xk−18−xk8(xkxk−1)7x_{k+1}x_{k-1} - x_k^2 = \frac{x_{k-1}^8 - x_k^8}{(x_kx_{k-1})^7}, we have
xk+1xk−xkxk−1=1xk8−1xk−18, \frac{x_{k+1}}{x_k} - \frac{x_k}{x_{k-1}} = \frac{1}{x_k^8} - \frac{1}{x_{k-1}^8},
i.e.
xk+1xk−1xk8=xkxk−1−1xk−18=⋯=x2x1−1x18=78. \frac{x_{k+1}}{x_k} - \frac{1}{x_k^8} = \frac{x_k}{x_{k-1}} - \frac{1}{x_{k-1}^8} = \cdots = \frac{x_2}{x_1} - \frac{1}{x_1^8} = \frac{7}{8}.
Hence, xk+1=78xk+xk−7x_{k+1} = \frac{7}{8}x_k + x_k^{-7}, and when x1>0,xk>0,k≥2x_1 > 0, x_k > 0, k \ge 2.
By xk+1−xk=xk(xk−8−18)x_{k+1} - x_k = x_k(x_k^{-8} - \frac{1}{8}), we see that when xk−8−18<0x_k^{-8} - \frac{1}{8} < 0, i.e. xk>81/8x_k > 8^{1/8}, one has xk+1−xk<0x_{k+1} - x_k < 0, i.e. xk+1<xkx_{k+1} < x_k, k≥1k \ge 1.
And xk+1=78xk+xk−7≥81878=81/8x_{k+1} = \frac{7}{8}x_k + x_k^{-7} \ge 8\sqrt[8]{\frac{1}{8^7}} = 8^{1/8}, so when xk=81/8x_k = 8^{1/8}, the equality holds. So if we take a=81/8a = 8^{1/8}, as soon as xk>81/8x_k > 8^{1/8} we have
x1>x2>⋯>xn>⋯ . x_1 > x_2 > \cdots > x_n > \cdots.
When x1<81/8x_1 < 8^{1/8}, we have x2>x1x_2 > x_1 and x2>x3>⋯>xn>⋯x_2 > x_3 > \cdots > x_n > \cdots.
So the constant that we are looking for is a=818a=8^{\frac{1}{8}}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.