Recurring Styles #12 - Limit of a Recurrence!

Calculus Level 5

S = n = 1 a 2 n + 2 a n 1 2 a n + 1 2 \large{ S = \sum_{n=1}^\infty \dfrac{a_{2n+2}}{a^2_{n-1} a^2_{n+1}} }

Let ( a n ) (a_n) be a sequence defined by a 0 = 1 , a 1 = 2 a_0 = 1, a_1 = 2 , and for n 2 n \geq 2 , a n = a n 1 + a n 2 a_n = a_{n-1} + a_{n-2} . If S S can be expressed as A B \dfrac{A}{B} where A , B Z + , gcd ( A , B ) = 1 A,B \in \mathbb Z^+, \ \gcd(A,B)=1 . Submit the value of A + B A+B as your answer.


The answer is 9.

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 can first observe that the sequence { a n } \{a_{n}\} is just the Fibonacci sequence with an index displacement of 2 , 2, (i.e., a n = F n + 2 a_{n} = F_{n+2} ), in which case we see that

S = n = 3 F 2 n F n 1 2 F n + 1 2 . S = \displaystyle\sum_{n=3}^{\infty} \dfrac{F_{2n}}{F_{n-1}^{2}F_{n+1}^{2}}.

Now F 2 n = F n + 1 2 F n 1 2 , F_{2n} = F_{n+1}^{2} - F_{n-1}^{2}, , (*), (proof below), so

S = n = 3 ( 1 F n 1 2 1 F n + 1 2 ) , S = \displaystyle\sum_{n=3}^{\infty} \left(\dfrac{1}{F_{n-1}^{2}} - \dfrac{1}{F_{n+1}^{2}} \right),

which is a telescoping series with terms canceling pairwise except for the first components of the first two bracketed terms. Thus

S = 1 F 2 2 + 1 F 3 2 = 1 1 2 + 1 2 2 = 5 4 . S = \dfrac{1}{F_{2}^{2}} + \dfrac{1}{F_{3}^{2}} = \dfrac{1}{1^{2}} + \dfrac{1}{2^{2}} = \dfrac{5}{4}.

We then see that A + B = 5 + 4 = 9 . A + B = 5 + 4 = \boxed{9}.

Proof of (*): Note first that

F m + n = F m + 1 F n + F m F n 1 , F_{m+n} = F_{m+1}F_{n} + F_{m}F_{n-1},

which can be proved by induction on n . n. With m = n m = n we then have that

F 2 n = F n + 1 F n + F n F n 1 = F n ( F n + 1 + F n 1 ) = F_{2n} = F_{n+1}F_{n} + F_{n}F_{n-1} = F_{n}(F_{n+1} + F_{n-1}) =

( F n + 1 F n 1 ) ( F n + 1 + F n 1 ) = F n + 1 2 F n 1 2 . (F_{n+1} - F_{n-1})(F_{n+1} + F_{n-1}) = F_{n+1}^{2} - F_{n-1}^{2}.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...