Mathematical-Reasoning ยท Unit 14 ยท Video 2 ยท Interactive Practice

Fibonacci Numbers: Patterns, Rabbits and Sanskrit Verse

IKey Formulas

StatementNameStatus
f1=1f_1 = 1, f2=1f_2 = 1, and fn+2=fn+1+fnf_{n+2} = f_{n+1} + f_n for each nโˆˆNn \in \mathbb{N}Fibonacci numbersDefinition
f1+f2+โ‹ฏ+fnโˆ’1=fn+1โˆ’1f_1 + f_2 + \cdots + f_{n-1} = f_{n+1} - 1 for each nโ‰ฅ2n \ge 2Sum patternConjecture
f12+f22+โ‹ฏ+fn2=fnfn+1f_1^2 + f_2^2 + \cdots + f_n^2 = f_n f_{n+1} for each nโˆˆNn \in \mathbb{N}Sum of squaresConjecture
fnโˆ’1fn+1โˆ’fn2=(โˆ’1)nf_{n-1} f_{n+1} - f_n^2 = (-1)^n for each nโ‰ฅ2n \ge 2Cassini's identityConjecture

Key Insight: A table checks finitely many terms, so every pattern found in f1f_1 to f20f_{20} is only a conjecture about all nโˆˆNn \in \mathbb{N}; the divisibility, sum, squares and neighbour patterns can be proved by induction.

IIDivisibility Lives in the Index

Which of f1f_1 to f20f_{20} does a given number divide, and what do their indices have in common?

IIIRatios of Consecutive Terms

The ratios fn+1/fnf_{n+1}/f_n fall and rise in turn, and the swings shrink near 1.6181.618.

๐Ÿ’ก Settling near 1.6181.618 is a claim about a limit: no finite list of ratios can establish it, and proving it takes more than induction alone.

IVHemachandra's Syllable Patterns

Every pattern of length nn ends in a short or a long syllable, so hn=hnโˆ’1+hnโˆ’2h_n = h_{n-1} + h_{n-2} for nโ‰ฅ3n \ge 3.

VQuiz Questions

Problem 1 ยท Run the Recurrence

Given: f10=55f_{10} = 55 and f11=89f_{11} = 89 โ€” find f13f_{13}.

โœ… Correct! Two additions: f12=89+55=144f_{12} = 89 + 55 = 144, then f13=144+89=233f_{13} = 144 + 89 = 233.
โŒ One step short. 89+55=14489 + 55 = 144 is f12f_{12}; one more addition is needed to reach f13f_{13}.
โŒ Not a Fibonacci step. 178=2โ‹…89178 = 2 \cdot 89 doubles the last term; the rule adds the two terms before, f11+f10f_{11} + f_{10}.
โŒ Wrong pair of summands. 199=144+55=f12+f10199 = 144 + 55 = f_{12} + f_{10}; the rule uses the two terms immediately before: f13=f12+f11f_{13} = f_{12} + f_{11}.
Show solution

Apply fn+2=fn+1+fnf_{n+2} = f_{n+1} + f_n twice:

f12=f11+f10=89+55=144f_{12} = f_{11} + f_{10} = 89 + 55 = 144 f13=f12+f11=144+89=233f_{13} = f_{12} + f_{11} = 144 + 89 = 233

Problem 2 ยท The Sum Pattern's Indices

Given: the conjecture f1+f2+โ‹ฏ+fnโˆ’1=fn+1โˆ’1f_1 + f_2 + \cdots + f_{n-1} = f_{n+1} - 1 for nโ‰ฅ2n \ge 2, and f11=89f_{11} = 89, f12=144f_{12} = 144, f13=233f_{13} = 233 โ€” find f1+f2+โ‹ฏ+f10f_1 + f_2 + \cdots + f_{10} as the conjecture predicts.

โœ… Correct! The last summand is fnโˆ’1=f10f_{n-1} = f_{10}, so n=11n = 11 and the sum is f12โˆ’1=143f_{12} - 1 = 143; adding the ten terms directly gives 143143 too.
โŒ Index off by one. 88=f11โˆ’188 = f_{11} - 1 treats the last summand as fnf_n; in the conjecture it is fnโˆ’1f_{n-1}, so f10f_{10} means n=11n = 11 and the right side is f12โˆ’1f_{12} - 1.
โŒ Missing the โˆ’1-1. f12=144f_{12} = 144 is one more than the sum; the conjecture says the sum is exactly one less than fn+1f_{n+1}.
โŒ Index off by one the other way. 232=f13โˆ’1232 = f_{13} - 1 would be the sum through f11f_{11}; here the sum stops at f10f_{10}, so n=11n = 11 and n+1=12n + 1 = 12.
Show solution

