Maths Olympiad Prep

Library / /381 of 520

Algebra Difficulty 5.6 AIME, harder Prove it

罒 (Full marks 20 points) Let the function f(x)f(x) have the domain R\mathbf{R}. For any x1,x2R,x1x2x_{1}, x_{2} \in \mathbf{R}, x_{1} \neq x_{2}, it holds that f(x1)f(x2)<x1x2\left|f\left(x_{1}\right)-f\left(x_{2}\right)\right| < \left|x_{1}-x_{2}\right|. Given that there exists a real number α\alpha such that f(α)=αf(\alpha)=\alpha. If the sequence {an}\left\{a_{n}\right\} satisfies: a1<α,f(an)=2an+1ana_{1}<\alpha, f\left(a_{n}\right)=2 a_{n+1}-a_{n}, prove that when nNn \in \mathrm{N}, we have
(i) an<αa_{n}<\alpha;
(ii) the sequence {an}\left\{a_{n}\right\} is an increasing sequence.

Solution

\begin{array}{l} \text{(i) When } n=1, \because a_{1}a_{k} . \end{array}\right. \end{array}

From (1) we get 2ak+1ak+akan2 a_{k+1}-a_{k}+a_{k}a_{n}, then 2an+1an>an2 a_{n+1}-a_{n}>a_{n}. Therefore, an+1>ana_{n+1}>a_{n}, which means the sequence {an}\left\{a_{n}\right\} is an increasing sequence.

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.