TOPICS
Search

Halley's Method


Halley's method is an algorithm for finding roots, also known as the tangent hyperbolas method or Halley's rational formula. As in Halley's irrational formula, take the second-order Taylor series of an analytic function f

 f(x)=f(x_n)+f^'(x_n)(x-x_n)+1/2f^('')(x_n)(x-x_n)^2+....
(1)

A root of f(x) satisfies f(x)=0, so

 0 approx f(x_n)+f^'(x_n)(x_(n+1)-x_n)+1/2f^('')(x_n)(x_(n+1)-x_n)^2.
(2)

Setting the quadratic approximation to zero gives

 0=f(x_n)+(x_(n+1)-x_n)[f^'(x_n)+1/2f^('')(x_n)(x_(n+1)-x_n)],
(3)

giving

 x_(n+1)=x_n-(f(x_n))/(f^'(x_n)+1/2f^('')(x_n)(x_(n+1)-x_n)).
(4)

Using the estimate from Newton's method,

 x_(n+1)-x_n approx -(f(x_n))/(f^'(x_n)),
(5)

gives

 x_(n+1)=x_n-(2f(x_n)f^'(x_n))/(2[f^'(x_n)]^2-f(x_n)f^('')(x_n)),
(6)

so the iteration function is

 H_f(x)=x-(2f(x)f^'(x))/(2[f^'(x)]^2-f(x)f^('')(x)).
(7)

At a simple root alpha, H_f^'(alpha)=H_f^('')(alpha)=0, giving at least cubic convergence for starting values sufficiently close to alpha. Curiously, the third derivative

 H_f^(''')(alpha)=-{(f^(''')(alpha))/(f^'(alpha))-3/2[(f^('')(alpha))/(f^'(alpha))]^2}
(8)

is the negative of the Schwarzian derivative at alpha. Halley's method may also be derived by applying Newton's method to ff^('-1/2). It may also be derived by using an osculating curve of the form

 y(x)=((x-x_n)+c)/(a(x-x_n)+b).
(9)

Taking derivatives,

f(x_n)=c/b
(10)
f^'(x_n)=(b-ac)/(b^2)
(11)
f^('')(x_n)=(2a(ac-b))/(b^3),
(12)

which has solutions

a=-(f^('')(x_n))/(2[f^'(x_n)]^2-f(x_n)f^('')(x_n))
(13)
b=(2f^'(x_n))/(2[f^'(x_n)]^2-f(x_n)f^('')(x_n))
(14)
c=(2f(x_n)f^'(x_n))/(2[f^'(x_n)]^2-f(x_n)f^('')(x_n)),
(15)

so at a root, y(x_(n+1))=0 and

 x_(n+1)=x_n-c,
(16)

which is Halley's method.

Basti and Cremaschi (2026) proved that the quartic function

 P(z)=24z^4-35z^3-2z+2
(17)

has four distinct roots, but its Halley map has an extraneous attracting two-cycle, with one point in (-1/10,-49/500) and the other in (-519/1000,-259/500). The absolute value of its multiplier is less than 3/10. Consequently, a nonempty open basin of attraction fails to converge to any root. The same polynomial also has an extraneous superattracting two-cycle for Newton's method.


See also

Halley's Irrational Formula, Householder's Method, Laguerre's Method, Newton's Method

Explore with Wolfram|Alpha

References

Basti, A. and Cremaschi, T. "Simultaneous Global Convergence Failure of Newton's and Halley's Methods in Degree Four." 2 Oct 2026. https://arxiv.org/abs/2610.03246.Ortega, J. M. and Rheinboldt, W. C. Iterative Solution of Nonlinear Equations in Several Variables. Philadelphia, PA: SIAM, 2000.Scavo, T. R. and Thoo, J. B. "On the Geometry of Halley's Method." Amer. Math. Monthly 102, 417-426, 1995.

Referenced on Wolfram|Alpha

Halley's Method

Cite this as:

Weisstein, Eric W. "Halley's Method." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/HalleysMethod.html

Subject classifications