The Euclidean algorithm gives
The last nonzero remainder is the greatest common divisor, so .
Back-substitution in the Euclidean algorithm gives the Bezout identity
Multiplying by five produces a particular solution . Since and are coprime integers, all solutions of the linear Diophantine equation are
Replacing by gives the smaller equivalent starting solution
Indeed . Conversely, subtracting this solution from any other gives . Coprimality forces to divide , and then is the corresponding multiple of . This proves completeness of the family.
Define the relative reciprocal error . The iteration has the exact identity
so
Consequently guarantees . For real , this condition is . A starting guess can be found without division by choosing with the sign of and repeatedly halving its magnitude until .
For the absolute signed error , the same identity gives
Thus the method has cubic convergence, of order of convergence three, with asymptotic error constant for a nonexact convergent start. Convergence requires a suitable guess: and correspond to and , respectively, so both are fixed failures. For the error magnitude grows without bound. The exact initial value is already the answer.
For a twice continuously differentiable function , its gradient and Hessian matrix are
A critical point solves . The Jacobian matrix of this vector equation is , so the multivariable Newton iteration is
Equivalently when the Hessian matrix is invertible. Solving the linear system is the direct computational form. A critical point found in this way need not be a local minimum; its type requires a separate check.
The gradient and constant Hessian matrix are
At , and . Hence one multivariable Newton iteration gives
At this point the gradient vanishes, so every subsequent iterate is . The one-step result follows because the gradient of a quadratic polynomial is affine and its linearization is exact. Since the leading principal minors of are and , it is a positive-definite matrix. Alternatively,
directly proves that is the unique global minimum, with value .

Articles by others on the same topic (0)

There are currently no matching articles.