Maths Olympiad Prep

Track / Stage 8 / 41 of 180 #2381 of 2604

Problem 2381

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.1 Prove it Selection tests for the Balkan Mathematical Olympiad · Saudi Arabia · 2013

Define Fibonacci sequence {F}n=0∞\{F\}_{n=0}^{\infty} as F0=0F_{0}=0, F1=1F_{1}=1 and Fn+1=Fn+Fn−1F_{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.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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}≤Fk−1\max \{b, a+n\} \leq F_{k-1}.
Assume min⁡{b,a+n}≤Fk−2\min \{b, a+n\} \leq F_{k-2}. We have a+n+b≤Fk−1+Fk−2=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=Fk−1,n=(b+n)−b=Fk−Fk−1=Fk−2, \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=Fk−1−Fk−2=Fk−3. a=(a+n)-n=F_{k-1}-F_{k-2}=F_{k-3} .
Let c+2n=Fmc+2n=F_{m}. We have Fk≤c≤Fm−1F_{k} \leq c \leq F_{m-1} and therefore Fm−2≤2n=2Fk−2≤FkF_{m-2} \leq 2n= 2F_{k-2} \leq F_{k}.
If Fm−2=FkF_{m-2}=F_{k} then Fk−2=Fk−1=1F_{k-2}=F_{k-1}=1 and a=Fk−3=0a=F_{k-3}=0 which is impossible. Therefore
c=b+n=Fm−1=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+1−Fk=Fk−1=a+n. 2n=(c+2n)-c=F_{k+1}-F_{k}=F_{k-1}=a+n .
We deduce that
Fk−3=a=n=Fk−2=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} .

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.