Such Years, Such Summations, Much Wow

Algebra Level 5

Consider a sequence of 2016 real numbers a 1 , a 2 , a 3 , , a 2016 a_1,a_2,a_3,\dots,a_{2016} satisfying the property of 1 i 2015 1\leq i \leq 2015 : a i = j = i + 1 2016 a j a_i=\displaystyle\sum_{j=i+1}^{2016} a_j .

If i = 0 2014 ( ( 2016 i ) a i + 1 ) = 2015 \displaystyle\sum_{i=0}^{2014} \big((2016-i)a_{i+1}\big)=2015 , we can express i = 1 2016 1 a i \displaystyle\sum_{i=1}^{2016} \dfrac{1}{a_i} as a b × c a a^b\times c -a for positive integers a , b a , b and c c , compute a + b + c 1 a+b+c-1 .


The answer is 2019.

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.

2 solutions

Nihar Mahajan
May 5, 2016

First see what a i = j = i + 1 2016 a j a_i=\displaystyle\sum_{j=i+1}^{2016} a_j exactly means. It means that the term a i a_i equals the sum of the terms successive to a i a_i in the sequence. So, if we let S = i = 1 2016 a i = S S=\displaystyle\sum_{i=1}^{2016} a_i=S we get the following relations:

S = 2 a 1 S = a 1 + 2 a 2 S = a 1 + a 2 + 2 a 3 S = a 1 + a 2 + a 3 + + a 2013 + 2 a 2014 S = a 1 + a 2 + a 3 + + a 2014 + 2 a 2015 \begin{aligned} S&= 2a_1 \\ S&=a_1+2a_2 \\ S&=a_1+a_2+2a_3 \\ \dots\dots \\ \dots\dots \\ S&=a_1+a_2+a_3+\dots+a_{2013}+2a_{2014} \\ S&=a_1+a_2+a_3+\dots+a_{2014}+2a_{2015} \end{aligned}

Let us sum all the 2015 2015 equations of s s written above and we arrive at this equation:

2015 S = 2016 a 1 + 2015 a 2 + 2014 a 3 + + 4 a 2013 + 3 a 2014 + 2 a 2015 2015S=2016a_1+2015a_2+2014a_3 + \dots + 4a_{2013}+3a_{2014}+2a_{2015}

Note that the RHS above is nothing but i = 0 2014 [ ( 2016 i ) a i + 1 ] \displaystyle\sum_{i=0}^{2014} [(2016-i)a_{i+1}] that equals 2015 2015 which is given.

So we have 2015 S = 2015 S = 1 2015S=2015 \Rightarrow S=1

Substituting S = 1 S=1 in the above 2015 2015 equations, we can individually get all the terms in the sequence < a i > <a_i> as 1 2 , 1 4 , 1 8 , , 1 2 2015 , 1 2 2015 \dfrac{1}{2},\dfrac{1}{4},\dfrac{1}{8},\dots, \dfrac{1}{2^{2015}},\dfrac{1}{2^{2015}} . Thus, we have a i = 1 2 i a_i=\dfrac{1}{2^i} .

Isn't this astonishing? So lets take reciprocal:: 1 a i = 2 i \dfrac{1}{a_i}=2^i and we need to just sum it using geometric progression sum to get the answer:

i = 1 2015 2 i + 2 2015 = 2 ( 2 2015 1 ) 2 1 + 2 2015 = 2 2015 2 + 2 2015 = 3 × 2 2015 2 \displaystyle\sum_{i=1}^{2015} 2^i + 2^{2015}=\dfrac{2(2^{2015}-1)}{2-1}+2^{2015}=2^{2015}-2+2^{2015}=3\times 2^{2015} - 2

So a + b + c 1 = 2 + 2015 + 3 1 = 2019 a+b+c-1=2+2015+3-1=\huge\boxed{2019}

credits to @Saurabh Chaturvedi @Billy Sugiarto for correct my solution!

Moderator note:

I think that a better explanation of "what a i = j = i + 1 2016 a j a_i=\displaystyle\sum_{j=i+1}^{2016} a_j exactly means" is that a 2016 = a 2015 = 1 2 a 2014 = 1 4 a 2013 = a_{2016} = a_{2015} = \frac{1}{2} a_{2014} = \frac{1}{4} a_{2013} = \ldots .

I got the same answer as Saurabh Chaturvedi. I apologize for reporting this problem, but it seems that you haven't edit it.

The end result should be 3. 2 2015 2 3.2^{2015} -2 .

Billy Sugiarto - 5 years, 1 month ago

@Saurabh Chaturvedi @Billy Sugiarto Thank you very much for correcting my solution.In future, if you spot any mistake/flaw in the problem please report the problem in the report's section.

