deepdream of
          a sidewalk
Show Question
Math and science::Analysis::Tao::06. Limits of sequences

Square root, expressed as the limit of a sequence

Let cR be a real. The sequence defined recursively below converges, and it converges to c.

Let x1=c, and let xn be defined like so:

xn+1=12(xn+cxn)

Proof by induction (any other typical methods) can be used to show that sequences defined recursively like this do (or don't) converge.

Intuition

The outer 12 factor can be seen as taking an average of the two inner terms. Inspecting the second term, 12(c+cc)=c+12, the third, 12(c+12+c2c+1), and so on, one can be convinced that this sequences is increasing starting from the third term. In addition, it can be seen that the terms don't surpass c. While not a exactly convincing as a proof, you can check if a term did surpass c, then the following term would be less than that term.


Source

Abbott, p54