g2 - INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 (2006), #A02 A BIJECTIVE PROOF OF f n +4 + f 1 + 2 f 2 + + nf n = ( n + 1) f n +2 + 3 Philip Matchett Wood Department of Mathematics, Rutgers University (New Brunswick), Hill Center-Busch Campus, 110 Frelinghuysen Rd, Piscataway, NJ 08854-8019, USA matchett@math.rutgers.edu Received: 10/6/05, Revised: 1/5/06, Accepted: 1/16/06, Published: 2/1/06 Abstract In Proofs that Really Count , Benjamin and Quinn mentioned that there was no known bijective proof for the identity f 1 + 2 f 2 + + nf n = ( n + 1) f n +2- f n +4 + 3 for n 0, where f k is the k-th Fibonacci number. In this paper, we interpret f k as the cardinality of the set F k consisting of all ordered lists of 1s and 2s whose sum is k . We then demonstrate a bijection between the sets F n +4 n k =1 ( { 1 , 2 , . . . , k } F k ) and ( { 1 , 2 , . . . , n + 1 } F n +2 ) { 1 , 2 , 3 } , which gives a bijective proof of the identity. 1. Introduction We will interpret the k-th Fibonacci number f k as the cardinality of the set F k of all ordered lists of 1s and 2s that have sum k . Thus, ( f , f 1 , f 2 , f 3 , f 4 , f 5 , . . . ) = (1 , 1 , 2 , 3 , 5 , 8 , . . . ). For an integer m , the number mf k will be interpreted as the cardinality of the Cartesian product [ m ] F k , where [ m ] := { 1 , 2 , 3 , . . . , m } . On page 14 of Proofs that Really Count [1], Benjamin and Quinn mentioned that there was no known bijective proof for the identity f 1 + 2 f 2 + . . . + nf n = ( n + 1) f n +2- f n +4 + 3 for n 0. In Section 2 we define a map : F n +4 n k =1 ([ k ] F k )- { 1 , 2 , 3 } ([ n + 1] F n +2 ) , and in Section 3 we describe why...
View Full Document

Page1 / 4

g2 - INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online