A moments thought: physical derivations of Fibonacci summations - - PowerPoint PPT Presentation

a moment s thought physical derivations of fibonacci
SMART_READER_LITE
LIVE PREVIEW

A moments thought: physical derivations of Fibonacci summations - - PowerPoint PPT Presentation

A moments thought: physical derivations of Fibonacci summations David Treeby Two pretty formulas n n 2 j 3 = j j =1 j =1 n n 2 F 3 j F 3 F 2 j +1 = j F j +1 j =1 j =1 Two models of the Fibonacci


slide-1
SLIDE 1

A moment’s thought: physical derivations of Fibonacci summations

David Treeby

slide-2
SLIDE 2

Two pretty formulas

n

  • j=1

j3 =

  • n
  • j=1

j 2

n

  • j=1

F 3

j F 3 j+1 =

  • n
  • j=1

F 2

j Fj+1

2

slide-3
SLIDE 3

Two models of the Fibonacci numbers

  • 1. A combinatorial model
  • 2. A geometric model
slide-4
SLIDE 4

A combinatorial model for Fibonacci numbers

Theorem

The number of ways to tile a board of length j with squares and dominoes is fj where f0 = f1 = 1 and fj = fj−1 + fj−2. j square domino

slide-5
SLIDE 5

f4 = 5

slide-6
SLIDE 6

Proof.

Consider a j-board. Suppose that this can be tiled in fj ways. j

slide-7
SLIDE 7

Proof.

Consider a j-board. Suppose that this can be tiled in fj ways. j Case 1. If the first tile is a square then there are fj−1 ways to tile the remaining (j − 1)-board. j − 1

slide-8
SLIDE 8

Proof.

Consider a j-board. Suppose that this can be tiled in fj ways. j Case 1. If the first tile is a square then there are fj−1 ways to tile the remaining (j − 1)-board. j − 1 Case 2. If the first tile is a domino then there are fj−2 ways to tile the remaining (j − 2)-board. j − 2

slide-9
SLIDE 9

Proof.

Consider a j-board. Suppose that this can be tiled in fj ways. j Case 1. If the first tile is a square then there are fj−1 ways to tile the remaining (j − 1)-board. j − 1 Case 2. If the first tile is a domino then there are fj−2 ways to tile the remaining (j − 2)-board. j − 2 Therefore fj = fj−1 + fj−2.

slide-10
SLIDE 10

Sums of squares of Fibonacci numbers

Theorem

f2

0 + f2 1 + f2 2 + · · · + f2 n = fnfn+1

slide-11
SLIDE 11

Proof.

  • Question. How many ways can you tile an n-board and an

(n + 1)-board? n + 1 n

slide-12
SLIDE 12

Proof.

  • Question. How many ways can you tile an n-board and an

(n + 1)-board? n + 1 n Answer 1. There are fn and fn+1 tilings of the first and second board, respectively. Therefore there are fnfn+1 tilings of both boards.

slide-13
SLIDE 13

Answer 2. Condition on the position j corresponding to the last common edge of each tiling. j

slide-14
SLIDE 14

Answer 2. Condition on the position j corresponding to the last common edge of each tiling. j To avoid future common edges, there is exactly one way to finish the tiling.

slide-15
SLIDE 15

Answer 2. Condition on the position j corresponding to the last common edge of each tiling. j To avoid future common edges, there is exactly one way to finish the tiling. Prior to this, the first and second board can each be tiled fj ways, so both can be tiled f2

j ways.

slide-16
SLIDE 16

Answer 2. Condition on the position j corresponding to the last common edge of each tiling. j To avoid future common edges, there is exactly one way to finish the tiling. Prior to this, the first and second board can each be tiled fj ways, so both can be tiled f2

j ways.

Summing over all possible values of j gives n

j=0 fj2 tilings.

slide-17
SLIDE 17

A geometric model for Fibonacci numbers

Construct a rectangle comprising two adjacent squares of side F1 = 1 and F2 = 1.

F1 F2

slide-18
SLIDE 18

A geometric model

For every j ≥ 2 we construct a square of side Fj on the larger side

  • f the existing rectangle.

F1F3 F2

slide-19
SLIDE 19

A geometric model

For every j ≥ 2 we construct a square of side Fj on the larger side

  • f the existing rectangle.

F1F3 F2 F4

slide-20
SLIDE 20

A geometric model

For every j ≥ 2 we construct a square of side Fj on the larger side

  • f the existing rectangle.

F1F3 F5 F2 F4

slide-21
SLIDE 21

A geometric model

For every j ≥ 2 we construct a square of side Fj on the larger side

  • f the existing rectangle.

F1F3 F5 F2 F4 F6

slide-22
SLIDE 22

A geometric model

For every j ≥ 2 we construct a square of side Fj on the larger side

  • f the existing rectangle.

F1F3 F5 F7 F2 F4 F6

slide-23
SLIDE 23

A geometric model

The jth square has side Fj where F1 = F2 = 1 and Fj = Fj−1 + Fj−2 for n ≥ 2.

F1F3 F5 F7 F2 F4 F6

slide-24
SLIDE 24

Sums of squares of Fibonacci numbers.

