Nested Continued Summation (Easy Version)

Algebra Level 4

A function f : N R f:N\rightarrow R is such that f ( 1 ) = 898 f(1) = 898 and f ( r ) = f ( r 1 ) + r 1 2 f(r) = \dfrac {f({r-1})+r-1}2 for r > 1 r > 1 .

Find the value of:

r = 1 ( f ( r ) r + 2 ) \sum_{r = 1}^\infty (f(r) - r + 2)


All of my problems are original .


The answer is 1798.

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

Aryan Sanghi
Jul 13, 2020

Finding Terms \text{Finding Terms}

Let's see first few terms of the sequence a 2 = a 1 + 1 2 = a 1 + 2 0 × 1 2 1 a_2 = \frac{a_1 + 1}{2} = \frac{a_1 + 2^0 × 1}{2^1} a 3 = a 2 + 2 2 = a 1 + 2 0 × 1 + 2 1 × 2 2 2 a_3 = \frac{a_2 + 2}{2} = \frac{a_1 + 2^0 × 1 + 2^1 × 2}{2^2} a 4 = a 3 + 3 2 = a 1 + 2 0 × 1 + 2 1 × 2 + 2 2 × 3 2 3 a_4 = \frac{a_3 + 3}{2} = \frac{a_1 + 2^0 × 1 + 2^1 × 2 + 2^2 × 3}{2^3}

We can get a pattern a r = a r 1 + ( r 1 ) 2 = a 1 + ( 2 0 × 1 + 2 1 × 2 2 r 3 × ( r 2 ) + 2 r 2 × ( r 1 ) ) 2 r 1 a_r = \frac{a_{r - 1} + (r - 1)}{2} = \frac{a_1 + (2^0 × 1 + 2^1 × 2 \ldots 2^{r-3} × (r - 2) + 2^{r - 2} × (r - 1))}{2^{r - 1}} a r = a 1 + ( 2 r 1 × ( r 2 ) + 1 ) 2 r 1 = ( r 2 ) + a 1 + 1 2 r 1 \colorbox{#333333}{\color{#FFFFFF}{\boxed{a_r = \frac{a_1 + (2^{r - 1} × (r - 2) + 1)}{2^{r - 1}} = (r - 2) + \frac{a_1 + 1}{2^{r - 1}}}}}


Finding Sum \text{Finding Sum}

Let's find the sum r = 1 r = [ a r ( r 2 ) ] = r = 1 r = a 1 + 1 2 r 1 \sum_{r = 1}^{r = \infty} [a_r - (r - 2)]= \sum_{r = 1}^{r = \infty} \frac{a_1 + 1}{2^{r - 1}} r = 1 r = [ a r ( r 2 ) ] = 2 ( a 1 + 1 ) \colorbox{#333333}{\color{#FFFFFF}{\boxed{\sum_{r = 1}^{r = \infty} [a_r - (r - 2)]= 2(a_1 + 1)}}} r = 1 r = [ a r ( r 2 ) ] = 2 ( 898 + 1 ) = 1798 \color{#3D99F6}{\boxed{\sum_{r = 1}^{r = \infty} [a_r - (r - 2)]= 2(898 + 1) = 1798}}

@Aryan Sanghi , use the reference in Brilliant.org if available.

Chew-Seong Cheong - 11 months ago

Log in to reply

Ok sir, I'll do it.

Aryan Sanghi - 11 months ago

Sir, what are the criterias of a popular question. Just wonder.

Aryan Sanghi - 11 months ago

Log in to reply

One that members can learn something from.

Chew-Seong Cheong - 11 months ago

Log in to reply

@Chew-Seong Cheong Ohk. Thanku.

Aryan Sanghi - 11 months ago

This is a good solution. To make it rigorous, you need to prove that it is true that a r = ( r 2 ) + a 1 + 1 2 r 1 a_r = (r-2) + \frac{a_1 + 1}{2^{r-1}} for ALL positive integer r r .

Consider mathematical induction .

Pi Han Goh - 8 months ago
Chew-Seong Cheong
Jul 14, 2020

A simpler solution

From the recursive relation given:

a r = a r 1 + r 1 2 2 a r = a r 1 + t 1 Replace r with r + 1. 2 a r + 1 = a r + r 2 a r + 1 2 r + 2 = a r r + 2 2 a r + 1 2 ( r + 1 ) + 4 = a r r + 2 Let b r = a r r + 2 2 b r + 1 = b r b r + 1 = b r 2 b r = b 1 2 r 1 \begin{aligned} a_r & = \frac {a_{r-1}+r - 1}2 \\ 2a_r & = a_{r-1} + t - 1 & \small \blue{\text{Replace }r \text{ with }r+1.} \\ 2a_{r+1} & = a_r + r \\ 2a_{r+1} - 2r + 2 & = a_r - r +2 \\ 2a_{r+1} -2(r+1) + 4 & = a_r - r + 2 & \small \blue{\text{Let }b_r = a_r - r + 2} \\ 2b_{r+1} & = b_r \\ \implies b_{r+1} & = \frac {b_r}2 \\ \implies b_r & = \frac {b_1}{2^{r-1}} \end{aligned}

Therefore, r = 1 ( a r r + 2 ) = r = 1 b r = r = 0 b 1 2 r = b 1 1 1 2 = 2 b 1 = 2 ( a 1 1 + 2 ) = 1798 \displaystyle \sum_{r=1}^\infty (a_r - r+2) = \sum_{r=1}^\infty b_r = \sum_{r=0}^\infty \frac {b_1}{2^r} = \frac {b_1}{1-\frac 12} = 2b_1 = 2(a_1 - 1 + 2) = \boxed{1798}

Excellent solution sir. Thanku for sharing it with us.

Aryan Sanghi - 11 months ago

Sir, I wonder if my solution of this question by me is correct as only 1 person has solved it. Can you please see to it? I would be really glad. :)

@Chew-Seong Cheong

Aryan Sanghi - 10 months, 3 weeks ago

Log in to reply

I thought you said the question is original. How come you don't know the solution.

Chew-Seong Cheong - 10 months, 3 weeks ago

Log in to reply

I mean sir I posted the solution. But I am unsure of its correctness. I really would be grateful if you'll see it's correctness. And as I say sir, all of my problems are really original. :) @Chew-Seong Cheong

Aryan Sanghi - 10 months, 3 weeks ago

Log in to reply

@Aryan Sanghi I thought it is your own problem. My solution appears to be the easiest way to solve it that is they what the question creator. I will check when I have the time

Chew-Seong Cheong - 10 months, 3 weeks ago

Log in to reply

@Chew-Seong Cheong Yes sir, that is my own problem. Ok sir, please check when you have time. :) @Chew-Seong Cheong

Aryan Sanghi - 10 months, 3 weeks ago

@Chew-Seong Cheong Sir i am talking of this question - Probabilistic Geometry which I recently posted. @Chew-Seong Cheong

Aryan Sanghi - 10 months, 3 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...