Define a sequence $\{a_n\}$ as: $\left\{\begin{aligned}& a_1=1 \\ & a_{n+1}=3-\frac{a_{n}+2}{2^{a_{n}}}\ \ \text{for} \ n\geq 1.\end{aligned}\right.$
Prove that this sequence has a finite limit as $n\to+\infty$ . Also determine the limit.
VNMO 2013
- Phlembac Adib Hasan
- Posts:1016
- Joined:Tue Nov 22, 2011 7:49 pm
- Location:127.0.0.1
- Contact:
- zadid xcalibured
- Posts:217
- Joined:Thu Oct 27, 2011 11:04 am
- Location:mymensingh
Re: VNMO 2013
Define the function $f(x)=\frac{x+2}{2^x}$
$f'(x)=2^{-x}$ $(1-(x+2) ln2)$.
As $x>1$,$f'(x)<2^{-x}(1-ln8)<0$
so this function is decreasing.
Which implies the sequence $a_n$ is increasing.
Now by induction we can show that $a_n \leq 2$ for all $n$.
actually this is the limit.
$f'(x)=2^{-x}$ $(1-(x+2) ln2)$.
As $x>1$,$f'(x)<2^{-x}(1-ln8)<0$
so this function is decreasing.
Which implies the sequence $a_n$ is increasing.
Now by induction we can show that $a_n \leq 2$ for all $n$.
actually this is the limit.
- Phlembac Adib Hasan
- Posts:1016
- Joined:Tue Nov 22, 2011 7:49 pm
- Location:127.0.0.1
- Contact:
Re: VNMO 2013
My Proof:
I approached in the same way of Zadid bhai to show $a_i$ is non-decreasing.
Suppose for some integer $k\ge 1$, $a_{k+1}>2$. Define $g(x)=2^x-x-2$. $g(1)<0,\; \; g(2)=0$
Show that $g$ is an increasing function. So
\[a_{k+1}>2\Longleftrightarrow g(a_k)>0\Longleftrightarrow a_k>2\]
By the same argument (or better to say some kind of induction) we deduce that $a_1>2$. A contradiction. So $a_n\leq 2$. The rest is trivial.
I approached in the same way of Zadid bhai to show $a_i$ is non-decreasing.
Suppose for some integer $k\ge 1$, $a_{k+1}>2$. Define $g(x)=2^x-x-2$. $g(1)<0,\; \; g(2)=0$
Show that $g$ is an increasing function. So
\[a_{k+1}>2\Longleftrightarrow g(a_k)>0\Longleftrightarrow a_k>2\]
By the same argument (or better to say some kind of induction) we deduce that $a_1>2$. A contradiction. So $a_n\leq 2$. The rest is trivial.
Welcome to BdMO Online Forum. Check out Forum Guides & Rules
Re: VNMO 2013
Easier way to prove this function is decreasing : just take $\lg$, $\lg f(x) = \lg (x+2) - x $, which is decreasing.zadid wrote:Define the function $f(x)=\frac{x+2}{2^x}$
$f'(x)=2^{-x}$ $(1-(x+2) ln2)$.
As $x>1$,$f'(x)<2^{-x}(1-ln8)<0$
so this function is decreasing.
Please read Forum Guide and Rules before you post.
Use $L^AT_EX$, It makes our work a lot easier!
Nur Muhammad Shafiullah | Mahi
Use $L^AT_EX$, It makes our work a lot easier!
Nur Muhammad Shafiullah | Mahi