Theorem

F 2

1 + F 2 2 + · · · + F 2 n = FnFn+1

F1F3 F5 F7 F2 F4 F6

Proof.

The total area is equal to the sum of its parts.

slide-25
SLIDE 25

Sums of cubes of Fibonacci numbers

  • Question. Is there a closed formula for the sum of cubes of

Fibonacci numbers?

slide-26
SLIDE 26

Sums of cubes of Fibonacci numbers

  • Question. Is there a closed formula for the sum of cubes of

Fibonacci numbers?

  • Answer. Yes, by Binet’s formula for the nth Fibonacci

number there has to be. However, the answer is not expressible as the product of Fibonacci numbers.

slide-27
SLIDE 27

Sums of cubes of Fibonacci numbers

  • Question. Are there combinatorial or geometric methods for

determining the sum of cubes of Fibonacci numbers?

slide-28
SLIDE 28

Sums of cubes of Fibonacci numbers

  • Question. Are there combinatorial or geometric methods for

determining the sum of cubes of Fibonacci numbers?

  • Answer. Yes and yes.
slide-29
SLIDE 29

Sums of cubes of Fibonacci numbers

Theorem

n

  • j=1

F 3

j = Fn+1F 2 n+2 + (−1)nFn − 2F 3 n

2

Proof.

  • A. T. Benjamin, B Cloitre and T. A. Carnes, Recounting the Sums
  • f Cubes of Fibonacci Numbers, Proceedings of the Eleventh

International Conference on Fibonacci Numbers and their Applications, (2009), 45-51

slide-30
SLIDE 30

A preliminary result

For the geometric proof we require one preliminary result,

n

  • j=1

F 2

j Fj+1 = 1

2FnFn+1Fn+2.

slide-31
SLIDE 31

The centroid of a composite shape

x = n

j=1 Ajxj

A and y = n

j=1 Ajyj

A

slide-32
SLIDE 32

A Fibonacci tiling

Example

Fj Fj+1 Fj−1

slide-33
SLIDE 33

A Fibonacci tiling

Example

Fj Fj+1 Fj−1 1. F 2

j+2 = 4FjFj+1 + F 2 j−1

slide-34
SLIDE 34

The centroid of the tiling

Example

1 4 2 3 Fj Fj+1 Fj−1 5

Fj+2 2

O Fj+2

slide-35
SLIDE 35

The centroid of the tiling

Example

1 4 2 3 Fj Fj+1 Fj−1 5

Fj+2 2

O Fj+2 2F 2

j−1Fj + 4FjFj+1Fj+2 = F 3 j+2 − F 3 j−1

slide-36
SLIDE 36

Theorem

n

  • j=1

FjFj+1Fj+2 = F 3

j + F 3 j+1 + F 3 j+2 − Fj−1FjFj+1 − 2

4 .

slide-37
SLIDE 37

Another Fibonacci tiling

Example

Fj Fj+1 Fj+1 Fj

slide-38
SLIDE 38

Another Fibonacci tiling

Example

Fj Fj+1 Fj+1 Fj F 2

j+2 = 2FjFj+1 + F 2 j + F 2 j+1

slide-39
SLIDE 39

The centroid of the tiling

Example

1 2 3 4 Fj Fj+1 Fj Fj+1 O

Fj+2 2

Fj+2 F 3

j + 3FjFj+1Fj+2 = F 3 j+2 − F 3 j+1

slide-40
SLIDE 40

Theorem

n

  • j=1

F 3

j =

3F 2

j+1Fj − F 3 j+1 − F 3 j + 1

2 .

slide-41
SLIDE 41

Sums of cubes

Starting point: Tn = 1 + 2 + · · · + n = 1 2n(n + 1)

slide-42
SLIDE 42

Sums of cubes

1

1 2Tn

Tn 2 · · · j · · · n

slide-43
SLIDE 43

Sums of cubes

j xj Tj−1 Tj

slide-44
SLIDE 44

Sums of cubes

j

1 2j2

slide-45
SLIDE 45

Sums of cubes

n

  • j=1

j3 =

  • n
  • j=1

j 2

slide-46
SLIDE 46

A generalisation

The same trick works more generally. Suppose our starting point is

n

  • j=1

F 2

j Fj+1 = 1

2FnFn+1Fn+2.

slide-47
SLIDE 47

F 2

1 F2F 2 2 F3

F 2

3 F4

· · · F 2

nFn+1 1 4FnFn+1Fn+2 1 2FnFn+1Fn+2

slide-48
SLIDE 48

F 2

j Fj+1

xj Sj−1 Sj

slide-49
SLIDE 49

F 2

j Fj+1 1 2FjF 2 j+1

slide-50
SLIDE 50

n

  • j=1

F 3

j F 3 j+1 = 1

4F 2

nF 2 n+1F 2 n+2

slide-51
SLIDE 51

n

  • j=1

F 3

j F 3 j+1 =

  • n
  • j=1

F 2

j Fj+1

2

slide-52
SLIDE 52

Apply the method again

n

  • j=1

F 5

j F 5 j+1F2j+1 = 1

8F 4

nF 4 n+1F 4 n+2