$a_1=1/2, a_{n+1}=\sqrt{1-a_n}$. Does it converge? 
Define $\{a_n\}$ by $a_1=1/2, a_{n+1}=\sqrt{1-a_n}$. Does it converge?

My Work:
This sequence is neither increasing nor decreasing, but intuitively i can see that it converges. So in such case how do I show that it converges? Please help.
 A: Let $f(x) = \sqrt{1-x}$. If you can find an interval $[a,b]$ such that $f([a,b]) \subseteq [a,b]$ and that for some $k \le 1$, you have $|f'(x)| \le k$ for all $x \in [a,b]$, then $f(x) = \sqrt{1-x}$ is a contraction map on $[a,b]$. 
This means there is a unique $x_0 \in [a,b]$ such that $f(x_0) = x_0$, and the sequence $\{a_n\}$ given by $a_{n+1} = f(a_n)$ converges to $x_0$ for any initial term $a_1 \in [a,b]$. 
It's not hard to pick an interval like $[\frac{1}{2},\frac{1}{\sqrt{2}}]$ and show that the above conditions are satisfied.
Also, you can find this fixed point by solving $x_0 = \sqrt{1-x_0}$.  
A: define the function
$$
f:(0,1) \to (1,\frac54]
$$
by the transformation
$$
f(x) = x+\sqrt{1-x}
$$
the terms of the series satisfy ($n \ge 1$)
$$
a_{n+1}^2 - a_n^2 = a_n-a_{n-1}
$$
giving
$$
\frac{|a_{n+1}-a_{n}|}{|a_n - a_{n-1}|} = \frac1{a_{n+1}+a_n} =\frac1{f(a_n)}\lt 1
$$
this may be useful, though further work is required
A: First of all, it is easy to check that $0\leq a_n\leq 1$.
Now, by evaluating $a_{n+1}-a_n$, you can find that $a_{n+1}\leq a_n$ iff $a_n\geq \frac{-1+\sqrt5}{2}$, and by the definision you can find that $a_{n+1}\geq \frac{-1+\sqrt5}{2}$ iff $a_n\leq \frac{-1+\sqrt5}{2}$.
Finally, you can prove by induction that $\{a_{2n}\}$ is a decreasing sequence, and that $\{a_{2n-1}\}$ is an increasing series, and that $\lim_{n\rightarrow \infty}(a_{n+1}-a_n)=0$, and so by Cantor's intersection theorem (http://en.wikipedia.org/wiki/Cantor%27s_intersection_theorem), $\{a_n\}$
