What is Zeckendorf s Theorem?

Similar documents
EVERY POSITIVE K-BONACCI-LIKE SEQUENCE EVENTUALLY AGREES WITH A ROW OF THE K-ZECKENDORF ARRAY

#A87 INTEGERS 18 (2018) A NOTE ON FIBONACCI NUMBERS OF EVEN INDEX

DIFFERENCES OF MULTIPLE FIBONACCI NUMBERS. Hannah Alpert Department of Mathematics, University of Chicago,Chicago, IL

Factorizations of the Fibonacci Infinite Word

ODD FIBBINARY NUMBERS AND THE GOLDEN RATIO

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

arxiv: v1 [math.co] 11 Aug 2015

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

#A6 INTEGERS 17 (2017) AN IMPLICIT ZECKENDORF REPRESENTATION

Cookie Monster Meets the Fibonacci Numbers. Mmmmmm Theorems!

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Complete Induction and the Well- Ordering Principle

We want to show P (n) is true for all integers

GENERALIZATIONS OF THE DUAL ZECKENDORF INTEGER REPRESENTATION THEOREMS DISCOVERY BY FIBONACCI TREES AND WORD PATTERNS

1 Examples of Weak Induction

REPRESENTING POSITIVE INTEGERS AS A SUM OF LINEAR RECURRENCE SEQUENCES

Numeration Systems. S. E. Payne General Numeration Systems 2. 3 Combinatorial Numeration Numeration with forbidden substrings 14

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Properties of the Integers

arxiv: v1 [math.gm] 1 Oct 2015

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

0.Axioms for the Integers 1

On Aperiodic Subtraction Games with Bounded Nim Sequence

THE ZECKENDORF ARRAY EQUALS THE WYTHOFF ARRAY

MINIMAL EXPANSIONS IN REDUNDANT NUMBER SYSTEMS: FIBONACCI BASES AND GREEDY ALGORITHMS. 1. Introduction. ε j G j, n = j 0

COMBINATORIAL REPRESENTATION OF GENERALIZED FIBONACCI NUMBERS* Shmuel T. Klein Bar-Ilan University, Ramat-Gan , Israel (Submitted April 1989)

Fibonacci Nim and a Full Characterization of Winning Moves

FIBONACCI NUMBERS AND DECIMATION OF BINARY SEQUENCES

1 Sequences and Summation

Induction and recursion. Chapter 5

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

With Question/Answer Animations

Standard forms for writing numbers

MATH 215 Final. M4. For all a, b in Z, a b = b a.

A lower bound for X is an element z F such that

In N we can do addition, but in order to do subtraction we need to extend N to the integers

The Real Number System

Induction and Recursion

CHAOTIC BEHAVIOR IN A FORECAST MODEL

Bijective proofs for Fibonacci identities related to Zeckendorf s Theorem

Exercises 1 - Solutions

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

CDM. Recurrences and Fibonacci

Exercises for Discrete Maths

COMBINATORIAL CONSTRUCTIONS FOR THE ZECKENDORF SUM OF DIGITS OF POLYNOMIAL VALUES

Sprague-Grundy Values of the R-Wythoff Game

Lecture Overview. 2 Weak Induction

Well-Ordering Principle. Axiom: Every nonempty subset of Z + has a least element. That is, if S Z + and S, then S has a smallest element.

CDM. Recurrences and Fibonacci. 20-fibonacci 2017/12/15 23:16. Terminology 4. Recurrence Equations 3. Solution and Asymptotics 6.

Climbing an Infinite Ladder

Homework 7 Solutions, Math 55

Homework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions

COM S 330 Homework 08 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

ALTERNATIVE SECTION 12.2 SUPPLEMENT TO BECK AND GEOGHEGAN S ART OF PROOF

A Structure of KK-Algebras and its Properties

On some inequalities between prime numbers

5 Set Operations, Functions, and Counting

Climbing an Infinite Ladder

Proof Techniques (Review of Math 271)

Section 11.1 Sequences

The longest branch of the tree of irreducible numerical semigroups with odd Frobenius number

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Discrete Mathematics. Spring 2017

On Summand Minimality of Generalized Zeckendorf Decompositions

Graphs with few total dominating sets

arxiv: v1 [math.co] 30 Mar 2010

Homework 1 (revised) Solutions

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

