Maths Olympiad Prep

Library / /293 of 520

Number theory Difficulty 5.6 AIME, harder Find the answer

Four. (20 points) In the sequence {an}\left\{a_{n}\right\}, a1,a2a_{1}, a_{2} are given non-zero integers, an+2=an+1ana_{n+2}=\left|a_{n+1}-a_{n}\right|.
(1) If a16=4,a17=1a_{16}=4, a_{17}=1, find a2018a_{2018};
(2) Prove: From {an}\left\{a_{n}\right\}, it is always possible to select infinitely many terms to form two different constant subsequences.

A number or a short expression. Spacing and $ signs are ignored.

Solution

(1) It is easy to see,
a16=4,a17=1,a18=3,a19=2,a20=1,a21=1,a22=0,a23=1,a24=1,a25=0, \begin{array}{l} a_{16}=4, a_{17}=1, a_{18}=3, a_{19}=2, a_{20}=1, \\ a_{21}=1, a_{22}=0, a_{23}=1, a_{24}=1, a_{25}=0, \\ \cdots \cdots \end{array}

Notice that, starting from the 20th term, every three consecutive terms periodically take the values 1,1,01, 1, 0.
 Also, 2018=19+666×3+1, so a2018=1. \begin{array}{l} \text { Also, } 2018=19+666 \times 3+1 \text {, so } \\ a_{2018}=1 . \end{array}
(2) First, we prove: the sequence {an}\left\{a_{n}\right\} must have a "0" term after a finite number of terms.
Assume {an}\left\{a_{n}\right\} does not have a "0" term.
Since an+2=an+1ana_{n+2}=\left|a_{n+1}-a_{n}\right|, then for n3n \geqslant 3, we have an1a_{n} \geqslant 1.
If an+1>ana_{n+1}>a_{n}, then
an+2=an+1anan+11(n3) a_{n+2}=a_{n+1}-a_{n} \leqslant a_{n+1}-1(n \geqslant 3) \text {; }

If $a_{n+1}a_{2 n+2} \\
a_{2 n+2}, & a_{2 n+1}0$ leads to a contradiction.
Therefore, {an}\left\{a_{n}\right\} must have a "0" term.
If the first "0" term is ana_{n}, let an1=a_{n-1}= M(M0)M(M \neq 0), then starting from the nn-th term, every three consecutive terms periodically take the values 0,M,M0, M, M, i.e.,
an+3k=0,an+3k+1=M,an+3k+2=M, a_{n+3 k}=0, a_{n+3 k+1}=M, a_{n+3 k+2}=M,

where k=0,1,k=0,1, \cdots.
Thus, the sequence {an}\left\{a_{n}\right\} can select infinitely many terms to form two different constant subsequences.

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.