Maths Olympiad Prep

Library / /5 of 19

Algebra Difficulty 5.4 AIME, harder Prove it New Zealand

Problem:
Consider the sequence a1,a2,a3,a_{1}, a_{2}, a_{3}, \ldots defined by a1=20242024a_{1} = 2024^{2024} and for each positive integer nn,
an+1=an2. a_{n + 1} = \left|a_{n} - \sqrt{2}\right|.
Prove that there exists an integer kk such that ak+2=aka_{k + 2} = a_{k}.
Here x|x| denotes the absolute value of xx.

Solution

Solution:
As long as an2a_{n} \geqslant \sqrt{2} we have an+1=an2a_{n + 1} = a_{n} - \sqrt{2} and so the sequence begins with an arithmetic progression with common difference d=2d = - \sqrt{2}. Let kk be the first index such that ak<2a_{k} < \sqrt{2}. So ak12a_{k - 1} \geqslant \sqrt{2}. Therefore
ak=ak1222=0. a_{k} = a_{k - 1} - \sqrt{2} \geqslant \sqrt{2} - \sqrt{2} = 0.
Thus we have 0ak<20 \leq a_{k} < \sqrt{2}. From this we can calculate ak2<0a_{k} - \sqrt{2} < 0 and so ak2=2ak\left|a_{k} - \sqrt{2}\right| = \sqrt{2} - a_{k}.
ak+1=(2ak) \Longrightarrow a_{k + 1} = \left(\sqrt{2} -a_{k}\right)
Since ak+1=(2ak)(20)=2a_{k + 1} = \left(\sqrt{2} - a_{k}\right) \leqslant \left(\sqrt{2} - 0\right) = \sqrt{2}, this means that (ak+12)\left(a_{k + 1} - \sqrt{2}\right) is negative and thus
ak+2=ak+12=(2ak+1)=(2(2ak))=ak. a_{k + 2} = \left|a_{k + 1} - \sqrt{2}\right| = \left(\sqrt{2} -a_{k + 1}\right) = \left(\sqrt{2} -\left(\sqrt{2} -a_{k}\right)\right) = a_{k}.
as required.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.