. As the binomial coefficients are integers we have that. 2 n(n 1).

Recursion and Induction

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

MTHSC 3190 Section 2.9 Sets a first look

Advanced Counting Techniques. Chapter 8

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Subtraction games. Chapter The Bachet game

Covering Subsets of the Integers and a Result on Digits of Fibonacci Numbers

#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S

CHAPTER 8: EXPLORING R

Theorem 1. Every P -position of the game can be written in the form (T n ; m 1 ; : : : ; m k?1 ), where the (k? 1)-tuples (m 1 ; : : : ; m k?1 ) range

arxiv: v1 [math.co] 13 Jul 2017

3 The language of proof

All Good (Bad) Words Consisting of 5 Blocks

COM S 330 Lecture Notes Week of Feb 9 13

NUMBERS WITH INTEGER COMPLEXITY CLOSE TO THE LOWER BOUND

In N we can do addition, but in order to do subtraction we need to extend N to the integers

5 + 9(10) + 3(100) + 0(1000) + 2(10000) =

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

Context-free grammars and languages

arxiv: v5 [math.nt] 23 May 2017

Chapter 5: The Integers

The Negs and Regs of Continued Fractions

Even Cycles in Hypergraphs.

ICS141: Discrete Mathematics for Computer Science I

Mathematical Reasoning & Proofs

Fall 2017 Test II review problems

MATH 117 LECTURE NOTES

Transcription:

What is Zeckendorf s Theorem? Nik Henderson July 23, 2016 Abstract While Fibonacci numbers can quite easily be classified as a complete sequence, they have the unusual property that a particular explicitly defined subset of such sequences is complete and also gives unique representations of natural numbers. This can be extended to all integers via the nega-fibonacci numbers. Further, an unusual binary operation on the natural numbers may be defined and proven to be associative. 1 Introduction and Background Edouard Zeckendorf (1901-1983) was a Belgian mathematician (and doctor and army officer). He published [4] in 1972, though his work was not original, in accordance with Stigler s Law of Eponymy. 20 years prior to Zeckendorf s publication, Dutch mathematician Gerrit Lekkerkerker had already published [2] using similar techniques. 2 Preliminary Results Definition 1: The n-th Fibonacci number F n is defined recursively by the equation F n = F n 1 + F n 2, where F 0 = 0 and F 1 = 1. Note: We will say that Fibonacci numbers F n and F m are consecutive when n = m ± 1, rather than when F n = F m ± 1. Lemma 1: For any increasing sequence (c i ) k such that c i 2 and c i+1 > c i + 1 for i 0, we have F ci < F ck +1. Proof. We note that, taking F 3 to be the largest term, the largest sum of nonconsecutive Fibonacci numbers is F 3 + F 1 = 3 + 1 = 4 < 5 = F 4. 1

Assume that sums of nonconsecutive Fibonacci numbers up to F j 1 are all less that F j. Such a sum up to F j will contain no F j 1, and will thus be a sum of F j and a nonconsecutive sum of Fibonacci numbers up F j 2, which will be smaller than F j 1 by the inductive hypothesis. Thus, for any sequence (c i ) as described above where c k = j, we have, k 1 F ci = F j + F ci < F j + F j 1 = F j+1. This proves the result for all j N inductively. Corollary 1: Any sum of Fibonacci numbers up to F n is less than F n+2. Proof. Let n = c k. Using the lemma after splitting the sum into sum of even and odd index Fibonacci numbers, we see that, if c e is the largest even index and c o the largest odd, F ci = F ci + c i odd c i even F ci < F co+1 + F ce+1 F n + F n 1 = F n+2. This could have easily be proven directly with induction, but is shorter with the lemma, which handles the induction for us. 3 Zeckendorf s Theorem Theorem 1: (Zeckendorf s Theorem) Let n be a positive integer. Then there is a unique increasing sequence (c i ) k such that c i 2 and c i+1 > c i + 1 for i 0, and that n = F ci. We will call such a sum the Zeckendorf representation for n. Proof. We begin with a proof of existence. We see that 1 = F 2, 2 = F 3, 3 = F 4, and 4 = F 2 + F 4 = 1 + 3. Suppose now that we can find such a representation for all positive integers up to k. If k + 1 is a Fibonacci number, then that provides the Zeckendorf representation. If k + 1 is not a Fibonacci number, then j N such that F j < k +1 < F j+1. Define a = k +1 F j, so a k, meaning a has a Zeckendorf representation by hypothesis. We also note that F j + a = k + 1 < F j+1 = F j + F j 1 a < F j 1. 2

