Let a1,a2,…,a1000 be a sequence of integers such that a1=3, a2=7 and for all n=2,3,…,999 an+1−an=4(a1+a2)(a2+a3)⋯(an−1+an). Find the number of indices 1≤n≤1000 for which an+2018 is a perfect square.
Solution
For n≥2, we have an−an−1an+1−an=4(a1+a2)(a2+a3)⋯(an−2+an−1)4(a1+a2)(a2+a3)⋯(an−1+an)=an−1+an and hence an+1=an2+an−an−12. a2=a12−2 and by induction assuming an=an−12−2 we can show that an+1=an2−2.
We get a2=7=452−2018, a3=a22−2=47, a4=472−2=2207=652−2018 and hence an+2018 is a perfect square for n=2,4. Let us show that an+2018 is not a perfect square for n>4. Let ak+2018=c2 for some k>4, c∈Z+. Then c2−ak−12=2016. Since c>ak−1, we get 2016=c2−ak−12≥(ak−1+1)2−ak−12=2ak−1+1 and hence ak−1<1008. However, the sequence is increasing and for k>4 we have ak−1≥a4=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.