A sequence $\left\{x_n\right\}$ is given by $x_1>0$ and $x_{n+1}=\frac{3(1+x_n)}{5+x_n}$ for all $n\in\mathbb{N}$.
How can I prove that
- The sequence $\left\{x_n\right\}$ is monotone increasing if $0<x_1<1$.
- The sequence $\left\{x_n\right\}$ is monotone decreasing if $x_1>1$.
I cannot prove this. Should I prove this by assuming first that the sequence is monotone increasing and thereby deduce the range of $x_1$, or what?
Please anyone help me solving it. Thanks in advance.
For the case $0<x_1<1$, we'll prove by induction that $0<x_n<1$.
Induction basis: $0<x_1<1$.
Induction step: Assume $0<x_n<1$. The inequality $0<x_{n+1}$ is obvious from the recursive formula because of $0<x_n$. Additionally, we have
$$x_{n+1}=\frac{3(1+x_n)}{5+x_n}=\frac{3+3x_n}{5+x_n}<\frac{5+x_n}{5+x_n}=1.$$
Thus, the induction is complete and $0<x_n<1$ holds for all $n$.
This implies
$$x_{n+1}=\frac{3(1+x_n)}{5+x_n}>\frac{3(1+x_n)}{5+1}=\frac{1}{2}(1+x_n)>\frac{1}{2}(x_n+x_n)=x_n$$
and hence, the sequence is monotonically increasing.
The second statement for the case $x_1>1$ is proved analogously.