Nihar Mahajan - 5 years, 1 month ago

Isn't the 2015th term equal to the 2016th term? It made me approach at a different result.

Saurabh Chaturvedi - 5 years, 1 month ago

Log in to reply

You are correct, I forgot to use that and wrote the last term as 1 2 2016 \dfrac{1}{2^{2016}} instead of 1 2 2015 \dfrac{1}{2^{2015}} . Its surprising no one (except you) noticed this flaw in the problem :/

Nihar Mahajan - 5 years, 1 month ago

Log in to reply

I got the answer as 3.2^2015 - 2, which was far from the mentioned form in the problem.

Saurabh Chaturvedi - 5 years, 1 month ago

Log in to reply

@Saurabh Chaturvedi Can you explain how you got 3 × 2 2015 2 3\times 2^{2015} - 2 ?

Nihar Mahajan - 5 years, 1 month ago

Log in to reply

@Nihar Mahajan Sum of 2^i from 1 to 2015, plus 2^2015.

Saurabh Chaturvedi - 5 years, 1 month ago

Log in to reply

@Saurabh Chaturvedi I am getting this: 2 2016 2 + 2 2015 2^{2016} - 2+2^{2015} . Ok I need to go now, will look into this tomorrow.

Nihar Mahajan - 5 years, 1 month ago

Log in to reply

@Nihar Mahajan It's the same thing.

2 2016 2 + 2 2015 = 2 2015 ( 2 + 1 ) 2 = 3 × 2 2015 2 2^{2016}-2+2^{2015}=2^{2015}(2+1)-2=3\times 2^{2015}-2

The flaw in the problem is very subtle. I just noticed that. The mistake was to forget that the closed form is valid only for 1 i 2015 1\leq i\leq 2015 .

Prasun Biswas - 5 years, 1 month ago

@Calvin Lin I think I forgot to tick for challenge master note, please provide it. Thanks!

Nihar Mahajan - 5 years, 1 month ago

Log in to reply

I think this is wrong, doesn't the first condition imply that a 2015 = a 2016 = 2 2015 a_{2015} = a_{2016} = 2^{-2015} ?

So the sum should really be i = 1 2015 1 a i + 1 a 2016 = i = 1 2015 2 i + 2 2015 = 2 2016 + 2 2015 2 \displaystyle \sum_{i=1}^{2015} \frac{1}{a_i} + \frac{1}{a_{2016}} = \displaystyle \sum_{i=1}^{2015} 2^i + 2^{2015} = 2^{2016} +2^{2015} - 2

or is that wrong?

oscar donlan - 5 years, 1 month ago

Log in to reply

No, you are correct. The problem is a bit flawed as of now.

Prasun Biswas - 5 years, 1 month ago

I have corrected it. Thanks for spotting the mistake.

Nihar Mahajan - 5 years, 1 month ago

+1 for solution. ;)

Samara Simha Reddy - 5 years, 1 month ago

Log in to reply

Thanks. Also congrats for solving this!

Nihar Mahajan - 5 years, 1 month ago

Log in to reply

Thank You.

Samara Simha Reddy - 5 years, 1 month ago

Awesome problem, +1!

Harsh Shrivastava - 5 years, 1 month ago

Log in to reply

Thanks, you motivate me to post more problems :)

Nihar Mahajan - 5 years, 1 month ago

Interesting approach. +1

My approach was to note that a i = 2 2015 i a 2016 1 i 2015 a_i=2^{2015-i}a_{2016}~\forall~1\leq i\leq 2015 and then do some tedious algebra to solve for a 2016 a_{2016} to obtain the complete closed form for a i a_i and evaluate the final sum.

Prasun Biswas - 5 years, 1 month ago

Log in to reply

Exactly, I also did those tedious calculations.

Harsh Shrivastava - 5 years, 1 month ago

Same here... I also used a tedious approach +1

Upamanyu Mukharji - 5 years, 1 month ago

@Nihar Mahajan

Great solution.... I just used the tedious AGP Formula. Didn't realise that the summation within the boundary was equal to 2015. This would be a clever RMO question.

Upamanyu Mukharji - 5 years, 1 month ago

Nice problem and a great solution!

Yash Gadhia - 5 years, 1 month ago
Vitalii Feilo
May 15, 2016

To begin with, let's prove the following statements.

  • a i = a 2016 × 2 2015 i a_i = a_{2016} \times 2^{2015 - i} for 1 i 2015 1 \leq i \leq 2015 ( 1 ) (1)

