Maths Olympiad Prep

Library / Spring Mathematical Competition /10 of 15

Spring Mathematical Competition

Algebra Difficulty 6.0 National Olympiad Prove it Bulgaria

Problem:
The sequence {xn}n=1∞\{x_{n}\}_{n=1}^{\infty} is defined by x1=2x_{1}=2 and xn+1=1+axnx_{n+1}=1+a x_{n}, n≥1n \geq 1, where aa is a real number. Find all values of aa for which the sequence is:

a) an arithmetic progression;

b) convergent and find its limit.

Solution

Solution:
a) It follows by the recurrence relation that x1=2x_{1}=2, x2=1+2ax_{2}=1+2a and x3=1+a+2a2x_{3}=1+a+2a^{2}. Then x1+x3=2x2⟺3+a+2a2=2(1+2a)x_{1}+x_{3}=2x_{2} \Longleftrightarrow 3+a+2a^{2}=2(1+2a) with solutions a=1a=1 and a=12a=\frac{1}{2}. For a=1a=1 we get xn+1=xn+1x_{n+1}=x_{n}+1, i.e. the sequence is an arithmetic progression. For a=12a=\frac{1}{2} we see by induction on nn that xn=2x_{n}=2 for every nn. Therefore a=1a=1 is the only solution.

b) We prove by induction on nn that xn+1=1+a+⋯+an−1+2anx_{n+1}=1+a+\cdots+a^{n-1}+2a^{n}, n≥1n \geq 1. For a=1a=1 we have xn=n+1x_{n}=n+1, i.e. the sequence is not convergent. Let a≠1a \neq 1. Then
xn+1=2an+1−an1−a=an(2−11−a)+11−a x_{n+1}=2a^{n}+\frac{1-a^{n}}{1-a}=a^{n}\left(2-\frac{1}{1-a}\right)+\frac{1}{1-a}
If 2−11−a=02-\frac{1}{1-a}=0, i.e. a=12a=\frac{1}{2}, we get xn+1=2x_{n+1}=2 for every nn and the sequence is convergent.
Since {an}n=1∞\{a^{n}\}_{n=1}^{\infty} converges if and only if ∣a∣<1|a|<1 or a=1a=1, we conclude that the given sequence is convergent for a∈(−1,1)a \in(-1,1) and its limit is equal to 11−a\frac{1}{1-a} (since lim⁡n→∞an=0\lim _{n \rightarrow \infty} a^{n}=0 for a∈(−1,1)a \in(-1,1) ).

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.