# How to show alternate term order of given sequence?

I am solving excercise of Baby Rudin Chapter 3 problem 17.
Fix $\alpha >1$. Take $x_1>{\sqrt \alpha }$.
and define $$x_{n+1}=\frac {\alpha+x_n}{1+x_n}$$

Then show that $x_1>x_3>x_5>x_7.....$
and $x_2 < x_4<x_6<x_8<....$
I can show limit of sequence of $x_n$ as ${\sqrt \alpha}$ by substituting $x$ instead of recurring term in given relation and solving relation. I had tried to solve relation that have to find but not able to find .
Any help will be appreciated .
Thanks a lot.

Clearly $x_n>0$ for each $n$. Now calulate

\begin{eqnarray} d_n:= x_{n+2}-x_n &=& {\alpha +\frac {\alpha+x_n}{1+x_n}\over 1+\frac {\alpha+x_n}{1+x_n}}-x_n \\ &=&\frac {2\alpha+x_n(\alpha+1)}{1+\alpha+2x_n}-x_n\\&=& 2\frac {\alpha-x_n^2}{1+\alpha+2x_n} \end{eqnarray}

So if $x_n>\sqrt{\alpha}$ then $d_n<0$, so $x_{n+2}<x_n$ and

if $x_n<\sqrt{\alpha}$ then $d_n>0$, so $x_{n+2}>x_n$

• Sir I had calculated but unble to relate between $\alpha$ and $x_n$ – MathLover May 1 '18 at 8:00
• Yes Sir Thanks .But I am not still understanding how to relate even and odd terms ...Could you help further ? – MathLover May 1 '18 at 8:05
• I correct it... – Aqua May 1 '18 at 8:07
• @ChristianF you also have to know for what values of $n$ you get $x_n>\sqrt {\alpha}$. For example $x_1>\sqrt {\alpha}$ and your proof shows $x_3 <x_1$ so we do not yet know if $x_3>\sqrt {\alpha}$. – Kavi Rama Murthy May 1 '18 at 8:13
• I suppose students have to do some work on their own, don't you? – Aqua May 1 '18 at 8:15

$\frac {\alpha +x} {1+x}$ is a decreasing fucntion of $x$ becuass its derivative is negative. If $x_n>\sqrt {\alpha}$ then $$x_{n+1} =\frac {\alpha +x_n} {1+x_n} <\frac {\alpha +\sqrt {\alpha}} {1+\sqrt {\alpha}}=\sqrt {\alpha}$$ and if $x_n<\sqrt {\alpha}$ then $x_{n+1}>\sqrt {\alpha}$. Since $x_1 >\sqrt {\alpha}$ to follows that $x_n>\sqrt {\alpha}$ for all odd values of $n$ and $x_n<\sqrt {\alpha}$ for all even vaues of $n$. Now write $x_{n+2}$ in terms of $x_n$ by applying the given formula twice. You get $$x_{n+2}-x_n=\frac {2(\alpha -x_n^{2})} {1+\alpha+2x_n}$$. Hence $x_{n+2}>x_n$ if $n$ is even and $x_{n+2}<x_n$ if $n$ is odd. Now $\{x_{2n}\}$ and $\{x_{2n+1}\}$ have limits and if you take limit in the formula $$x_{n+2}-x_n=\frac {2(\alpha -x_n^{2})} {1+\alpha+2x_n}$$ you see that both sequences converge to $\sqrt {\alpha}$.

• Sir , Can you explain second line ?As ${\alpha +x_n}>{\alpha + \sqrt{ \alpha }}$ , ${1 +x_n} < {1+ \sqrt{ \alpha }}$ How division of both hold that inequality? – MathLover May 1 '18 at 8:14
• Sir I understood solution only thing remain to understand is as my first comment Please Help me .@Kavi Rama Murthy – MathLover May 1 '18 at 8:25
• @SRJ that is where I use the fact that the ratio is a decreasing function. Don't look at the numerator and denominator separately but look at the ratio as one decreasing function. – Kavi Rama Murthy May 2 '18 at 9:53