Russell's Fibonacci coin bags

Algebra Level 5

Russell has 2013 2013 bags of coins to give away to two friends, Andrew and Brian. Bag i i has F i F_i coins, where F i F_i is the i i th term of the Fibonacci sequence, and each bag must be given to either Andrew or Brian. If there are N N ways to distribute all of the bags so that Andrew and Brian get the same number of coins, what is log 2 N \log_2 N ?

This problem is shared by Russell F. from NIMO Summer Contest 2012.

Details and assumptions

The Fibonacci sequence is defined by F 1 = 1 , F 2 = 1 F_1 = 1, F_2 = 1 and F n + 2 = F n + 1 + F n F_{n+2} = F_{n+1} + F_{n} for n 1 n \geq 1 .

Disregard physical impossibilities for the number of coins.


The answer is 671.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Calvin Lin Staff
May 13, 2014

We first show by induction that F n 1 = F n 2 + F n 3 + + F 1 F_n-1=F_{n-2}+F_{n-3}+\ldots+F_1 for all n 3 n \ge 3 . The base case, n = 3 n=3 , follows since F 3 1 = F 1 F_3-1=F_1 , or 2 1 = 1 2-1=1 . Assume the statement is true for n n . If we add F n 1 F_{n-1} to both sides, the left hand side becomes F n + F n 1 1 = F n + 1 1 F_n+F_{n-1}-1=F_{n+1}-1 while the right hand side becomes F n 1 + F n 2 + + 1 F_{n-1}+F_{n-2}+\ldots+1 . Thus, if the statement if true for n n , then it is true for n + 1 n+1 , and the claim follows.

By the claim, we see that the 2012th bag and 2013th bag must be given to different friends, because the coins in all the other bags add up to less than the number of coins in the 2013th bag. Also, from the claim, we obtain

F n > F n 2 + F n 3 + F n 4 + + F 1 F n + F n 2 > F n 2 + F n 2 + F n 3 + F n 4 + + F 1 F n + F n 2 > F n 1 + F n 2 + F n 4 + F n 5 + + F 1 F n + F n 2 > F n 1 + F n 3 + F n 4 + F n 5 + + F 1 . \begin{aligned} F_n & > F_{n-2}+F_{n-3}+F_{n-4} +\ldots+F_1\\ F_n + F_{n-2} &> F_{n-2} + F_{n-2} + F_{n-3} + F_{n-4} + \ldots + F_1\\ F_n + F_{n-2} &> F_{n-1} + F_{n-2} + F_{n-4} + F_{n-5} + \ldots + F_1\\ F_n+F_{n-2} &> F_{n-1} + F_{n-3} + F_{n-4} + F_{n-5} + \ldots + F_1. \end{aligned}

Since the number of coins in all bags other than the 2011th bag and the 2013th bag add up to fewer than the number of coins in the 2011th bag and 2013th bag, it must be the case that the 2011th bag should go to the person with the 2012th bag. There are 2 ways to select who will get the 2011th, 2012th, and 2013th bags. Since F 2013 = F 2012 + F 2011 F_{2013} = F_{2012} + F_{2011} , we have reduced the problem to distributing the remaining 2010 2010 bags into equal parts.

Now, we can continue to reason this way for each set of three consecutive bags { 2010 , 2009 , 2008 } , { 2007 , 2006 , 2005 } , \{2010, 2009, 2008\}, \{2007, 2006, 2005\}, etc. There are 671 sets of 3 numbers, implying there are N = 2 671 N= 2^{671} ways to divide the bags. Therefore, log 2 N = 671. \log_2 N = 671.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...