Skip to main content

Numerical Optimization

Secant Method

A derivative-free root-finding method that approximates Newton's method using two previous function evaluations, achieving superlinear convergence of order approximately 1.618.

CoreTier 2StableSupporting~30 min

Prerequisites

Learning position

Place this page in a reading path.

numerical-optimization | layer 1 | tier 2. This page has 1 direct prerequisite and 1 published dependent.

What next

Quasi-Newton Methods

This is the first curated or graph-derived continuation from the current page.

Evidence badge

Claim status

This page has no public Lean mapping yet. Use the evidence page to inspect how claim status labels work.

Show the backing system

Why This Matters

Newton's method requires computing f′(x)f'(x) at every iteration. In many practical settings, the derivative is expensive, unavailable, or numerically unstable. The secant method replaces the exact derivative with a finite difference approximation using two prior iterates, sacrificing some convergence speed (superlinear instead of quadratic) but eliminating the derivative requirement entirely.

Mental Model

Newton's method uses the tangent line at xnx_n to find the next iterate. The secant method uses the secant line through (xn−1,f(xn−1))(x_{n-1}, f(x_{n-1})) and (xn,f(xn))(x_n, f(x_n)). This secant line approximates the tangent line, and the approximation improves as xn−1x_{n-1} and xnx_n converge to the root.

Formal Setup

Definition

Secant Method

Given two initial points x0,x1x_0, x_1 and a function ff, the secant method generates iterates:

xn+1=xn−f(xn)⋅xn−xn−1f(xn)−f(xn−1)x_{n+1} = x_n - f(x_n) \cdot \frac{x_n - x_{n-1}}{f(x_n) - f(x_{n-1})}

The fraction (f(xn)−f(xn−1))/(xn−xn−1)(f(x_n) - f(x_{n-1}))/(x_n - x_{n-1}) is the finite difference approximation to f′(xn)f'(x_n).

The method requires two starting points but only one function evaluation per iteration (since f(xn−1)f(x_{n-1}) was already computed in the previous step). Newton's method requires one starting point but needs both f(xn)f(x_n) and f′(xn)f'(x_n) per iteration.

Main Theorems

Theorem

Superlinear Convergence of the Secant Method

Statement

Let rr be a simple root of ff (meaning f(r)=0f(r) = 0 and f′(r)≠0f'(r) \neq 0). If f∈C2f \in C^2 near rr and the initial points x0,x1x_0, x_1 are sufficiently close to rr, then the secant method converges with order φ=(1+5)/2≈1.618\varphi = (1 + \sqrt{5})/2 \approx 1.618 (the golden ratio):

∣xn+1−r∣≤C∣xn−r∣φ|x_{n+1} - r| \leq C |x_n - r|^{\varphi}

for a constant CC depending on f′′(r)/f′(r)f''(r)/f'(r).

Intuition

The convergence order satisfies p2=p+1p^2 = p + 1 because each secant step uses information from two previous iterates. Solving this quadratic gives p=φp = \varphi. This is strictly between linear (p=1p = 1, bisection) and quadratic (p=2p = 2, Newton).

Proof Sketch

Define the error en=xn−re_n = x_n - r. Taylor expand f(xn)=f′(r)en+12f′′(r)en2+O(en3)f(x_n) = f'(r)e_n + \frac{1}{2}f''(r)e_n^2 + O(e_n^3). Substitute into the secant recurrence and show that en+1≈f′′(r)2f′(r)enen−1e_{n+1} \approx \frac{f''(r)}{2f'(r)} e_n e_{n-1}. Setting ∣en+1∣∼C∣en∣p|e_{n+1}| \sim C |e_n|^p and using ∣en∣∼C∣en−1∣p|e_n| \sim C |e_{n-1}|^p, we get ∣en∣p⋅∣en∣1/p∼∣en∣p+1/p|e_n|^p \cdot |e_n|^{1/p} \sim |e_n|^{p+1/p}. Matching exponents gives p=1+1/pp = 1 + 1/p, so p2=p+1p^2 = p + 1, which yields p=φp = \varphi.

Why It Matters

The golden ratio convergence order is a clean example of how recycling past information (two points instead of one) can accelerate convergence without additional computation. Per function evaluation, the secant method is often more efficient than Newton because Newton needs both ff and f′f' while secant needs only ff.

Failure Mode

The method fails if f(xn)=f(xn−1)f(x_n) = f(x_{n-1}) (division by zero in the secant formula). It also has no guaranteed convergence from arbitrary starting points, unlike bisection. If the starting points are far from the root or f′(r)=0f'(r) = 0 (multiple root), convergence degrades or fails entirely.

Comparison With Other Methods

MethodConvergence orderDerivatives neededEvaluations per stepGuaranteed convergence
Bisection1 (linear)None1Yes (if bracket exists)
Secant~1.618 (superlinear)None1No
Newton2 (quadratic)f′f'2 (ff and f′f')No

