Fibonacci numbers as determinants

Linear Algebra
Post Reply
User avatar
Grigorios Kostakos
Founder
Founder
Posts: 461
Joined: Mon Nov 09, 2015 1:36 am
Location: Ioannina, Greece

Fibonacci numbers as determinants

#1

Post by Grigorios Kostakos »

Let \(\{{F_{n}}\}_{n=1}^{\infty}\) be the Fibonacci sequence defined as \[F_{n}=F_{n-1}+F_{n-2}\,,\;n\geqslant3\,, \quad F_1=F_2=1\,.\] Prove for every \(n\in\mathbb{N},\,n\geqslant2\) that the \(n\)-th term \(F_n\) of the Fibonacci sequence it is given by the determinant of the \((n-1)\times(n-1)\)-matrix : \[\left[{\begin{array}{rrrrrrrr} 1 & 1 & 0 & 0 & \cdots & 0 & 0 & 0\\ -1 & 1 & 1 & 0 & \cdots & 0 & 0 & 0\\ 0 & -1 & 1 & 1 & \cdots & 0 & 0 & 0\\ 0 & 0 & -1 & 1 & \cdots & 0 & 0 & 0\\ \vdots &\vdots & \vdots& \vdots & \ddots &\vdots & \vdots& \vdots\\ 0 & 0 & 0 & 0 & \cdots & 1 & 1 & 0\\ 0 & 0 & 0 & 0 & \cdots & -1 & 1 & 1\\ 0 & 0 & 0 & 0 & \cdots & 0 & -1 & 1 \end{array}}\right]\]
Grigorios Kostakos
Demetres
Former Team Member
Former Team Member
Posts: 77
Joined: Mon Nov 09, 2015 11:52 am
Location: Limassol/Pyla Cyprus
Contact:

Re: Fibonacci numbers as determinants

#2

Post by Demetres »

Let us write $D_n$ for the determinant of the $n \times n $ matrix. It is immediate that $D_1=1$ and $D_2=2$.

Taking cofactor expansion along the first column we have

\[D_{n+2} = \left|{\begin{array}{rrrrrrr} 1 & 1 & 0 & \cdots & 0 & 0 & 0\\ -1 & 1 & 1 & \cdots & 0 & 0 & 0\\ 0 & -1 & 1 & \cdots & 0 & 0 & 0\\ \vdots & \vdots& \vdots & \ddots &\vdots & \vdots& \vdots\\ 0 & 0 & 0 & \cdots & 1 & 1 & 0\\ 0 & 0 & 0 & \cdots & -1 & 1 & 1\\ 0 & 0 & 0 & \cdots & 0 & -1 & 1 \end{array}}\right| - (-1)\left|{\begin{array}{rrrrrrrr} 1 & 0 & 0 & \cdots & 0 & 0 & 0\\ -1 & 1 & 1 & \cdots & 0 & 0 & 0\\ 0 & -1 & 1 & \cdots & 0 & 0 & 0\\ \vdots & \vdots& \vdots & \ddots &\vdots & \vdots& \vdots\\ 0 & 0 & 0 & \cdots & 1 & 1 & 0\\ 0 & 0 & 0 & \cdots & -1 & 1 & 1\\ 0 & 0 & 0 & \cdots & 0 & -1 & 1 \end{array}}\right|\]

where the determinants in the right hand side are of $(n+1) \times (n+1)$ matrices. The first determinant by definition is equal to $D_{n+1}$. By expanding along the first row we see that the second determinant is equal to $D_n$.

Thus $D_{n+2} = D_{n+1} + D_n$ for every $n \geqslant 1$. From the initial conditions we get $D_n = F_{n+1}$ as required.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 54 guests