Maths Olympiad Prep

Library / /421 of 860

Algebra Difficulty 5.2 AIME, harder Find the answer

The sequence a1,a2,a3,a_{1}, a_{2}, a_{3}, \ldots of real numbers satisfies the recurrence an+1=an2an1+2anan1+1a_{n+1}=\frac{a_{n}^{2}-a_{n-1}+2 a_{n}}{a_{n-1}+1}. Given that a1=1a_{1}=1 and a9=7a_{9}=7, find a5a_{5}.

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

Solution

Let bn=an+1b_{n}=a_{n}+1. Then the recurrence becomes bn+11=(bn2bn1)/bn1=bn2/bn11b_{n+1}-1=\left(b_{n}^{2}-b_{n-1}\right) / b_{n-1}=b_{n}^{2} / b_{n-1}-1, so bn+1=bn2/bn1b_{n+1}=b_{n}^{2} / b_{n-1}. It follows that the sequence (bn)\left(b_{n}\right) is a geometric progression, from which b52=b1b9=28=16b5=±4b_{5}^{2}=b_{1} b_{9}=2 \cdot 8=16 \Rightarrow b_{5}= \pm 4. However, since all bnb_{n} are real, they either alternate in sign or all have the same sign (depending on the sign of the progression's common ratio); either way, b5b_{5} has the same sign as b1b_{1}, so b5=4a5=3b_{5}=4 \Rightarrow a_{5}=3.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.