Let (a,b,c,n) be a quadruplet of positive integers with a<b<c such that each of a,b,c,a+n,b+n,c+2n is a term of the Fibonacci sequence, and let
b+n=Fk
for some positive integer k. Because b<b+n and a+n<b+n, we have max{b,a+n}≤Fk−1.
Assume min{b,a+n}≤Fk−2. We have a+n+b≤Fk−1+Fk−2=Fk=b+n, which is impossible since a>0. Therefore,
a+n=b=Fk−1,n=(b+n)−b=Fk−Fk−1=Fk−2,
and
a=(a+n)−n=Fk−1−Fk−2=Fk−3.
Let c+2n=Fm. We have Fk≤c≤Fm−1 and therefore Fm−2≤2n=2Fk−2≤Fk.
If Fm−2=Fk then Fk−2=Fk−1=1 and a=Fk−3=0 which is impossible. Therefore
c=b+n=Fm−1=Fk,
and
c+2n=Fm=Fk+1
But
2n=(c+2n)−c=Fk+1−Fk=Fk−1=a+n.
We deduce that
Fk−3=a=n=Fk−2=1.
Hence, k=4, (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.