Still Recurring Theme

If a 1 = 1 , a 2 = 0 , a 3 = 2 a_1=1,a_2=0,a_3=2 and a n + 3 = a n + 2 + a n + 1 + a n a_{n+3}=-a_{n+2}+a_{n+1}+a_n for n > 0 n>0 , find a 2016 a_{2016} .


See part 1 .


The answer is -1007.

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.

7 solutions

Otto Bretscher
Mar 26, 2016

We know that a n + 3 + a n + 2 = a n + 1 + a n a_{n+3}+a_{n+2}=a_{n+1}+a_n so that

k = 1 2016 a k = ( a 1 + a 2 ) + ( a 3 + a 4 ) + . . . + ( a 2015 + a 2016 ) = 1008 ( a 1 + a 2 ) = 1008 \sum_{k=1}^{2016}a_k=(a_1+a_2)+(a_3+a_4)+...+(a_{2015}+a_{2016})=1008(a_1+a_2)=1008

and k = 2 2015 a k \sum_{k=2}^{2015}a_k = 1007 ( a 2 + a 3 ) = 2014 =1007(a_2+a_3)=2014 . Subtraction yields a 1 + a 2016 = 1006 a_1+a_{2016}=-1006 and a 2016 = 1007 a_{2016}=\boxed{-1007}

Such beautiful and elegant solution :)

Billy Sugiarto - 5 years, 2 months ago

I have still one doubt... For first summation, ( a 1 + a 2 ) + ( a 3 + a 4 ) + 1006 ( a 5 + a 6 ) (a_1+a_2)+(a_3+a_4)+1006(a_5+a_6) How to proceed further- To get what you got shouldn't that require putting n = 3 n=3 and n = 2 n=2 in given relation (and substituting) which isn't allowed....... Or I have proceeded in the wrong direction....??

Rishabh Jain - 5 years, 2 months ago

Log in to reply

All the 1008 sums in parentheses in ( a 1 + a 2 ) + ( a 3 + a 4 ) + . . . + ( a 2015 + a 2016 ) (a_1+a_2)+(a_3+a_4)+...+(a_{2015}+a_{2016}) are equal, by a n + 3 + a n + 2 = a n + 1 + a n a_{n+3}+a_{n+2}=a_{n+1}+a_n , applied to odd numbers n = 1 , . . , 2013 n=1,..,2013 , so that the common sum is 1008 times a 1 + a 2 = 1 a_1+a_2=1 .

But you are right: There was a typo in the problem: It should say n > 0 n>0 for the recursion. The way it was initially phrased ( n > 3 n>3 ), the problem cannot be solved. Thanks for pointing that out!

Otto Bretscher - 5 years, 2 months ago

Log in to reply

But n > 3 n>3 as stated in question..?? I have confused myself.. Please help...

Rishabh Jain - 5 years, 2 months ago

Log in to reply

@Rishabh Jain Yes that was a typo that I corrected. With n > 3 n>3 the problem cannot be solved, of course.

Otto Bretscher - 5 years, 2 months ago

Log in to reply

@Otto Bretscher Thanks... I'll delete this comment now....

Rishabh Jain - 5 years, 2 months ago

Log in to reply

@Rishabh Jain No no it's fine... I'm glad you caught it.

Otto Bretscher - 5 years, 2 months ago

Oh... No problem... :-)

Rishabh Jain - 5 years, 2 months ago

As usual, again a beautiful two-line solution by you sir. However, I solved it using the Generating Functions method and the method of Characteristic Equation.

Raushan Sharma - 5 years, 2 months ago

Log in to reply

Yes, that's the systematic way! Show us!

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Ok, then I'll post my solution

Raushan Sharma - 5 years, 2 months ago

Log in to reply

@Raushan Sharma It will be great to see a closed formula for a n a_n .

Otto Bretscher - 5 years, 2 months ago
Rishabh Jain
Mar 26, 2016

a n + 3 = a n + 2 + a n + 1 + a n = 2 a n + 1 a n + 1 = 2 a n + a n 1 + 2 a n 2 = 3 a n 1 2 a n 3 = 3 a n 2 + a n 3 + 3 a n 4 = n + 1 2 ( a 3 ) + a 2 + n + 1 2 ( a 1 ) , n odd = ( n 2 + 1 ) a 3 n 2 a 1 , n even \begin{aligned}a_{n+3}&=\color{#20A900}{-a_{n+2}+a_{n+1}+a_n}\\&=2a_{n+1}-a_{n+1}\\&\color{#20A900}{=-2a_n+a_{n-1}+2a_{n-2}}\\&=3a_{n-1}-2a_{n-3}\\&\color{#20A900}{=-3a_{n-2}+a_{n-3}+3a_{n-4}}\\&\cdots\\&\cdots\\&\color{#20A900}{=-\dfrac{n+1}{2}(a_3)+a_2+\dfrac{n+1}{2}(a_1)}, \color{#D61F06}{n\rightarrow \text{odd}}\\&=(\dfrac n2 +1)a_3-\dfrac n2 a_1,\color{#D61F06}{n\rightarrow\text{even}}\end{aligned} In our case since n = 2013 n=2013 is odd putting we get: a 2016 = 1007 a 3 + a 2 + 1007 a 1 a_{2016}=-1007a_3+a_2+1007a_1 = 1007 \huge = \boxed{-1007}

Yes that's a good way to do it! (+1) Let me see whether I can squeeze a solution into two lines ;)

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Yep... I'm learning to use recurrences.... Maybe after some time I would learn writing one-two liners on recurrences too.. . ;-). BTW Thanks...

Rishabh Jain - 5 years, 2 months ago

Log in to reply

I'm sure your detailed solutions are more helpful to most members ;)

Otto Bretscher - 5 years, 2 months ago

Does my solution make sense or is it too cryptic? Do I need to add a line (reluctantly)? I know I have a weird way of thinking ;)

