Maths Olympiad Prep

Library / HMMT February /535 of 1302

HMMT February

Number theory Difficulty 5.2 AIME, harder Find the answer

We call a positive integer tt good if there is a sequence a0,a1,…a_{0}, a_{1}, \ldots of positive integers satisfying a0=15,a1=ta_{0}=15, a_{1}=t, and an−1an+1=(an−1)(an+1)a_{n-1} a_{n+1}=\left(a_{n}-1\right)\left(a_{n}+1\right) for all positive integers nn. Find the sum of all good numbers.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

By the condition of the problem statement, we have an2−an−1an+1=1=an−12−an−2ana_{n}^{2}-a_{n-1} a_{n+1}=1=a_{n-1}^{2}-a_{n-2} a_{n}. This is equivalent to an−2+anan−1=an−1+an+1an\frac{a_{n-2}+a_{n}}{a_{n-1}}=\frac{a_{n-1}+a_{n+1}}{a_{n}}. Let k=a0+a2a1k=\frac{a_{0}+a_{2}}{a_{1}}. Then we have an−1+an+1an=an−2+anan−1=an−3+an−1an−2=⋯=a0+a2a1=k\frac{a_{n-1}+a_{n+1}}{a_{n}}=\frac{a_{n-2}+a_{n}}{a_{n-1}}=\frac{a_{n-3}+a_{n-1}}{a_{n-2}}=\cdots=\frac{a_{0}+a_{2}}{a_{1}}=k. Therefore we have an+1=kan−an−1a_{n+1}=k a_{n}-a_{n-1} for all n≥1n \geq 1. We know that kk is a positive rational number because a0,a1a_{0}, a_{1}, and a2a_{2} are all positive integers. We claim that kk must be an integer. Suppose that k=pqk=\frac{p}{q} with gcd⁡(p,q)=1\operatorname{gcd}(p, q)=1. Since kan=an−1+an+1k a_{n}=a_{n-1}+a_{n+1} is always an integer for n≥1n \geq 1, we must have q∣anq \mid a_{n} for all n≥1n \geq 1. This contradicts a22−a1a3=1a_{2}^{2}-a_{1} a_{3}=1. Conversely, if kk is an integer, inductively all aia_{i} are integers. Now we compute a2=t2−115a_{2}=\frac{t^{2}-1}{15}, so k=t2+22415tk=\frac{t^{2}+224}{15 t} is an integer. Therefore 15k−t=224t15 k-t=\frac{224}{t} is an integer. Combining with the condition that a2a_{2} is an integer limits the possible values of tt to 1,4,14,16,561,4,14,16,56, 224. The values t<15t<15 all lead to an=0a_{n}=0 for some nn whereas t>15t>15 leads to a good sequence. The sum of the solutions is 16+56+224=29616+56+224=296.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.