Efficiency per evaluation: Newton converges in fewer iterations, but each iteration costs two function evaluations (counting f′f' as one evaluation). The secant method uses one evaluation per step. The efficiency index (convergence order per evaluation) is 21/2≈1.412^{1/2} \approx 1.41 for Newton and φ1/1≈1.62\varphi^{1/1} \approx 1.62 for secant. By this measure, secant is more efficient.

Canonical Examples

Example

Solving x^3 - 2 = 0

Starting from x0=1,x1=2x_0 = 1, x_1 = 2 with f(x)=x3−2f(x) = x^3 - 2:

  • x2=2−6⋅2−16−(−1)=2−6/7≈1.1429x_2 = 2 - 6 \cdot \frac{2 - 1}{6 - (-1)} = 2 - 6/7 \approx 1.1429
  • x3≈1.2097x_3 \approx 1.2097
  • x4≈1.2650x_4 \approx 1.2650
  • x5≈1.2599x_5 \approx 1.2599 (true root: 23≈1.25992\sqrt[3]{2} \approx 1.25992)

Convergence to 4 decimal places in 5 iterations, with no derivative computation. The error roughly contracts by a factor of φ≈1.618\varphi \approx 1.618 in the exponent each step, matching the superlinear-convergence theorem.

Common Confusions

Watch Out

Secant method is not the same as the method of false position

The method of false position (regula falsi) also uses a secant line, but it maintains a bracket [a,b][a, b] with f(a)f(b)<0f(a)f(b) < 0, guaranteeing convergence. The secant method always uses the two most recent iterates, which can both be on the same side of the root. Regula falsi sacrifices convergence speed for safety.

Watch Out

Superlinear does not mean faster than Newton in iterations

The secant method takes more iterations than Newton to reach the same accuracy. The advantage is per-function-evaluation efficiency, not per-iteration speed. If f′f' is cheap (e.g., automatic differentiation is available), Newton is usually preferable.

Exercises

ExerciseCore

Problem

Derive the secant update formula by replacing f′(xn)f'(x_n) in Newton's method xn+1=xn−f(xn)/f′(xn)x_{n+1} = x_n - f(x_n)/f'(x_n) with the finite difference approximation using xn−1x_{n-1} and xnx_n.

ExerciseAdvanced

Problem

Show that the convergence order pp of the secant method satisfies p2−p−1=0p^2 - p - 1 = 0, and explain why this equation arises from the error recurrence en+1≈C⋅en⋅en−1e_{n+1} \approx C \cdot e_n \cdot e_{n-1}.

References

Canonical:

  • Burden & Faires, Numerical Analysis, 10th ed., Cengage (2015), Chapter 2.3
  • Stoer & Bulirsch, Introduction to Numerical Analysis, 3rd ed., Springer (2002), Chapter 5
  • Ostrowski, Solution of Equations and Systems of Equations, 2nd ed., Academic Press (1966)
  • Traub, Iterative Methods for the Solution of Equations, Prentice-Hall (1964)
  • Dennis & Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations, SIAM (1996), Chapter 2

Current:

  • Nocedal & Wright, Numerical Optimization, 2nd ed., Springer (2006), Chapter 11
  • Kelley, Solving Nonlinear Equations with Newton's Method, SIAM (2003)

Next Topics

Last reviewed: April 27, 2026

Cite this page

Sneiderman, Robby. "Secant Method." TheoremPath, reviewed 2026-04-27. https://theorempath.com/topics/secant-method

Canonical URL
https://theorempath.com/topics/secant-method
Author
Robby Sneiderman, TheoremPath
Last reviewed
2026-04-27
What this is
A reference page on TheoremPath. Written and maintained by the named author. Not peer reviewed and not refereed by any venue. Each claim below carries its own verification status.
Terms
All rights reserved. Non-commercial quotation with attribution permitted.

Citing one claim

One statement on this page is separately addressable. Each carries an identifier of the form claim:<topic>::<statement> printed beside it, and resolves to that identifier's anchor on this URL. Quote the statement, its assumptions, and its failure modes together.

Recorded verification on this page: 1 informal_only.

  • This page is a secondary source. Where a claim cites literature, the result is due to that source and not to this site.
  • 1 of 1 claims on this page name no source. Their attribution to the literature is not recorded here, whatever their verification status says.
  • 1 of 1 carry neither a source nor a proof check. Their provenance is the author's reading of the literature; check them against a primary source before relying on them.
  • Statements are given in LaTeX exactly as authored. The rendered page passes the same LaTeX through KaTeX, so text scraped from the HTML repeats expressions and drops radicals; quote from statementTex.

/claims.json lists 1,178 of the 1,231 statements this site records, with the anchor and the recorded verification of each. What earns a place in it: a theorem, lemma, corollary, or proposition block on a published topic page. Definitions are not listed, and neither are the 27 statements on comparison pages. A missing entry means the rule above did not select the statement, not that this site is silent on the result.

Canonical graph

Required before and derived from this topic

These links come from prerequisite edges in the curriculum graph. Editorial suggestions are shown here only when the target page also cites this page as a prerequisite.

Required prerequisites

1

Derived topics

1

Graph-backed continuations