Otto Bretscher - 5 years, 2 months ago

Log in to reply

@Otto Bretscher Seems good to me... It took a bit of time for me to understand but the method is quite weird (and short too!!)..... (+1)...

Rishabh Jain - 5 years, 2 months ago

Log in to reply

@Rishabh Jain OK let me add a line...thanks for the feedback!

Otto Bretscher - 5 years, 2 months ago
Raushan Sharma
Mar 28, 2016

We have the recursion : a n = a n 1 + a n 2 + a n 3 a_n = -a_{n-1} + a_{n-2} + a_{n-3}

Now, we write the characteristic equation of this recursion by replacing a n a_n with x n x^n

We get: x n = x n 1 + x n 2 + x n 3 x^n = -x^{n-1} + x^{n-2} + x^{n-3}

Or, x 3 = x 2 + x + 1 x^3 = -x^2 + x + 1

Or, x 3 + x 2 x 1 = 0 x^3 + x^2 - x - 1 = 0

( x 1 ) ( x + 1 ) 2 = 0 \Rightarrow (x-1)(x+1)^2 = 0

So, the roots of the characteristic equation are 1 , 1 , 1 1, -1, -1

So, a n = u ( 1 ) n + ( v + w n ) ( 1 ) n a_n = u \cdot (1)^n + (v+wn) \cdot (-1)^n

Now, we have, a 1 = 1 , a 2 = 0 , a 3 = 2 a_1=1, a_2=0, a_3=2

So, we form three equations, putting n = 1 , 2 , 3 n=1,2,3 :

a 1 = u v w = 1 a_1 = u-v-w=1

a 2 = u + v + 2 w = 0 a_2 = u+v+2w=0

a 3 = u v 3 w = 2 a_3 = u-v-3w=2

Solving these three equations, we get : u = 3 4 , v = 1 4 , w = 1 2 u = \frac{3}{4}, v = \frac{1}{4}, w = \frac{-1}{2}

Therefore, a n = 3 4 + ( 1 ) n ( 1 4 n 2 ) a_n = \frac{3}{4} + (-1)^n \cdot (\frac{1}{4} - \frac{n}{2})

i.e. a n = 3 4 + ( 1 ) n 1 2 n 4 a_n = \frac{3}{4} + (-1)^n \cdot \frac{1-2n}{4}

Putting n = 2016 n=2016 , we get a 2016 = 1007 a_{2016} = \boxed {-1007}

This question can also be solved by the method of generating functions, but that method is a bit lengthy....

Yes, great! Thank you! (+1) It's good to have both: A systematic solution but also some shortcuts.

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Thank you sir. And, yeah, that master of shortcuts is none other than you!! _/_ You are really an inspiration for me.... :D

Raushan Sharma - 5 years, 2 months ago

Log in to reply

I'm delighted to be in the company of so many talented and enthusiastic people on Brilliant! You guys are amazing!

Otto Bretscher - 5 years, 2 months ago
Tom Van Lier
Mar 28, 2016

An explicit form of the sequence is a 2 n + 1 = n + 1 a_{2n+1} = n + 1 and a 2 n = n + 1 a_{2n} = -n + 1 .

This can be proven by induction. a 4 = 1 a_{4} = -1 and a 5 = 3 a_{5} = 3 , so this is already ok.

Now suppose a 2 n + 1 = n + 1 a_{2n +1} = n + 1 , for some n, then we should prove that a 2 n + 2 = n a_{2n+2} = -n .

Proof : a 2 n + 2 = a 2 n + 1 + a 2 n + a 2 n 1 = n 1 n + 1 + n = n . a_{2n+2} = - a_{2n +1} +a_{2n} + a_{2n-1} = -n - 1 - n + 1 + n = -n.

Now suppose a 2 n = n + 1 a_{2n} = -n + 1 , for some n, then we should prove that a 2 n + 1 = n + 1 a_{2n+1} = n+1 .

Proof : a 2 n + 1 = a 2 n + a 2 n 1 + a 2 n 2 = n 1 + n n + 2 = n + 1. a_{2n+1} = - a_{2n} +a_{2n-1} + a_{2n-2} = n - 1 +n - n + 2= n + 1.

So a 2016 = a 2.1008 = 1008 + 1 = 1007. a_{2016} = a_{2.1008} = -1008 + 1 = -1007.

Yes this works! (+1) Good observation!

Otto Bretscher - 5 years, 2 months ago
Aakash Khandelwal
Mar 28, 2016

Checking out few terms we have the series as 1 , 0 , 2 , 1 , 3 , 2 , 4.... 1,0,2,-1,3,-2,4.... . Hence a 2016 a_{2016} is clearly equal to 1007 \boxed{\boxed{-1007}}

You never know for sure whether a pattern persists after "a few terms". Better to give a proof as @Tom Van Lier did.

Otto Bretscher - 5 years, 2 months ago
沂泓 纪
Mar 27, 2016

It is easy to recognize the pattern is that when n is odd a(n) is simply (n+1)/2,then a(n+1) is -n/2+1/2.Above conclusion can be proven by mathematical induction.

a2016 =1-1+2-3+4-5+...+2014-2015=-1007 so the answer is -1007

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...