Maths Olympiad Prep

Library / /52 of 53

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 (8x27x1)x17=8(8x_2 - 7x_1)x_1^7 = 8 and
xk+1xk1xk2=xk18xk8(xkxk1)7,k2. 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+1xk1xk2=xk18xk8(xkxk1)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+1xkxkxk1=1xk81xk18, \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+1xk1xk8=xkxk11xk18==x2x11x18=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+xk7x_{k+1} = \frac{7}{8}x_k + x_k^{-7}, and when x1>0,xk>0,k2x_1 > 0, x_k > 0, k \ge 2.
By xk+1xk=xk(xk818)x_{k+1} - x_k = x_k(x_k^{-8} - \frac{1}{8}), we see that when xk818<0x_k^{-8} - \frac{1}{8} < 0, i.e. xk>81/8x_k > 8^{1/8}, one has xk+1xk<0x_{k+1} - x_k < 0, i.e. xk+1<xkx_{k+1} < x_k, k1k \ge 1.
And xk+1=78xk+xk781878=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,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.