prove two dependent sequences converge Please help with my homework question:
Define $\{a_n\}_{n=1}^{\infty}$, $\{b_n\}_{n=1}^{\infty}$ as:
$b_{n+1}=\frac{a_n+b_n}{2}, a_{n+1}=\frac{a_n^2+b_n^2}{a_n+b_n}, 0<b_1<a_1$
Prove the limits converge and that $\lim \limits_{n \to \infty}a_n = \lim \limits_{n \to \infty}b_n $.
I have tried to show that they are monotone and bounded, tried looking for a property of arithmetic mean (related to $b_n$) but I'm completely stuck as none of these yielded anything useful.
Any help would be appreciated

You may turn it into a fixpoint problem as follows:


*

*Consider $q_n = \frac{b_n}{a_n} \Rightarrow 0<q_1 <1$ and $a_1 >0$ and you have


$$a_{n+1} = a_n\frac{1+q_n^2}{1+q_n} \mbox{ and } q_{n+1} = \frac{1}{2}\frac{(1+q_n)^2}{1+q_n^2}$$
Now, it is enough to show that $\boxed{\lim_{n\to \infty}q_n = 1}$.
To do so, consider $f(x) = \frac{1}{2}\frac{(1+x)^2}{1+x^2}$ and check the following properties:


*

*$f:[0,1] \Rightarrow [\frac{1}{2},1]$, because for $x \in [0,1]$ you have
$$f(x) = \frac{1}{2}\left(1+\frac{2x}{1+x^2} \right)\leq \frac{1}{2}\left(1+\frac{1+x^2}{1+x^2} \right)=1$$
$$f(x)=\frac{1}{2}\frac{(1+x)^2}{1+x^2}\geq \frac{1}{2}\frac{(1+x)^2}{1+x}=\frac{1}{2}(1+x)\geq \frac 12$$

*$f$ has the fixpoint $x=1$ since $f(1) = 1$.

*$f'(x) = \frac{1-x^2}{(1+x^2)^2}$ and for $x \in [\frac{1}{2},1]$ you have
$$0\leq f'(x) = \frac{1-x^2}{(1+x^2)^2} \leq 1-x^2 \leq \frac 34$$
So, $f$ is a contraction on $[\frac 12, 1]$ and you can conclude that $q_n$ converges to the fixpoint $x=1$. 
Since $a_{n+1} = a_n \frac{1+q_n^2}{1+q_n} \stackrel{q_n \in [0,1]}{\leq}a_n \frac{1+q_n}{1+q_n}=a_n$, you see that $a_n$ is decreasing and bounded from below (by $0$). So, $a_n$ is convergent and hence $b_n$, too and they must have the same limit.
