The double-step Newton method for polynomials with all real zeros

This note is a self-contained proof of an interesting property of the double-step Newton method, applied to the computation of the largest or smallest zero of a real polynomial with all real zeros. It deals with what occurs when the iterates overshoot the zero. Our proof technique seems more transparent than the one usually found in the literature, and may make future extensions of the theorem possible.