Maths Olympiad Prep

Library / Turkey — Team Selection Test /16 of 66

Turkey — Team Selection Test

Algebra Difficulty 7.8 National Olympiad, round 2 Prove it Turkey

Let a1,a2,…,a1000a_1, a_2, \dots, a_{1000} be a sequence of integers such that a1=3a_1 = 3, a2=7a_2 = 7 and for all n=2,3,…,999n = 2, 3, \dots, 999
an+1−an=4(a1+a2)(a2+a3)⋯(an−1+an). a_{n+1} - a_n = 4(a_1 + a_2)(a_2 + a_3) \cdots (a_{n-1} + a_n).
Find the number of indices 1≤n≤10001 \le n \le 1000 for which an+2018a_n + 2018 is a perfect square.

Solution

For n≥2n \ge 2, we have
an+1−anan−an−1=4(a1+a2)(a2+a3)⋯(an−1+an)4(a1+a2)(a2+a3)⋯(an−2+an−1)=an−1+an \frac{a_{n+1} - a_n}{a_n - a_{n-1}} = \frac{4(a_1 + a_2)(a_2 + a_3) \cdots (a_{n-1} + a_n)}{4(a_1 + a_2)(a_2 + a_3) \cdots (a_{n-2} + a_{n-1})} = a_{n-1} + a_n
and hence an+1=an2+an−an−12a_{n+1} = a_n^2 + a_n - a_{n-1}^2. a2=a12−2a_2 = a_1^2 - 2 and by induction assuming an=an−12−2a_n = a_{n-1}^2 - 2 we can show that an+1=an2−2a_{n+1} = a_n^2 - 2.

We get a2=7=452−2018a_2 = 7 = 45^2 - 2018, a3=a22−2=47a_3 = a_2^2 - 2 = 47, a4=472−2=2207=652−2018a_4 = 47^2 - 2 = 2207 = 65^2 - 2018 and hence an+2018a_n+2018 is a perfect square for n=2,4n=2,4. Let us show that an+2018a_n+2018 is not a perfect square for n>4n>4. Let ak+2018=c2a_k+2018 = c^2 for some k>4k > 4, c∈Z+c \in \mathbb{Z}^+. Then c2−ak−12=2016c^2 - a_{k-1}^2 = 2016. Since c>ak−1c > a_{k-1}, we get 2016=c2−ak−12≥(ak−1+1)2−ak−12=2ak−1+12016 = c^2 - a_{k-1}^2 \ge (a_{k-1} + 1)^2 - a_{k-1}^2 = 2a_{k-1} + 1 and hence ak−1<1008a_{k-1} < 1008. However, the sequence is increasing and for k>4k > 4 we have ak−1≥a4=2207>1008a_{k-1} \ge a_4 = 2207 > 1008 which is a contradiction. The answer is 2.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.