The Fibonacci sequence is defined by F 1 = 1 , F 2 = 1 and F n + 2 = F n + 1 + F n for n ≥ 1 .
Consider the set S 1 5 = { F 2 , F 3 , … , F 1 6 } of 15 terms of the sequence. If three distinct elements are chosen from the set S 1 5 , how many different possible sums could these numbers have?
Details and assumptions
You may use the fact that ( 3 1 5 ) = 4 5 5 .
Note that F 1 is not included in the set, so you can only use the number 1 once.
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.
Can you generalize this to come up with a nice closed form expression for n terms (instead of 15?
@Challenge Master:
To generalize, everything is the same except for the ending. For S n , if n > 4 , there are ( 3 n ) ways to choose a triple, and the overcounting is the sum of the first n − 5 positive integers, so ( 3 n ) − 2 ( n − 5 ) ( n − 4 ) If n ≤ 4 , then ( 3 n )
This is a nice solution. However, it could be made a bit simpler by using Zeckendorf's theorem , which states that every positive integer can be represented as the sum of distinct and non-consecutive Fibonacci numbers, and this representation is unique for all positive integers.You have basically proven this theorem for the sum of 2 and 3 Fibonacci numbers.
This question essentially boils down into how many triples of Fibonacci numbers in this range can have the same sum. By the definition of the Fibonacci numbers, F n + F n + 1 = F n + 2 . Thus, if we have two triples of such numbers, then we can make two triples of distinct Fibonacci numbers that have the same sum. For example, given F 2 , F 3 , F 4 , F 7 , F 8 , F 9 , then F 2 + F 3 + F 9 = F 4 + F 7 + F 8 .
Finding the number of such triplet pairs, we find 5 5 . Now we find to prove that there are no other.
Since all elements of S 1 5 are positive integers, we can't have F n + F m + F p = F q or else the RHS would be larger with the addition. The two other options are F n + F m + F p = F p + F x + F y → F n + F m = F x + F y or F n + F m = F x (while obviously being distinct from the example above).
For the former, WLOG say F n is the largest of the four, then since they are all distinct the largest sum F x + F y could have would be F n , and since F m is positive there are no solutions.
For the latter, we look to find two nonconsecutive positive fibonacci numbers such that when added they equal the sum of a positive fibonacci number. If the larger number is F n , then necessarily the smaller number must be F n − 1 or else the sum would be too little to reach F n + 1 .
Thus the number of distinct sums is 4 5 5 − 5 5 = 4 0 0 .
We have F i + F i + 1 − F i + 2 = 0 = F j + F j + 1 − F j + 2 or
F i + F i + 1 + F j + 2 = F j + F j + 1 + F i + 2 , where i , i + 1 , i + 2 , j , j + 1 , j + 2 are distinct positive integers
Let ( a , b , c , d ) denote the values of F i , F i + 1 , F j , F j + 1 respectively
So the set of equal sums consists of
( 1 , 2 , 4 , 5 ) , ( 1 , 2 , 5 , 6 ) , ( 1 , 2 , 6 , 7 ) , ( 1 , 2 , 7 , 8 ) , … , ( 1 , 2 , 1 3 , 1 4 )
( 2 , 3 , 5 , 6 ) , ( 2 , 3 , 6 , 7 ) , ( 1 , 2 , 7 , 8 ) , … , ( 2 , 3 , 1 3 , 1 4 )
( 3 , 4 , 6 , 7 ) , ( 3 , 4 , 7 , 8 ) , … , ( 3 , 4 , 1 3 , 1 4 )
.
.
.
( 9 , 1 0 , 1 2 , 1 3 ) , ( 9 , 1 0 , 1 3 , 1 4 )
( 1 0 , 1 1 , 1 3 , 1 4 )
Which gives a total of 1 + 2 + 3 + … + 1 0 = 5 5
[ e.g: ( 9 , 1 0 , 1 2 , 1 3 ) means F 9 + F 1 0 + F 1 4 = F 1 2 + F 1 3 + F 1 1 ]
So the total number of different possible sums is ( 3 1 5 ) − 5 5 = 4 0 0
Note : we can also generalize for any integer n (still with 3 three distinct elements chosen).
If n < 6 , N ( S n ) = ( 3 n )
If n ≥ 6 , N ( S n ) = ( 3 n ) − 2 1 ( n − 4 ) ( n − 5 )
I'm setting F 0 = 1 , F 1 = 1 , F 2 = 2 , F 3 = 3 , F 4 = 5 , F 5 = 8 , … , my answer is still valid
Log in to reply
typo: Let ( a , b , c , d ) denote the values of ( i , i + 1 , j , j + 1 )
How do you know those are the only pairs of triples?
Log in to reply
Hmmmmm.... I guess I didn't thought this one through..
Problem Loading...
Note Loading...
Set Loading...
The total number of [not necessarily distinct] sums is ( 3 1 5 ) = 4 5 5 . We must now find where two different triples have the same sum.
First, we will show that no two pairs can have the same sum. Consider the largest element of either pair, and call it f a . Clearly, this element cannot appear in both pairs, since then the pairs would be identical. Let the other element in that set be f b , and let ( f c , f d ) , where c > d , be the other pair. Therefore, a > c > d > b . We must have that f a + f b = f c + f d However, we also know that f a = f a − 1 + f a − 2 ≥ f c + f d Also, f a + f b > f a − 1 + f a − 2 ≥ f c + f d Therefore, no two pairs can have a collision.
Now, we will find when two triples have a collision. Let the largest element in either triple be f a . It must not appear in the other triple since no two pairs have the same sum. Let the two other elements of the triple be f b and f c . Let the other triple be ( f d , f e , f f ) , where d > e > f . We know that f a = f a − 1 + f a − 2 ≥ f d + f e If d = a − 1 , then d < a − 1 , e < a − 2 , and f < a − 3 , and
f a = f a − 1 + f a − 2 = f a − 1 + f a − 3 + f a − 4 > f a − 2 + f a − 3 + f a − 4 ≥ f d + f e + f f
Therefore, d = a − 1 . Also, if e < a − 2 and f < a − 3 , then f a = f a − 1 + f a − 2 = f a − 1 + f a − 3 + f a − 4 ≥ f d + f e + f f Therefore, e = a − 2 . Now, we must have f b + f c = f f This only occurs when ( b , c ) is a permutation of ( f − 1 , f − 2 ) . Therefore, our triples become ( f a , f f − 1 , f f − 2 ) ( f f , f a − 1 , f a − 2 ) If a = 1 6 , then there are 10 possibilities for f , 4 through 13. Similarly, our total overcounting is 1 0 + 9 + 8 + 7 + 6 + 5 + 4 + 3 + 2 + 1 = 5 5 The answer is 4 5 5 − 5 5 = 4 0 0 .