Define:
a n b n c n = 1 + 2 1 + … + n 1 = a 1 + a 2 + … + a n = 2 b 1 + 3 b 2 + … + n + 1 b n
If j and k are integers between -1000 and 1000 such that c 1 2 3 = j ⋅ a 1 2 4 + k , what is the value of j − k ?
This problem is shared by C L , adapted from USAMO.
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.
Nice and carefully written solution!
Speechless! I guess this was quite a hard problem.
First, we simplify b n ,
a 1 + a 2 + a 3 + ⋯ + a n
= ( 1 ) + ( 1 + 2 1 ) + ( 1 + 2 1 + 3 1 ) + ⋯ + ( 1 + 2 1 + 3 1 + ⋯ + n 1 )
= 1 ( n ) + 2 1 ( n − 1 ) + 3 1 ( n − 2 ) + ⋯ + n 1 ( 1 )
= k = 1 ∑ n ( k 1 ( n + 1 − k ) )
= k = 1 ∑ n ( k n + 1 − 1 )
= k = 1 ∑ n ( k n + 1 ) − n
= ( n + 1 ) k = 1 ∑ n ( k 1 ) − n
= ( n + 1 ) ( a n ) − n
= ( n + 1 ) ( a n + 1 − n + 1 1 ) − n
= ( n + 1 ) ( a n + 1 ) − 1 − n
= ( n + 1 ) ( a n + 1 ) − ( 1 + n )
= ( n + 1 ) ( a n + 1 − 1 )
Then, we simplify c n ,
2 b 1 + 3 b 2 + 4 b 3 + ⋯ + n + 1 b n
= k = 1 ∑ n ( k + 1 b k )
Substitute b n = ( n + 1 ) ( a n + 1 − 1 ) ,
= k = 1 ∑ n ( k + 1 ( k + 1 ) ( a k + 1 − 1 ) )
= k = 1 ∑ n ( a k + 1 − 1 )
For c 1 2 3 , substitute n = 1 2 3 ,
k = 1 ∑ 1 2 3 ( a k + 1 − 1 )
= k = 1 ∑ 1 2 3 ( a k + 1 ) − 1 2 3
= ( b 1 2 4 − a 1 ) − 1 2 3
= b 1 2 4 − 1 2 4
Substitute b n = ( n + 1 ) ( a n ) − n ,
= ( 1 2 5 a 1 2 4 − 1 2 4 ) − 1 2 4
= 1 2 5 a 1 2 4 − 2 4 8
Hence, j = 1 2 5 and k = − 2 4 8
j − k = 3 7 3
Ok I have finished my solution. This part is not very important, just sharing how I get through this problem.
My first attempt is solve for b n because I think that if I can express b n as some a n , it will be very useful when I solve for c n . For me b n is like the bridge between a n and c n .
When I try to simplify b n , I stopped at
b n = ( n + 1 ) ( a n ) − n
Then, I noticed when I simplify c n and substitute b n I will get an ugly
= k = 1 ∑ n ( k + 1 ( k + 1 ) ( a k ) − k )
So I continue my journey on b n to find a better expression
b n = ( n + 1 ) ( a n + 1 − 1 )
And finally I can get c n with the help of both
b n = ( n + 1 ) ( a n + 1 − 1 )
b n = ( n + 1 ) ( a n ) − n
This means that my first stop is not useless at all!
Then I get a beautiful expression of
c 1 2 3 = 1 2 5 a 1 2 4 − 2 4 8
excellent work!
Great solution ! : )
Good solution that helps a lot for beginners like me!! Thanks
Observe b n = ∑ k = 1 n a k = ∑ k n + 1 − k = − n + ( n + 1 ) a n .
And c n = ∑ k + 1 b k = ∑ k + 1 − k + a k
= − n + b n + ∑ k + 1 1 = − ( 2 n + 1 ) + ( n + 1 ) a n + a n + 1 = − ( 2 n + 2 ) + ( n + 2 ) a n + 1
The difference is 3n+4. Plugging n=123, answer is 3 7 3 .
Nicely done!
Check out 1989 USAMO #1
Log in to reply
Thanks for the reference. I found the problem among some old notes, but have no idea where it came from.
Updated the reference. Thanks!
Why is 125 and -248 the only solution? (See my note in my solution.)
Log in to reply
Indeed, that is a good question which most people ignored.
Suppose another set of solutions existed, then we must have x a 1 2 3 + y = 0 for some pair of integers x , y between -2000 and 2000. Can you reach a contradiction from here?
Note: Showing uniqueness of a solution can often be approached in a similar way.
Let's try to address the general case instead. Note that b n − 1 = i = 1 ∑ n − 1 a i = 1 + ( 1 + 2 1 ) + ( 1 + 2 1 + 3 1 ) + ⋯ + ( 1 + 2 1 + 3 1 + ⋯ + n − 1 1 ) Rearranging the terms, we obtain: b n − 1 = n − 1 + 2 n − 2 + 3 n − 3 + ⋯ + n − 1 1 = n + 2 n + 3 n + ⋯ + n − 1 1 − ( n − 1 ) = n ( 1 + 2 1 + 3 1 + ⋯ + n − 1 1 ) − n × n 1 − ( n − 1 ) = n × a n − n Thus, a i − 1 = i a i − 1 for all i ∈ N . Now, note that: c n = k = 2 ∑ n k b k − 1 = k = 2 ∑ n ( a k − 1 ) = a n + b n − 1 − a 1 − ( n − 1 ) = ( n + 1 ) a n − 2 n Hence, c 1 2 3 = 1 2 5 a 1 2 4 − 2 4 8 . Hence, we have i = 1 2 5 , j = 2 4 8 , i − j = 3 7 3 .
Typo: c n − 1 = k = 2 ∑ n k b k − 1 = ⋯
Lemma 1 . n + 1 b n − n b n − 1 = n + 1 1
Proof . n + 1 b n − n b n − 1 = n ( n + 1 ) n b n − ( n + 1 ) b n − 1 . We now compute n b n − ( n + 1 ) b n − 1 .
n b n − ( n + 1 ) b n − 1 = n ( a 1 + a 2 + . . . + a n ) − ( n + 1 ) ( a 1 + a 2 + . . . + a n − 1 ) = n a n − a 1 − a 2 − a n − 1 = ( a n ) + ( a n − a 1 ) + . . . + ( a n − a n − 1 ) = 1 ⋅ 1 1 + 2 ⋅ 2 1 + . . . + n ⋅ n 1 = n .
This proves the lemma.
Lemma 2. b n = ( n + 1 ) a n − n
Proof. b n = ∑ i = 1 n ( i 1 ( n + 1 − i ) ) = ∑ i = 1 n ( i n + 1 − 1 ) = ( n + 1 ) ( 1 + 2 1 + 3 1 + . . . + n 1 ) − n = ( n + 1 ) a n − n . This proves the lemma.
Lemma 3 . c n = b n + 1 − n − 1
Proof : n + 1 b n = n b n − 1 + n + 1 1 = n − 1 b n − 2 + n 1 + n + 1 1 = . . . = 2 1 + 3 1 + . . . + n + 1 1 = a n + 1 − 1 . (By repeated application of Lemma 1.)
c n = 2 b 1 + 3 b 2 + . . . + n + 1 b n = a 2 − 1 + a 3 − 1 + . . . + a n + 1 − 1 = b n + 1 − n − 1 . This proves the lemma.
Lemma 4 . c n = ( n + 2 ) a n + 1 − ( 2 n + 2 ) .
Proof : By Lemma 2 and 3 ,
c n = b n + 1 − n − 1 = ( n + 2 ) a n + 1 − n − 1 − n − 1 = ( n + 2 ) a n + 1 − ( 2 n + 2 ) . This proves the final lemma.
By Lemma 4 , j = 1 2 5 , k = − 2 4 8 satisfies the condition.
So, j − k = 1 2 5 − ( − 2 4 8 ) = 3 7 3 .
Note : However, I still can't figure out why this is the only answer. I just assume that this is unique from the problem statement.
Start with b n , b n = i = 1 ∑ n a i = 1 + ( 1 + 2 1 ) + ( 1 + 2 1 + 3 1 ) + ⋯ + ( 1 + 2 1 + ⋯ + n 1 ) , we notice that there are n 1's, ( n − 1 ) 2's, ( n − 2 ) 3's, etc. So b n = i = 1 ∑ n 1 + i = 1 ∑ n − 1 2 1 + i = 1 ∑ n − 2 3 1 + ⋯ + i = 1 ∑ 2 n − 1 1 + i = 1 ∑ 1 n 1
b n = n + 2 n − 1 + 3 n − 2 + ⋯ + n − 1 2 + n 1 b n = i = 1 ∑ n i ( n + 1 ) − i
we found a very easy expression for b n .\
Now we are going to work with c n c n = m = 1 ∑ n m + 1 b m , c n = m = 1 ∑ n m + 1 ∑ i = 1 m i ( m + 1 ) − i c n = m = 1 ∑ n i = 1 ∑ m i ( m + 1 ) ( m + 1 ) − i , is easy to see that i ( m + 1 ) ( m + 1 ) − i = i 1 − m + 1 1 c n = m = 1 ∑ n i = 1 ∑ m ( i 1 − m + 1 1 ) , c n = m = 1 ∑ n ( i = 1 ∑ m i 1 − i = 1 ∑ m m + 1 1 ) , c n = m = 1 ∑ n ( a m − m + 1 m ) , we see that − m + 1 m = m + 1 1 − 1 , hence c n = m = 1 ∑ n ( a m + m + 1 1 − 1 ) , but a m + m + 1 1 = a m + 1 , c n = m = 1 ∑ n ( a m + 1 − 1 ) , c n = m = 1 ∑ n a m + 1 − m = 1 ∑ n 1 ,
c n = m = 1 ∑ n a m + 1 − n At this point we are going to write the ∑ m = 1 n a m + 1 depending on b n ' s to get a closed form. m = 1 ∑ n a m + 1 = a 2 + a 3 + ⋯ + a n + a n + 1 , add and substract a 1 , m = 1 ∑ n a m + 1 = a 1 + a 2 + a 3 + ⋯ + a n + a n + 1 − a 1 , we have that a 1 = b 1 hence m = 1 ∑ n a m + 1 = b n + 1 − b 1 , now go back to c n c n = b n + 1 − b 1 − n
Substituting b n + 1 y b 1 c n = i = 1 ∑ n + 1 i ( ( n + 1 ) + 1 ) − i − 1 − n c n = i = 1 ∑ n + 1 ( i n + i 2 − i i ) − ( n + 1 ) c n = i = 1 ∑ n + 1 ( n i 1 + 2 i 1 − 1 ) − ( n + 1 ) c n = n i = 1 ∑ n + 1 i 1 + 2 i = 1 ∑ n + 1 i 1 − i = 1 ∑ n + 1 1 − ( n + 1 ) c n = n a n + 1 + 2 a n + 1 − ( n + 1 ) − ( n + 1 ) c n = ( n + 2 ) a n + 1 − 2 ( n + 1 ) . we're done. Let j = n + 2 , k = 2 ( n + 1 ) and n = 1 2 3 , so c 1 2 3 = ( 1 2 3 + 2 ) a 1 2 3 + 1 − 2 ( 1 2 3 + 1 ) c 1 2 3 = 1 2 5 a 1 2 4 − 2 4 8 in this case j = 1 2 5 , k = − 2 4 8 , so j − k = 3 7 3 .
Looks good! Do you know how to explain the uniqueness of these integers?
Log in to reply
sorry for answering late, amm no, I don't know, let me think :D
Problem Loading...
Note Loading...
Set Loading...
From the question,
a n = r = 1 ∑ n r 1
b n = r = 1 ∑ n a r
c n = r = 1 ∑ n r + 1 b r
Lets begin with evaluating b n .
b n = a 1 + a 2 + . . . + a n = 1 + ( 1 + 2 1 ) + . . . . + ( 1 + 2 1 + 3 1 + . . . . . + n 1 )
= n + 2 n − 1 + 3 n − 2 + . . . . . = r = 1 ∑ n r n − r + 1
⇒ b n = ( n + 1 ) r = 1 ∑ n r 1 − r = 1 ∑ n ( 1 ) = ( n + 1 ) a n − n
Now lets evaluate c n .
c n = r = 1 ∑ n r + 1 b r = r = 1 ∑ n r + 1 ( r + 1 ) a r − r = r = 1 ∑ n a r − r = 1 ∑ n r + 1 r
The first summation is b n . The second summation can be evaluated as follows:
r = 1 ∑ n r + 1 r = r = 1 ∑ n ( 1 − r + 1 1 ) = n − a n + 1 + 1
⇒ c n = b n + a n + 1 − n − 1 = ( n + 1 ) a n + a n + 1 − 2 n − 1 .
It can be easily seen that
a n + 1 − a n = n + 1 1 ⇒ a n = a n + 1 − n + 1 1
Therefore, substituting for a n
c n = ( n + 1 ) a n + 1 − 2 n − 2 + a n + 1 = ( n + 2 ) a n + 1 − 2 ( n + 1 ) .
Put n = 1 2 3 . ⇒ c 1 2 3 = ( 1 2 5 ) a 1 2 4 − 2 4 8 . Hence, j = 1 2 5 and k = − 2 4 8 .
j − k = 1 2 5 − ( − 2 4 8 ) = 3 7 3