Maths Olympiad Prep

Library / /8 of 13

, 2013

Algebra Difficulty 8.1 Shortlist Prove it Saudi Arabia

Define Fibonacci sequence {F}n=0\{F\}_{n=0}^{\infty} as F0=0F_{0}=0, F1=1F_{1}=1 and Fn+1=Fn+Fn1F_{n+1}=F_{n}+ F_{n-1} for every integer n>1n>1. Determine all quadruples (a,b,c,n)(a, b, c, n) of positive integers with a<b<ca<b<c such that each of a,b,c,a+n,b+n,c+2na, b, c, a+n, b+n, c+2n is a term of the Fibonacci sequence.

Solution

Let (a,b,c,n)(a, b, c, n) be a quadruplet of positive integers with a<b<ca<b<c such that each of a,b,c,a+n,b+n,c+2na, b, c, a+n, b+n, c+2n is a term of the Fibonacci sequence, and let
b+n=Fk b+n=F_{k}
for some positive integer kk. Because b<b+nb<b+n and a+n<b+na+n<b+n, we have max{b,a+n}Fk1\max \{b, a+n\} \leq F_{k-1}.
Assume min{b,a+n}Fk2\min \{b, a+n\} \leq F_{k-2}. We have a+n+bFk1+Fk2=Fk=b+na+n+b \leq F_{k-1}+F_{k-2}=F_{k}=b+n, which is impossible since a>0a>0. Therefore,
a+n=b=Fk1,n=(b+n)b=FkFk1=Fk2, \begin{gathered} a+n=b=F_{k-1}, \\ n=(b+n)-b=F_{k}-F_{k-1}=F_{k-2}, \end{gathered}
and
a=(a+n)n=Fk1Fk2=Fk3. a=(a+n)-n=F_{k-1}-F_{k-2}=F_{k-3} .
Let c+2n=Fmc+2n=F_{m}. We have FkcFm1F_{k} \leq c \leq F_{m-1} and therefore Fm22n=2Fk2FkF_{m-2} \leq 2n= 2F_{k-2} \leq F_{k}.
If Fm2=FkF_{m-2}=F_{k} then Fk2=Fk1=1F_{k-2}=F_{k-1}=1 and a=Fk3=0a=F_{k-3}=0 which is impossible. Therefore
c=b+n=Fm1=Fk, c=b+n=F_{m-1}=F_{k},
and
c+2n=Fm=Fk+1 c+2n=F_{m}=F_{k+1}
But
2n=(c+2n)c=Fk+1Fk=Fk1=a+n. 2n=(c+2n)-c=F_{k+1}-F_{k}=F_{k-1}=a+n .
We deduce that
Fk3=a=n=Fk2=1. F_{k-3}=a=n=F_{k-2}=1 .
Hence, k=4k=4, (a,b,c,n)=(1,2,3,1)(a, b, c, n)=(1,2,3,1) and we check easily that
a=F1, b=a+n=F3, c=b+n=F4  and  c+2n=F5. a=F_{1},\ b=a+n=F_{3},\ c=b+n=F_{4}\ \text{ and }\ c+2n=F_{5} .

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 and solution reproduced as published; topic and difficulty added by this site.