 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

For every $n\geq0$, direct algebra gives
$$
a_{n+1}^2-c=\frac{(a_n^2+c)^2-4ca_n^2}{4a_n^2}=\frac{(a_n^2-c)^2}{4a_n^2}\geq0.
$$
Thus $\boxed{a_n^2\geq c\text{ for every }n\geq1}$. This identity is the key estimate in <Newton iteration for a square root>.

 Back to article page