Maths Olympiad Prep

Library / /10 of 16

, 2006

Algebra Difficulty 6.5 National olympiad Prove it Czech-Polish-Slovak Mathematical Match

Find out the number of sequences (an)n=1(a_n)_{n=1}^{\infty} of integer numbers, which satisfy
an1andan+2=an+2006an+1+1 a_n \neq -1 \quad \text{and} \quad a_{n+2} = \frac{a_n + 2006}{a_{n+1} + 1}
for every positive integer nn.

Solution

Every sequence satisfying given conditions is determined by first two terms. Thus we are looking for integer pairs (a1,a2)(a_1, a_2), for which all the other terms are integers. Writing out the formula for several small values of nn and multiplying it we obtain
a3(a2+1)=a1+2006,a4(a3+1)=a2+2006,a5(a4+1)=a3+2006, \begin{align*} a_3(a_2 + 1) &= a_1 + 2006, \\ a_4(a_3 + 1) &= a_2 + 2006, \\ a_5(a_4 + 1) &= a_3 + 2006, \end{align*}
Subtracting adjacent equalities (to remove number 2006) and rearranging gives
a3a1=(a3+1)(a4a2),a4a2=(a4+1)(a5a3),a5a3=(a5+1)(a6a4),(1) \begin{align*} a_3 - a_1 &= (a_3 + 1)(a_4 - a_2), \\ a_4 - a_2 &= (a_4 + 1)(a_5 - a_3), \\ a_5 - a_3 &= (a_5 + 1)(a_6 - a_4), \end{align*} \tag{1}

All the terms (an+1)(a_n + 1) are nonzero by definition. Hence two possibilities can happen. If a3a1=0a_3 - a_1 = 0, by substituting into previous we get (step by step) a4a2=0a_4 - a_2 = 0, a5a3=0a_5 - a_3 = 0, ..., i.e.
a1=a3=a5=anda2=a4=a6=(2) a_1 = a_3 = a_5 = \dots \quad \text{and} \quad a_2 = a_4 = a_6 = \dots \qquad (2)
On the other side, if a3a10a_3 - a_1 \neq 0, by the same substituting we obtain a4a20a_4 - a_2 \neq 0, a5a30a_5 - a_3 \neq 0, ... First have a look at the second case. By (1) we have
0<an+3an+1=an+2an1an+2+1an+2an(3) 0 < |a_{n+3} - a_{n+1}| = |a_{n+2} - a_n| \cdot \frac{1}{|a_{n+2} + 1|} \le |a_{n+2} - a_n| \qquad (3)
for all n1n \ge 1. Thus we have non-increasing sequence of positive integers
a3a1a4a2a5a3 |a_3 - a_1| \ge |a_4 - a_2| \ge |a_5 - a_3| \ge \dots
Obviously this sequence is constant after some term (otherwise we could select infinite decreasing subsequence of positive integers, which is anyway impossible). Thus there is some index NN and value dd with an+2an=d|a_{n+2} - a_n| = d for all nNn \ge N. By (3) then an+2+1=1|a_{n+2} + 1| = 1, i.e. for nN+2n \ge N+2 we have an{0,2}a_n \in \{0, -2\}. But by definition
aN+4=aN+2+2006aN+3+1, a_{N+4} = \frac{a_{N+2} + 2006}{a_{N+3} + 1},
hence aN+4a_{N+4} is one of the values
0+20060+1=2006,0+20062+1=2006,2+20060+1=2004,2+20062+1=2004. \frac{0+2006}{0+1} = 2006, \quad \frac{0+2006}{-2+1} = -2006, \quad \frac{-2+2006}{0+1} = 2004, \quad \frac{-2+2006}{-2+1} = -2004.
This is in contrary with aN+4{0,2}a_{N+4} \in \{0, -2\}. In this case there is no sequence satisfying given conditions. Therefore every such sequence satisfies (2). Substituting n=1n=1 and a3=a1a_3 = a_1 in definition we get
a1=a1+2006a2+1ora1a2=2006=21759. a_1 = \frac{a_1 + 2006}{a_2 + 1} \quad \text{or} \quad a_1 a_2 = 2006 = 2 \cdot 17 \cdot 59.
Considering a1,a21a_1, a_2 \neq -1 we obtain
a1{1,±2,±17,±34,±59,±118,±1003,2006}anda2=2006a1. a_1 \in \{1, \pm 2, \pm 17, \pm 34, \pm 59, \pm 118, \pm 1003, 2006\} \quad \text{and} \quad a_2 = \frac{2006}{a_1}.
It can be easily verified every such sequence a1,a2,a3,a4,a5,a_1, a_2, a_3, a_4, a_5, \dots satisfies given condition. The number of sequences is 14.

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.