Professional Documents
Culture Documents
Matrix Connection Fibonacci & Inductive Proof
Matrix Connection Fibonacci & Inductive Proof
MATRIX
connection:
Fibonacci and Inductive Proof
Tamara B. Veenstra and Catherine M. Miller
T
he Fibonacci numbers have fascinated
artists, scientists, and mathematicians
for centuries. Artists often use the
golden ratio (the limit of ratios of con-
secutive Fibonacci numbers) in their
work; scientists use these numbers to help classify
plants (phyllotaxis) that have distinctive spiral pat-
terns (the number of spirals in many plants is a Fi-
bonacci number). For a description of these and
other examples of the Fibonacci numbers in nature,
see Hoggatt’s book (1969) or Knott’s Web page listed
in the references. Some patterns in the Fibonacci
numbers are based solely on mathematical concepts.
The Fibonacci sequence is 1, 1, 2, 3, 5, 8, . . . , where
each entry is formed by adding the two previous
ones, starting with 1 and 1 as the first two terms.
This sequence is named for Leonardo da Pisa (ca.
1170–1240), one of the most well-known mathemati-
cians from the Middle Ages. He is better known as Fi-
bonacci, which is short for “filius Bonacci,” meaning
“the son of Bonaccio.” Fibonacci wrote several books
on mathematics. In one of them, Liber abaci (1202), he
presented a problem about rabbits for his readers to
use when practicing arithmetic. The sequence 1, 1, 2, 3,
5, 8, . . . gives the solution to this problem. The French
mathematician Edouard Lucas (1842–1891) later
named this sequence after Fibonacci and found many
other applications of the numbers. While Fibonacci is
This can be done using a graphing calculator or is true for all whole numbers n ≥ 2.
other available tools. Instruct students to organize
the products in a table and to look for patterns using CONNECTIONS: USING MATRICES TO
the table of Fibonacci numbers (table 1). They will DERIVE FIBONACCI FORMULAS
discover the following lovely connection: In this section, we will use the matrix connection
n
obtained in pattern two to verify the formulas and
⎛ 0 1⎞ ⎛ Fn − 1 Fn ⎞ conjectures in pattern one. We will first verify the
⎜⎝ 1 1⎟⎠ = ⎜ F ⎟ formula F2n = Fn(Fn – 1 + Fn + 1). This proof should be
⎝ n Fn + 1 ⎠
accessible to all students. The second, more difficult
This conjecture can be proven using induction. proof, that Fn is always a factor of Fkn, is quite simi-
For the base case, let n = 2. We have lar but requires a bit more confidence with alge-
2
braic manipulations. This proof may be appropriate
⎛ 0 1⎞ ⎛ 1 1⎞ for more advanced students.
⎜⎝ 1 1⎟⎠ = ⎜⎝ 1 2⎟⎠ .
The Proof of Pattern One
Since F1 and F2 are both 1 and F3 is 2, we can con- To have your students verify the formula F2n =
clude that Fn(Fn – 1 + Fn + 1) ask them to compute
2
⎛ 0 1⎞ ⎛ Fn − 1 Fn ⎞ ⎛ 0 1⎞
2n
⎜⎝ 1 1⎟⎠ = ⎜ F ⎟ ⎜⎝ 1 1⎟⎠
⎝ n Fn + 1 ⎠
for n = 2. For the inductive step, we assume two different ways. First, simply apply the formula
n
from pattern two:
⎛ 0 1⎞ ⎛ Fn − 1 Fn ⎞
⎜⎝ 1 1⎟⎠ = ⎜ F ⎟.
2n
⎛ 0 1⎞ ⎛F F2n ⎞
⎝ n Fn + 1 ⎠ = ⎜ 2n − 1 ⎟.
⎜⎝ 1 1⎟⎠
⎝ F2n F2n + 1 ⎠
We need to show that
n +1 The second way involves using properties of expo-
⎛ 0 1⎞ ⎛ F Fn + 1 ⎞ nents to rewrite
⎜⎝ 1 1⎟⎠ =⎜ n ⎟.
⎝ Fn + 1 Fn + 2 ⎠ ⎛ 0 1⎞
2n
⎛ 0 1⎞ ⎛ 0 1⎞
n n
⎜⎝ 1 1⎟⎠ as ⎜
⎝ 1 1⎟⎠ ⎜⎝ 1 1⎟⎠
Using the inductive hypothesis we have
n n
⎛ Fn − 1 Record your results in the table.
⎛ 0 1⎞ ⎛ 0 1⎞ Fn ⎞ ⎛ Fn − 1 Fn ⎞
⎜⎝ 1 1⎟⎠ •
⎜⎝ 1 1⎠⎟ = ⎜ F ⎟ •⎜ ⎟ 2 3 4 5
⎝ n Fn + 1 ⎠ ⎝ Fn Fn + 1 ⎠ ⎛ 2 5⎞ ⎛ 2 5⎞ ⎛ 2 5⎞ ⎛ 2 5⎞
⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠
⎛ F2 + F2 Fn Fn − 1 + Fn Fn + 1 ⎞
n −1
=⎜ n
⎟.
⎝ Fn Fn − 1 + Fn Fn + 1 Fn2 + Fn2+ 1 ⎠
by comparing the upper-left entries of the matrices. 5. Make a conjecture about which entries of the following matrix
Students could similarly find formulas for F3n or will be multiples of b:
Fn + m. Other Fibonacci identities can be discovered k
⎛a b⎞
from the properties of matrix determinants. Many ⎜⎝ b
possibilities exist for students to discover and for- c ⎟⎠
mulate conjectures to be proved or disproved
through matrix manipulation. Fig. 3 Powers of matrices
The More Difficult Proof proof is left to the reader. Note: It is also true that
To understand why Fn is always a factor of Fkn re- bt = bu, but this is more difficult to prove.
quires an additional property of matrices. Have To see that Fn is a factor of Fkn we return to
students complete the activity in figure 3 and the relationship between Fibonacci numbers and
form a conjecture about the off-diagonal elements matrices. Recall that pattern two showed
of Ak for a given matrix A. This would be a good n
place to use calculators or some other form of ⎛ 0 1⎞ ⎛ Fn − 1 Fn ⎞
technology, as the entries in the matrices become ⎜⎝ 1 1⎟⎠ = ⎜ F ⎟
⎝ n Fn + 1 ⎠
large rather quickly. Your students should dis-
cover the interesting property that if for any natural number n. Note that the nth Fi-
bonacci number appears in both entries of the off-
⎛a b⎞ diagonals. This provides a way to relate the nth
A=⎜ ,
⎝b c ⎟⎠ Fibonacci number to the n • kth number in the se-
quence by applying properties of exponents and
then the off-diagonals of Ak are multiples of b. That is, numerous applications of pattern two. Our first
k application of pattern two tells us
⎛a b⎞ ⎛ s bt ⎞
⎜⎝ b ⎟ =⎜
v ⎟⎠
nk
c⎠ ⎝ bu ⎛ 0 1⎞ ⎛F Fnk ⎞
⎜⎝ 1 1⎟⎠ = ⎜ nk − 1 ⎟.
⎝ Fnk Fnk + 1 ⎠
for some integers s, t, u, and v. (Answers to this and
other activities are given at the end of this article.) Now, using elementary properties of exponents
This can be proven using induction on k. This and pattern two for
)
F2n
2.
Fn
(
= Fn − 1 + Fn + 1
TABLE 3
Solution to Figure 3, Question 1 Note: In class, you will use a version of this equation
2 3 4 5
(
F2n = Fn Fn − 1 + Fn + 1 .)
⎛ 2 5⎞ ⎛ 2 5⎞ ⎛ 2 5⎞ ⎛ 2 5⎞
⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠ ⎜⎝ 5 3⎟⎠ Figure 3
1. See table 3.
⎛ 29 25⎞ ⎛ 183 220⎞ ⎛ 1466 1575⎞ ⎛ 10807 12055⎞
⎜⎝ 25 34⎟⎠ ⎜⎝ 220 227⎟⎠ ⎜⎝ 1575 1781⎟⎠ ⎜⎝ 12055 13218⎟⎠ 2. Entries on the off-diagonal
3. See table 4.
TABLE 4
Solution to Figure 3, Question 3 4. Entries on the off-diagonal
2 3 4 5
⎛ 4 6⎞ ⎛ 4 6⎞ ⎛ 4 6⎞ ⎛ 4 6⎞ 5. The entries on the off-diagonal of the matrix will
⎜⎝ 6 1⎟⎠ ⎜⎝ 6 1⎟⎠ ⎜⎝ 6 1⎟⎠ ⎜⎝ 6 1⎟⎠ be multiples of b.
TAMARA VEENSTRA,
Tamara.Veenstra@
redlands.edu, is a profes-
sor at the University of
Redlands in Redlands, CA
92373. She is interested
in number theory, espe-
cially Fibonacci numbers
and cryptography, and in developing
connections between number theory
and the middle and high school math-
ematics curricula. CATHERINE
MILLER, millerc@math.uni.edu, is a
professor at the University of
Northern Iowa in Cedar Falls, IA
50614. Miller is interested in second-
ary school mathematics teachers’
acquisition of pedagogical content
knowledge and preservice teachers
developing this specialized knowledge
to inform their teaching. Photograph by
Sarah-Marie Belcastro; all rights reserved