Maths Olympiad Prep

Library / /16 of 26

Algebra Difficulty 5.1 AIME, harder Prove it United States

Problem:
Let a0=a1=1a_{0} = a_{1} = 1 and an+1=7anan12a_{n+1} = 7 a_{n} - a_{n-1} - 2 for all positive integers nn. Prove that ana_{n} is a perfect square for all nn.

Solution

Solution:
We claim that an=F2n12a_{n} = F_{2n-1}^{2}, where FnF_{n} is the nnth\text{th} Fibonacci number. For the base case, we compute the first four values:
a1=12=F12,a2=7112=22=F32a3=7412=52=F52,a4=72542=132=F72. \begin{gathered} a_{1} = 1^{2} = F_{1}^{2}, \quad a_{2} = 7 \cdot 1 - 1 - 2 = 2^{2} = F_{3}^{2} \\ a_{3} = 7 \cdot 4 - 1 - 2 = 5^{2} = F_{5}^{2}, \quad a_{4} = 7 \cdot 25 - 4 - 2 = 13^{2} = F_{7}^{2} . \end{gathered}
Now assume the statement holds for all 1kn1 \leq k \leq n for n4n \geq 4. For the inductive step, we subtract an=7an1an22a_{n} = 7 a_{n-1} - a_{n-2} - 2 from an+1=7anan12a_{n+1} = 7 a_{n} - a_{n-1} - 2 to get
an+1=8an8an1+an2=8F2n128F2n32+F2n52. a_{n+1} = 8 a_{n} - 8 a_{n-1} + a_{n-2} = 8 F_{2n-1}^{2} - 8 F_{2n-3}^{2} + F_{2n-5}^{2} .
But we find that for any m2m \geq 2,
Fm2=FmFm1=Fm(Fm+1Fm)=2Fm(Fm+2Fm)=3FmFm+2 \begin{gathered} F_{m-2} = F_{m} - F_{m-1} = F_{m} - \left(F_{m+1} - F_{m}\right) \\ \quad = 2 F_{m} - \left(F_{m+2} - F_{m}\right) = 3 F_{m} - F_{m+2} \end{gathered}
Substituting this in first with m=2n3m = 2n-3 and then m=2n1m = 2n-1 gives
an+1=8F2n328F2n12+(3F2n3F2n1)2=(3F2n1F2n3)2=F2n+12 \begin{aligned} a_{n+1} = & 8 F_{2n-3}^{2} - 8 F_{2n-1}^{2} + \left(3 F_{2n-3} - F_{2n-1}\right)^{2} \\ & = \left(3 F_{2n-1} - F_{2n-3}\right)^{2} = F_{2n+1}^{2} \end{aligned}
which completes the induction.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.