Maths Olympiad Prep

Library / HMMT February /1050 of 1302

HMMT February

Algebra Difficulty 5.6 AIME, harder Find the answer

The sequences of real numbers {ai}i=1∞\left\{a_{i}\right\}_{i=1}^{\infty} and {bi}i=1∞\left\{b_{i}\right\}_{i=1}^{\infty} satisfy an+1=(an−1−1)(bn+1)a_{n+1}=\left(a_{n-1}-1\right)\left(b_{n}+1\right) and bn+1=anbn−1−1b_{n+1}=a_{n} b_{n-1}-1 for n≥2n \geq 2, with a1=a2=2015a_{1}=a_{2}=2015 and b1=b2=2013b_{1}=b_{2}=2013. Evaluate, with proof, the infinite sum ∑n=1∞bn(1an+1−1an+3)\sum_{n=1}^{\infty} b_{n}\left(\frac{1}{a_{n+1}}-\frac{1}{a_{n+3}}\right).

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

Solution

First note that ana_{n} and bnb_{n} are weakly increasing and tend to infinity. In particular, an,bn∉{0,−1,1}a_{n}, b_{n} \notin\{0,-1,1\} for all nn. For n≥1n \geq 1, we have an+3=(an+1−1)(bn+2+1)=(an+1−1)(an+1bn)a_{n+3}=\left(a_{n+1}-1\right)\left(b_{n+2}+1\right)=\left(a_{n+1}-1\right)\left(a_{n+1} b_{n}\right), so bnan+3=1an+1(an+1−1)=1an+1−1−1an+1\frac{b_{n}}{a_{n+3}}=\frac{1}{a_{n+1}\left(a_{n+1}-1\right)}=\frac{1}{a_{n+1}-1}-\frac{1}{a_{n+1}}. Therefore, ∑n=1∞bnan+1−bnan+3=∑n=1∞bnan+1−(1an+1−1−1an+1)=∑n=1∞bn+1an+1−1an+1−1\sum_{n=1}^{\infty} \frac{b_{n}}{a_{n+1}}-\frac{b_{n}}{a_{n+3}} =\sum_{n=1}^{\infty} \frac{b_{n}}{a_{n+1}}-\left(\frac{1}{a_{n+1}-1}-\frac{1}{a_{n+1}}\right) =\sum_{n=1}^{\infty} \frac{b_{n}+1}{a_{n+1}}-\frac{1}{a_{n+1}-1}. Furthermore, bn+1=an+1an−1−1b_{n}+1=\frac{a_{n+1}}{a_{n-1}-1} for n≥2n \geq 2. So the sum over n≥2n \geq 2 is ∑n=2∞(1an−1−1−1an+1−1)=lim⁡N→∞∑n=2N(1an−1−1−1an+1−1)=1a1−1+1a2−1−lim⁡N→∞(1aN−1+1aN+1−1)=1a1−1+1a2−1\sum_{n=2}^{\infty}\left(\frac{1}{a_{n-1}-1}-\frac{1}{a_{n+1}-1}\right) =\lim _{N \rightarrow \infty} \sum_{n=2}^{N}\left(\frac{1}{a_{n-1}-1}-\frac{1}{a_{n+1}-1}\right) =\frac{1}{a_{1}-1}+\frac{1}{a_{2}-1}-\lim _{N \rightarrow \infty}\left(\frac{1}{a_{N}-1}+\frac{1}{a_{N+1}-1}\right) =\frac{1}{a_{1}-1}+\frac{1}{a_{2}-1}. Hence the final answer is (b1+1a2−1a2−1)+(1a1−1+1a2−1)\left(\frac{b_{1}+1}{a_{2}}-\frac{1}{a_{2}-1}\right)+\left(\frac{1}{a_{1}-1}+\frac{1}{a_{2}-1}\right). Cancelling the common terms and putting in our starting values, this equals 20142015+12014=1−12015+12014=1+12014⋅2015\frac{2014}{2015}+\frac{1}{2014}=1-\frac{1}{2015}+\frac{1}{2014}=1+\frac{1}{2014 \cdot 2015}

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.