Thus, the Zeckendorf representation of a does not contain a F j 1 term, so k + 1 = F j + a will yield a Zeckendorf representation for k + 1. This proves the existence of the Zeckendorf representation for positive integers by induction. We will now prove uniqueness. Let n be a positive integer with two nonempty sets of terms S and T which form Zeckendorf representations of n. Let S = S \ T and T = T \ S. Since both sets lost the same common elements, we still have x x S a = y y T x = y. x S y T a S T b S T Thus, if either S or T is empty, it will yield a sum of 0. Since all terms are nonnegative, the other sum, equaling 0, must also be empty, meaning that S = T =, so S = S T = T. Let us now assume that both sets S and T are nonempty. Let F s = max S and F t = max T. Since S T, we may say without loss of generality that F s < F t. By the lemma, we may say that x S x < F s+1 F t. Since the sums over S and T are non-negative and equal, this is a contradiction, so S = T =, and S = T. While uniqueness can perhaps be more easily directly proven, this contradiction is more in the traditional spirit. 4 Fibonacci Multiplication Definition 2: We will define the operation of Fibonacci multiplication : N 2 N as follows: Given two numbers with Zeckendorf representations b a = l F ci, b = F dj, j=0 we will define a b = l F ci +d j. j=0 Theorem 2: (N, ) forms a (commutative) semigroup. 3

Proving commutativity of over N is a simple rearrangement of finite sums. Were the circle product to always immediately yield a Zeckendorf representation of the product, associativity would be easy, but this can quickly be seen to not be the case. Donald Knuth (1938-) published his proof of associativity of Fibonacci multiplication in 1988 in [1]. Our proof will follow his technique, which rephrases the problem through a Fibonacci variation on the usual power-based radix notation. Essentially, when we concatenate digits this way, we mean n = (d s d s 1... d 1 d 0 ) F = s d i F i. It is reasonably clear to see the relation to Zeckendorf representations. Proposition 1: We have that (d s d s 1... d 1 d 0 ) F is a Zeckendorf representation precisely when (Z1) d i = 0 or d i = 1, i N, (Z2) d i d i+1 = 0, i N, (Z3) d 0 = d 1 = 0, are all satisfied. A simple process to add 1 in radix-f gives another existence proof for Zeckendorf s Theorem: Theorem 3: Every positive integer has a Zeckendorf representation. Proof. We first note that 1 = (100) F Zeckendorf representation of n, then satisfies (Z1-3). We see that, if we have a n = (d s... d 2 d 1 d 0 ) F = (d s... d 2 00) F n + 1 = (d s... d 2 11) F = (d s... d 2 10) F. To turn our representation of n + 1 into a Zeckendorf representation, we may repeatedly change the strings of digits via the following replacement rule: 0 1 1 1 0 0 which preserves the value of (d s... d 2 d 1 d 0 ) F. If d 2 = 1 for n + 1, then choose d 1 = 1 and d 0 = 0. Otherwise, choose d 1 = d 0 = 1. We will never see the string (... 111...) F thanks to (Z2) for n. We notice that the rule clearly preserves (Z1), and once no more iterations of the replacement can be made, we will have (Z2). The 4

