Alexander Bass
This note is one of many taken during 2024

Fibonacci Sequence

The Fibonacci sequence is defined as

F1=F2=1Fn+2=Fn+1+Fn \begin{align*} F_{1} =& F_{2} = 1\\ F_{n+2} =& F_{n+1} + F_{n} \end{align*}

Are there any Fibonacci numbers FnF_{n} such that Fn+1>2FnF_{n+1} > 2F_{n}?

Fn+1=Fn+Fn1 F_{n+1} = F_{n} + F_{n-1}

Substitute into inequality

Fn+Fn1>2Fn F_{n} + F_{n-1} > 2F_{n} Fn1>Fn F_{n-1} > F_{n}

Which is never true for the sequence.


Another question: which Fibonacci numbers FnF_{n} are such that Fn+2>2FnF_{n+2} > 2F_{n}?

Again substitute

Fn+1+Fn>2Fn F_{n+1} + F_{n} > 2F_{n} Fn+1>Fn F_{n+1} > F_{n}

Which is true for all Fibonacci numbers except for when n=1n=1.


In a similar spirit, it is obvious that

Fn=Fn1+Fn2 F_n = F_{n-1} + F_{n-2}

But this form can be reduced further to be a sum of Fn2F_{n-2} and Fn3F_{n-3}

Fn=Fn1+Fn2=Fn2+Fn3+Fn2=2Fn2+Fn3and again=2Fn3+2Fn4+Fn3=3Fn3+2Fn4 \begin{align*} F_n =& F_{n-1} + F_{n-2}\\ =& F_{n-2} + F_{n_3} + F_{n-2}\\ =& 2F_{n-2} + F_{n-3}\\ & \text{and again}\\ =& 2F_{n-3} + 2F_{n-4} + F_{n-3}\\ =& 3F_{n-3} + 2F_{n-4} \end{align*}

The coefficients on the reduced forms are interesting to me. Given coefficients ak,bka_{k},b_{k} in a specific level of reduced Fibonacci, find ak+1,bk+1a_{k+1},b_{k+1}

akFn1+bkFn2=ak(Fn2+Fn3)+bkFn2=(ak+bk)Fn2+akFn3 a_k F_{n-1} + b_k F_{n-2} = a_k (F_{n-2} + F_{n-3}) + b_k F_{n-2} = (a_k +b_k)F_{n-2} + a_k F_{n-3}

We define a1=b1=1a_1 =b_1 = 1. and,

ak+1=ak+bkbk+1=ak \begin{align*} a_{k+1} =& a_k + b_k \\ b_{k+1} =& a_k \end{align*} ak+2=ak+1+bk+1=ak+1+ak a_{k+2} = a_{k+1} + b_{k+1} = a_{k+1} + a_{k}

Notice something peculiar about the above identity: it’s also the Fibonacci sequence!

This allows us to define a specific level of reduced Fibonacci symbolically. Let k>1k > 1

Fn=akFnk+1+bkFnk F_n = a_k F_{n-k+1} + b_k F_{n-k} Fn=FkFnk+1+Fk1Fnk F_n = F_k F_{n-k+1} + F_{k-1} F_{n-k}

As an example n=10n=10 and k=4k=4

F10=F4F7+F3F6 F_{10} = F_{4}F_{7} + F_{3} F_{6} 55=313+28 55 = 3\cdot 13 + 2 \cdot 8
This note is one of many taken during 2024