The last summand is fnโˆ’1f_{n-1}; setting nโˆ’1=10n - 1 = 10 gives n=11n = 11. The conjecture predicts

f1+f2+โ‹ฏ+f10=f12โˆ’1=144โˆ’1=143.f_1 + f_2 + \cdots + f_{10} = f_{12} - 1 = 144 - 1 = 143.

Check by direct addition: 1+1+2+3+5+8+13+21+34+55=1431 + 1 + 2 + 3 + 5 + 8 + 13 + 21 + 34 + 55 = 143. This confirms the case n=11n = 11 only; it is still not a proof for every nn.

Problem 3 ยท Neighbours Without Multiplying

Given: f10=55f_{10} = 55 and Cassini's conjecture fnโˆ’1fn+1โˆ’fn2=(โˆ’1)nf_{n-1} f_{n+1} - f_n^2 = (-1)^n โ€” find the difference f9f11โˆ’f102f_9 f_{11} - f_{10}^2, then the product f9f11f_9 f_{11}.

What is f9f11โˆ’f102f_9 f_{11} - f_{10}^2?

What is f9f11f_9 f_{11}?

โœ… Correct! With n=10n = 10 even, the product is one more than the square: 3025+1=30263025 + 1 = 3026, and indeed 34โ‹…89=302634 \cdot 89 = 3026.
โŒ Wrong sign. โˆ’1-1 is the value when the middle index is odd; here the middle term is f10f_{10}, so n=10n = 10 and (โˆ’1)10=1(-1)^{10} = 1.
โŒ They are never equal. In every case checked, the neighbour product differs from the square by exactly 11; the conjecture gives (โˆ’1)n(-1)^n, never 00.
โŒ Sign flipped. 3024=3025โˆ’13024 = 3025 - 1 would follow from a difference of โˆ’1-1; for even n=10n = 10 the difference is +1+1.
โŒ That is the square itself. 3025=552=f1023025 = 55^2 = f_{10}^2; the neighbour product differs from it by 11.
โŒ Not quite. Substitute n=10n = 10 into (โˆ’1)n(-1)^n.
โŒ Not quite. Solve f9f11โˆ’3025=1f_9 f_{11} - 3025 = 1 for the product.
Show solution

The middle term is f10f_{10}, so take n=10n = 10 in the conjecture:

f9f11โˆ’f102=(โˆ’1)10=1.f_9 f_{11} - f_{10}^2 = (-1)^{10} = 1.

With f102=552=3025f_{10}^2 = 55^2 = 3025:

f9f11=3025+1=3026.f_9 f_{11} = 3025 + 1 = 3026.

Check: f9=34f_9 = 34 and f11=89f_{11} = 89, and 34โ‹…89=302634 \cdot 89 = 3026.

Problem 4 ยท Syllable Patterns of Length 8

Given: a short syllable has length 11, a long one length 22, and hnh_n counts the patterns of total length nn, with h1=1h_1 = 1, h2=2h_2 = 2 and hn+2=hn+1+hnh_{n+2} = h_{n+1} + h_n โ€” find h8h_8.

โœ… Correct! hn=fn+1h_n = f_{n+1} for every term listed, and h8=f9=34h_8 = f_9 = 34.
โŒ Missed the shift. 21=f821 = f_8; the syllable counts start 1,21, 2 rather than 1,11, 1, so they run one place ahead: h8=f9h_8 = f_9.
โŒ Shifted two places. 55=f10=h955 = f_{10} = h_9, the count for length 99; length 88 is one step earlier.
โŒ Too many. 282^8 counts strings of 88 syllables, each short or long; but a long syllable uses 22 units, so most such strings are longer than 88.
Show solution

Run the recurrence from h1=1h_1 = 1, h2=2h_2 = 2:

h3=3,h4=5,h5=8,h6=13,h7=21,h8=h7+h6=21+13=34.h_3 = 3,\quad h_4 = 5,\quad h_5 = 8,\quad h_6 = 13,\quad h_7 = 21,\quad h_8 = h_7 + h_6 = 21 + 13 = 34.

Of the 3434 patterns, h7=21h_7 = 21 end in a short syllable and h6=13h_6 = 13 end in a long one. The list matches f2,f3,โ€ฆf_2, f_3, \ldots, one place ahead of the Fibonacci numbers: h8=f9=34h_8 = f_9 = 34.

Solved: 0 / 4