Proof that rational sequence converges to irrational number Let $a>0$ be a real number and consider the sequence $x_{n+1}=(x_n^2+a)/2x_n$.
I have already shown that this sequence is monotonic decreasing and thus convergent, now I have to show that $(\lim x_n)^2 = a$ and thus exhibit the existence of a positive square root of $a$. (because we took $x_1 > 0$

The recursive definition can be solved exactly. Write a^2 instead of a and consider the sequence $(x(n)+a))/(x(n)-a)$.
Then $(x(n)+a)/(x(n)-a) =
= (.5*x(n-1)+.5*a^2/x(n-1)+a)/(.5*x(n-1)+.5*a^2/x(n-1)-a) =
= (x(n-1)^2+2*a*x(n-1)+a^2)/(x(n-1)^2-2*a*x(n-1)+a^2) =
= ((x(n-1)+a)/(x(n-1)-a))^2 =$
Thus $(x(n)+a)/(x(n)-a) = ((x(0)+a)/(x(0)-a))^{(2^n)}$.
This proves (very) rapid convergence to +a whenever $|x(0)-a)|<|x(0)+a)|$ and to -a whenever$|x(0)+a)|<|x(0)-a)|$. This holds even when a is complex and complex sequences are considered. You could work out, for instance, the case of a purely imaginary root and real starter $x(0)$...
PS: This works only in this (Babylonian) case.  
