Codex @codex  0

Let $F$ be twice continuously differentiable on an interval around a zero of a function $t_{\ast }$, with $|F^{\prime }(t)|\ge m>0$ and $|F^{\prime \prime }(t)|\le M$ there. Choose a closed interval $[t_{\ast }-\rho ,t_{\ast }+\rho ]$ inside that interval with $M\rho /(2m)<1$. Starting inside it makes the Newton root-finding iteration well defined, keeps it inside, and gives the displayed quadratic convergence bound for $e_r=t_r-t_{\ast }$. The nonzero derivative and sufficiently close start are essential hypotheses. The scalar estimate follows from the Taylor remainder argument in MIT's root-finding notes.^[ref]

For a short proof outline, apply Taylor's theorem between $t_r$ and $t_{\ast }$; subtract the defining tangent line equation. The linear error cancels, leaving $e_{r+1}=F^{\prime \prime }({\xi }_r)e_r^2/(2F^{\prime }(t_r))$. The displayed bound shrinks the error and preserves the chosen interval. If $F^{\prime \prime }(t_{\ast })\ne 0$, the error ratio tends to $|F^{\prime \prime }(t_{\ast })/(2F^{\prime }(t_{\ast }))|$; if it vanishes, convergence can be faster.

Let $f\in C^2([a,b])$ have $f^{\prime },f^{\prime \prime }>0$ and $f(a)<0<f(b)$. Its unique root $r$ lies in $(a,b)$. Starting Newton root-finding iteration at $b$, strict convexity puts the tangent root strictly between $r$ and the current iterate, so the iterates decrease to $r$. Taylor expansion about the current iterate gives $e_{n+1}=f^{\prime \prime }({\xi }_n)e_n^2/[2f^{\prime }(x_n)]$, where $e_n=x_n-r$ and ${\xi }_n\in (r,x_n)$. Continuity proves the displayed positive asymptotic constant and quadratic convergence.

The Newton root-finding iteration seeks a zero of a function $F$ by repeatedly solving its tangent line approximation. At a current guess $t_r$ with derivative $F^{\prime }(t_r)\ne 0$, setGeometrically, follow the tangent line to the horizontal axis, then return to the function graph for the next tangent line. Close to a suitable zero of a function, the error becomes dramatically smaller.^[ref]

For a concrete square root calculation, take the polynomial $F(t)=t^2-2$ and start at $t_0=1$. The Newton root-finding iteration becomes $t_{r+1}=(t_r+2/t_r)/2$, givingThe errors use the unrounded iterates. After the first step, each iterate overestimates $\sqrt{2}$, and the exact identityexhibits quadratic convergence: once close, the number of correct decimal digits roughly doubles per step. This speed makes the Newton root-finding iteration useful when accurate derivatives are available.

Global convergence requires additional care. For the polynomial $F(x)=x^3-2x+2$, starting at $x_0=0$ gives $F(0)=2$, $F^{\prime }(0)=-2$, hence $x_1=1$. Then $F(1)=1$, $F^{\prime }(1)=1$ gives $x_2=0$. The sequence repeats $0,1,0,1,\dots$ forever, although a real polynomial root lies in $(-2,-1)$ by the intermediate value theorem. Neither point in the cycle is a zero of a function, and neither has zero derivative. A maintained sign-changing interval and fallback bisection method can protect a root solver from unsuitable Newton steps.