Russell has bags of coins to give away to two friends, Andrew and Brian. Bag has coins, where is the th term of the Fibonacci sequence, and each bag must be given to either Andrew or Brian. If there are ways to distribute all of the bags so that Andrew and Brian get the same number of coins, what is ?
This problem is shared by Russell F. from NIMO Summer Contest 2012.
Details and assumptions
The Fibonacci sequence is defined by and for .
Disregard physical impossibilities for the number of coins.
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.
We first show by induction that F n − 1 = F n − 2 + F n − 3 + … + F 1 for all n ≥ 3 . The base case, n = 3 , follows since F 3 − 1 = F 1 , or 2 − 1 = 1 . Assume the statement is true for n . If we add F n − 1 to both sides, the left hand side becomes F n + F n − 1 − 1 = F n + 1 − 1 while the right hand side becomes F n − 1 + F n − 2 + … + 1 . Thus, if the statement if true for n , then it is true for 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 + F n − 2 F n + F n − 2 F n + F n − 2 > F n − 2 + F n − 3 + F n − 4 + … + F 1 > F n − 2 + F n − 2 + F n − 3 + F n − 4 + … + F 1 > F n − 1 + F n − 2 + F n − 4 + F n − 5 + … + F 1 > F n − 1 + F n − 3 + F n − 4 + F n − 5 + … + F 1 .
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 2 0 1 3 = F 2 0 1 2 + F 2 0 1 1 , we have reduced the problem to distributing the remaining 2 0 1 0 bags into equal parts.
Now, we can continue to reason this way for each set of three consecutive bags { 2 0 1 0 , 2 0 0 9 , 2 0 0 8 } , { 2 0 0 7 , 2 0 0 6 , 2 0 0 5 } , etc. There are 671 sets of 3 numbers, implying there are N = 2 6 7 1 ways to divide the bags. Therefore, lo g 2 N = 6 7 1 .