first replacement immediately handles (Z3). The last issue is a potential cycle under the replacement, but this is impossible, since the replacement increases the value of (d s... d 2 d 1 d 0 ) 2 with each iteration, so the process must eventually terminate, as a number has only finitely many representations in radix-f. Hence, we will eventually have (Z1), (Z2), and (Z3), and thus, a Zeckendorf representation for n + 1. We may further generalize the addition of two numbers in radix notation. To perform such an addition, we may simply add two numbers digit-wise. To take any arbitrary representation (d s... d 1 d 0 ) F and turn it into a Zeckendorf representation, we may carry out the value-preserving replacements from left to right until we can no longer do so. 0 (d + 1) (e + 1) 1 d e (1) 0 (d + 2) 0 e 1 d 0 (e + 1) (2) Lemma 2: If d i 2 for i 2 and d 1 = d 2 = 0, then these two replacement rules may be used to turn (d s... d 1 d 0 ) F into (d t... d 2 d 1 d 0 ) F which satisfies (Z1) and (Z2). Proof. We have vacuous truth when s 1. When s > 1, we may apply the carrying process to (d s... d 1 d 0 ) F repeatedly, and since both the rules (1) and (2) increase (d s... d 1 d 0 ) 2, the process must terminate. Since (1) can t be applied, we must have (Z2). Since (2) cannot be applied, we must have (Z1). This will yield the representation (d t... d 2 d 1 d 0 ) F. The last remaining issue is to ensure (Z3). If an addition does not ever carry down into d 1 or d 0 via (2), we will call it clean. Let n be the number of trailing zeroes in the radix-f notation for the Zeckendorf representation of n. Lemma 3: We have m + n min(m, n) 2 for m, n N. Proof. Carrying out the process in lemma 2 can be seen to only move into the first two trailing zeroes, if the process is shifted left accordingly. It is fairly plain to see that circle multiplication with radix-f notation is totally analogous to ordinary multiplication with binary. When performing a multiplication a b = l l F ci +d j = a F dj, j=0 j=0 we will call each a F dj a partial product of a b. A quick exercise is to use radix-f notation to show that circle multiplication is monotonic, namely, that, for l, m, n N, l < m = l n < m n. 5

Lemma 4: Radix-F addition of the partial products of m n is clean. Proof. We may observe that, for the partial product m F k, we have m F k = m + k k + 2. Let n = r c=0 F k c be the Zeckendorf representation. Since k c+1 k c + 2, we see that, by lemma 3 m F kr + m F kr 1 min ( m F kr, m F kr 1 ) 2 k r 1 + 2 2 = k r 1 ( ) m F kc min m F kc, m F ki 2 c=i Repeatedly applying this process, m n = b=0 c=0 c=i+1 k i + 2 2 = k i. F jb +k c = m F kc k 0. c=0 Since k 1 2, we see that our addition was clean. Theorem 4: Define the Zeckendorf representations Then we have l = p F ia, m = a=0 (l m) n = p F jb, n = b=0 a=0 b=0 c=0 F kc. c=0 F ia+jb +k c. Proof. We may cleanly obtain the partial products of l m shifted left k, summing (l F j ) F k. This gives (l m) F k = p a=0 b=0 F ia+j b +k. and we get the desired result by cleanly summing over k via lemma 4. 6

This proves Theorem 2 by the symmetry of (l m) n. The proof of lemma 4 can be extended to make the resulting sum from Theorem 4 clean, allowing for arbitrary groupings of arbitrarily many Fibonacci products. Knuth claimed that his work was inspired by [3]. In their paper, Porta and Stolarksy proved the associativity of : N 2 N, defining m n = mn + φm φn, where φ = 1+ 5 2 is the golden mean. Thus, (N, ) and (N, ) both form commutative semigroups. 5 Other Results As it turns out, we can extend Zeckendorf s Theorem to all integers using the socalled nega-fibonacci numbers defined on negative indices by F n 2 = F n F n 1 F n = ( 1) n+1 F n, and all integers can be represented uniquely by a sum of nega-fibonacci numbers, taking 0 to be the empty sum. One question that arises fairly naturally is that of distributivity of circle multiplication over the usual addition. This is tantalizing due to the resulting semiring structure of (N, +, ) this would imply. However, this would mean that m n = (1 + {{ + 1 ) (1 + {{ + 1 ) = (1 1)mn = 3mn m n with concatenation representing the usual multiplication. The fact that 5 13 = F 5 F 7 = F 12 = 144 3(5)13 = 143 shows it not to be the case (though distributivity can be shown to hold over clean addition). Knuth actually showed that m n 5mn for large m and n. He also mentioned that Porta and Stolarsky found that m n 3.62mn. References [1] D. Knuth, Fibonacci Multiplication, App. Math. Lett. Vol.1 pp. 57-60, 1988. [2] G. Lekkerkerker, Voorstelling van natuurlijke getallen door een som van Fibonacci, Simon Stevin 29 pp. 190-195, 1988. [3] H. Porta, K. Stolarksy, The edge of a golden semigroup, Col. Math. Soc. János Bolyai, 1988. [4] E. Zeckendorf, Représentation des nombres naturels par une somme de nombres de Fibonacci ou de nombres de Lucas, Bull. Soc. Roy. Sci. Liège, 1972. 7