Local contraction proof for Newton iteration
= Local contraction proof for Newton iteration
For the Newton map $g(x)=x-f(x)/f'(x)$ near a simple root $r$,
$$
g'(x)=\frac{f(x)f''(x)}{f'(x)^2},
\qquad g'(r)=0.
$$
Bounds $|f'|\geq\delta$ and $|f''|\leq M$ make $|g'|<1$ on a sufficiently small closed interval around $r$. The contraction mapping theorem then gives the unique local fixed point.