{ a n } is a sequence such that a 1 = 3 4 , a n + 1 = a n 2 − a n + 1 , the recurrence holds for integer n ≥ 2 .
For every positive integer n ≥ 1 , what is the set of all possible values of ⌊ i = 1 ∑ n a i 1 ⌋ ?
Warning: This sequence is proved to have no closed form . Don't waste your time trying to find the formula of { a n } .
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.
But n is claimed to be ≥ 2 . So the answer must be { 1 , 2 }.
Log in to reply
No, the recurrence relation is only defined for n ≥ 2 , because it is linking x n and x n − 1 (and x 0 does not exist), but x n exists for all n ≥ 1 . Thus S n exists for all n g e 1 .
But that should be clearly explained. Many other like me can think it wrong.
Log in to reply
It seems that the question has been clarified. However, according to the way you read the problem, if I define the Fibonacci numbers by the recurrence relation F 0 = 0 F 1 = 1 F n = F n − 1 + F n − 2 ( n ≥ 2 ) and then talk later about the sequence of Fibonacci numbers ( F n ) n , you would argue that I am no longer talking about F 0 and F 1 , which is clearly wrong. In the definition, the condition n ≥ 2 defines the range of validity of the dummy variable n in the recurrence relation, and does not define the domain of F , since the full definition (recurrence relation plus initial conditions) defines F n for all n ≥ 0 .
What was your motivation behind this beautiful solution, Sir?
From a n + 1 = a n 2 − a n + 1 , we obtain a n + 1 1 ≤ a n + 1 − 1 1 = a n − 1 1 − a n 1 .
This gives a 3 1 ≤ a 1 1 − a 2 1 , a 4 1 ≤ a 2 1 − a 3 1 etc, so taking summations we get ∑ i = 1 n a i 1 ≤ a 1 1 + a 2 1 + a 1 1 − a n − 1 1 = 1 3 2 9 − a n − 1 1 < 3 for n ≥ 3 .
It is easy to observe that the a i are always positive (in fact >1) from a n + 1 = a n ( a n − 1 ) + 1 . Therefore, ⌊ ∑ i = 1 n a i 1 ⌋ < 3 and so can only take the values 0 , 1 , 2 .
Finally, it is easy to observe that ⌊ a 1 1 ⌋ = 0 , ⌊ a 1 1 + a 2 1 ⌋ = 1 and ⌊ a 1 1 + a 2 1 + a 3 1 ⌋ = 2 , hence the answer.
Problem Loading...
Note Loading...
Set Loading...
Define S n = j = 1 ∑ n x j − 1 It is easy to calculate that ⌊ S 1 ⌋ = 0 , ⌊ S 2 ⌋ = 1 and ⌊ S 3 ⌋ = 2 .
It is also a simple induction to show that x n > 1 for all n ≥ 1 , and therefore that x n + 1 − x n = ( x n − 1 ) 2 > 0 for all n ≥ 1 , so that the sequence x n is increasing. Now note that x n − 1 1 − x n + 1 − 1 1 = ( x n − 1 ) ( x n + 1 − 1 ) x n + 1 − x n = ( x n − 1 ) x n ( x n − 1 ) ( x n − 1 ) 2 = x n 1 for all n ≥ 1 , so that S n = j = 1 ∑ n x j − 1 = j = 1 ∑ n ( x j − 1 1 − x j + 1 − 1 1 ) = x 1 − 1 1 − x n + 1 − 1 1 = 3 − x n + 1 − 1 1 < 3 for all n ≥ 1 . Thus ( S n ) n is an increasing sequence that is bounded above, and so it converges. Hence x n − 1 → 0 as n → ∞ , so that x n → ∞ as n → ∞ . But this implies that S n → 3 as n → ∞ . Since S n < 3 for all n ≥ 1 , with lim n → ∞ S n = 3 , we deduce that the correct answer is { 0 , 1 , 2 } .
As simple calculations show, the sequence ( x n ) n diverges to ∞ extremely rapidly!