For i = 2015 i = 2015 we have a 2015 = j = 2016 2016 a j = a 2016 = a 2016 × 2 0 a_{2015} = \displaystyle \sum_{j = 2016}^{2016}{a_j} = a_{2016} = a_{2016} \times 2^0 . Let's assume that the statement holds for i = k i = k . Then a k 1 = j = k 2016 a j = a 2016 × 2 2015 k + a 2016 × 2 2015 ( k + 1 ) + + a 2016 × 2 + a 2016 + a 2016 = a 2016 × ( 1 + ( 1 + + 2 + + 2 2015 k ) ) = a 2016 × 2 2015 ( k 1 ) . a_{k-1} = \displaystyle \sum_{j = k}^{2016}{a_j} = a_{2016} \times 2^{2015 - k} + a_{2016} \times 2^{2015- (k + 1)} + \ldots + a_{2016} \times 2 + a_{2016} + a_{2016} = a_{2016} \times \big(1 + (1 +\\+ 2 + \ldots + 2^{2015-k})\big) = a_{2016} \times 2^{2015-(k - 1)}.

  • i = 1 x i × 2 x i = 2 x + 1 ( x + 2 ) \displaystyle \sum_{i = 1}^{x}{i \times 2^{x - i}} = 2^{x + 1} - (x + 2) x N \forall x \in N ( 2 ) (2)

For x = 1 x = 1 we have i = 1 1 i × 2 1 i = 1 = 2 1 + 1 ( 1 + 2 ) \displaystyle \sum_{i=1}^{1}{i \times 2^{1 - i}} = 1 = 2^{1 + 1} - (1 + 2) . Let's assume that the statement holds for x = k x = k . Then for x = k + 1 x = k + 1 we have

i = 1 x i × 2 x i = i = 1 k + 1 i × 2 k + 1 i = 2 × i = 1 k i × 2 k i + ( k + 1 ) × 2 0 = 2 × ( 2 k + 1 ( k + 2 ) ) + k + 1 = = 2 ( k + 1 ) + 1 ( ( k + 1 ) + 2 ) . \displaystyle \sum_{i = 1}^{x}{i \times 2^{x - i}} = \displaystyle \sum_{i = 1}^{k + 1}{i \times 2^{k + 1 - i}} = 2 \times \displaystyle \sum_{i = 1}^{k}{i \times 2^{k - i}} + (k + 1) \times 2^0 = 2 \times \big(2^{k + 1} - (k + 2)\big) + k + 1 =\\= 2^{(k + 1) + 1} - ((k + 1) + 2).

Applying ( 1 ) (1) and ( 2 ) (2) , we have

2015 = i = 0 2014 ( ( 2016 i ) × a i + 1 ) = i = 0 2014 ( ( 2016 i ) × a 2016 × 2 2014 i ) = a 2016 × ( 2016 × i = 0 2014 2 2014 i i = 0 2014 i × × 2 2014 i ) = a 2016 × ( 2016 × ( 2 2015 1 ) ( 2 2015 2016 ) ) = a 2016 × 2015 × 2 2015 . 2015 = \displaystyle \sum_{i = 0}^{2014}\big((2016 - i) \times a_{i + 1}\big) = \displaystyle \sum_{i = 0}^{2014}\big((2016 - i) \times a_{2016} \times 2^{2014 - i}\big) = a_{2016} \times (2016 \times \displaystyle \sum_{i = 0}^{2014}2^{2014 - i} - \displaystyle \sum_{i = 0}^{2014}i \times \\ \times 2^{2014 - i}) = a_{2016} \times \big(2016 \times (2^{2015} - 1) - (2^{2015} - 2016)\big) = a_{2016} \times 2015 \times 2^{2015}.

Hence, a 2016 = 2 2015 . a_{2016} = 2^{-2015}.

FInally,

i = 1 2016 1 a i = 1 a 2016 × ( 1 + ( 1 + 2 1 + + 2 2014 ) ) = 2 2015 × ( 1 + 2 2015 1 2 1 1 ) = 2 2015 × ( 1 + 2 × ( 1 2 2015 ) ) = = 2 2015 × ( 3 2 2014 ) = 2 2015 × 3 2. \displaystyle \sum_{i = 1}^{2016} \frac 1{a_i} = \frac 1{a_{2016}} \times \big(1 + (1+ 2^{-1} + \ldots + 2^{-2014})\big) = 2^{2015} \times \big(1 + \frac {2^{-2015} - 1}{2^{-1} - 1}\big) = 2^{2015} \times \big(1 + 2 \times (1 - 2^{-2015})\big) =\\= 2^{2015} \times (3 - 2^{-2014}) = 2^{2015} \times 3 - 2.

Therefore, a + b + c 1 = 2 + 2015 + 3 1 = 2019 . a + b + c - 1 = 2 + 2015 + 3 - 1 = \boxed{2019}.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...