Try Finding The First Few Terms!

a i = 2 a i 1 a i 2 + 2 \large a_{i}= 2a_{i-1} -a_{i-2} +2

Define the sequence ( a n ) {(a_{n}}) with intial terms a 0 = 0 , a 1 = 1 a_{0} = 0, a_{1} = 1 , satisfying the recurrence relations above for all i 2. i \geq 2. Determine the value of a 1000 a_{1000} .


The answer is 1000000.

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.

1 solution

We claim that a k = k 2 a_k = k^2 for all k k and prove it by induction.

1) When k = 0 k = 0 , a 0 = 0 2 = 0 a_0 = 0^2 = 0 and when k = 1 k=1 , a 1 = 1 2 = 1 a_1 = 1^2 = 1 . Therefore, the claim is true for the two initial k k .

2) Assuming that a k = k 2 a_k = k^2 is true for k 2 k \ge 2 , then we have:

a k = 2 a k 1 a k 2 + 2 a k + 1 = 2 a k a k 1 + 2 = 2 k 2 ( k 1 ) 2 + 2 = 2 k 2 ( k 2 2 k + 1 ) + 2 = k 2 + 2 k + 1 = ( k + 1 ) 2 \begin{aligned} \quad a_k & = 2a_{k-1} - a_{k-2} + 2 \\ \Rightarrow a_{k+1} & = 2a_{k} - a_{k-1} + 2 \\ & = 2k^2 - (k-1)^2 + 2 \\ & = 2k^2 - (k^2-2k+1) + 2 \\ & = k^2 + 2k + 1 \\ & = (k+1)^2 \end{aligned}

\quad The claim is also true for k + 1 k+1 , therefore the claim is true for all k k .

Therefore, a 1000 = 100 0 2 = 1000000 a_{1000} = 1000^2 = \boxed{1000000}

Did it with a similar approach..

Rishabh Tripathi - 5 years, 3 months ago

Log in to reply

Can you add your solution?

Calvin Lin Staff - 5 years, 3 months ago

A very similar point (that maybe it is the same of you, Rishabh) of view could be the following.

1) Every positive square satisfy the formula (it is basically the induction step of Chew-Seong) 2 ( k 1 ) 2 ( k 2 ) 2 + 2 = 2 k 2 + 2 4 k k 2 + 4 k 4 + 2 = k 2 2(k-1)^2-(k-2)^2+2= 2k^2+2-4k-k^2+4k-4+2=k^2

2) Since a 0 a_0 and a 1 a_1 are consecutive squares then the sequence must go on with squares

It "surprises" me that actually the sequence works for k 0 k \geq 0 , and maybe it would be nice to see what happens if one tries to start with non consecutive squares or something like that

Riccardo Moschetti - 5 years, 3 months ago

Log in to reply

Check out linear recurrence relations - with repeated roots :)

Calvin Lin Staff - 5 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...