The Central Idea

Newton's method uses the derivative

\[ f'(x_n) \]

to estimate the local slope.

The secant method replaces that derivative with the slope through two nearby points:

\[ \boxed{ \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} }. \]

This produces a derivative-free root-finding iteration.

What Is a Secant Line?

A secant line passes through two points on a curve.

For the points

\[ (x_{n-1},f(x_{n-1})) \]

and

\[ (x_n,f(x_n)), \]

the secant slope is

\[ \boxed{ m = \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} }. \]

From Secant Line to Root Estimate

The secant method uses the \(x\)-intercept of the secant line as the next approximation.

Using point-slope form through

\[ (x_n,f(x_n)), \]

we write

\[ y-f(x_n) = m(x-x_n). \]

At the \(x\)-intercept,

\[ y=0. \]

Deriving the Secant Formula

Set \(y=0\):

\[ -f(x_n) = m(x_{n+1}-x_n). \]

Therefore,

\[ x_{n+1} = x_n-\frac{f(x_n)}{m}. \]

Substitute the secant slope:

\[ \boxed{ x_{n+1} = x_n - f(x_n) \frac{x_n-x_{n-1}} {f(x_n)-f(x_{n-1})} }. \]

An Equivalent Form

The same formula is often written as

\[ \boxed{ x_{n+1} = \frac{ x_{n-1}f(x_n)-x_nf(x_{n-1}) }{ f(x_n)-f(x_{n-1}) } }. \]

Both forms produce the same next iterate when the denominator is nonzero.

Two Starting Values Are Required

Unlike Newton's method, which usually begins with one initial guess, the secant method requires two starting values:

\[ \boxed{x_0,\qquad x_1}. \]

These determine the first secant line.

Afterward, the newest two iterates are used to generate the next one.

The Iterative Pattern

Starting with

\[ x_0,\quad x_1, \]

compute

\[ x_2 \]

from \(x_0\) and \(x_1\).

Then compute

\[ x_3 \]

from \(x_1\) and \(x_2\), and continue:

\[ \boxed{ (x_{n-1},x_n) \longrightarrow x_{n+1} }. \]

Example: Approximating \(\sqrt2\)

To approximate \(\sqrt2\), solve

\[ f(x)=x^2-2=0. \]

Choose

\[ x_0=1, \qquad x_1=2. \]

Then

\[ f(1)=-1, \qquad f(2)=2. \]

First Secant Step

Apply

\[ x_2 = x_1 - f(x_1) \frac{x_1-x_0}{f(x_1)-f(x_0)}. \]

Therefore,

\[ x_2 = 2 - 2 \frac{2-1}{2-(-1)}. \] \[ = 2-\frac23. \] \[ \boxed{x_2=\frac43\approx1.333333}. \]

Second Secant Step

Now use

\[ x_1=2, \qquad x_2=\frac43. \]

Since

\[ f\left(\frac43\right) = \frac{16}{9}-2 = -\frac29, \]

the next iterate is

\[ x_3 = \frac43 - \left(-\frac29\right) \frac{\frac43-2}{-\frac29-2}. \]

This gives

\[ \boxed{x_3=1.4}. \]

Continuing the \(\sqrt2\) Iteration

Further secant steps give approximately

\[ x_4\approx1.414634, \] \[ x_5\approx1.414211, \] \[ x_6\approx1.414214. \]

Therefore,

\[ \boxed{\sqrt2\approx1.414214}. \]

A Secant Table for \(\sqrt2\)

\(n\) \(x_n\) \(f(x_n)=x_n^2-2\)
\(0\) \(1.000000\) \(-1.000000\)
\(1\) \(2.000000\) \(2.000000\)
\(2\) \(1.333333\) \(-0.222222\)
\(3\) \(1.400000\) \(-0.040000\)
\(4\) \(1.414634\) \(\approx0.001190\)
\(5\) \(1.414211\) \(\approx-0.000007\)

Geometric Meaning

At each step, the method:

  1. takes two recent points on the graph;
  2. draws the secant line through them;
  3. finds the secant line's \(x\)-intercept;
  4. uses that intercept as the next approximation.

The method replaces tangent information with a two-point slope estimate.

Secant Method versus Newton's Method

Newton's method uses

\[ f'(x_n). \]

The secant method approximates that derivative by

\[ \boxed{ f'(x_n) \approx \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} }. \]

In this sense, the secant method is a derivative-free relative of Newton's method.

Why Avoid the Derivative?

Derivatives may be:

In such situations, secant slopes can be operationally attractive.

Secant Method versus Bisection

Bisection keeps a bracket and halves an interval.

The secant method generally does not preserve a bracket.

Bisection emphasizes reliability.

The secant method often emphasizes faster progress without requiring a derivative.

The Secant Method Is Usually an Open Method

The standard secant method updates two approximations but does not require the root to remain between them.

Therefore, like Newton's method, it is usually classified as an open method.

The next point may fall outside the interval determined by the previous two points.

Bracketing Secant Variants

Some root-finding methods combine a secant-style line with a maintained sign-changing bracket.

A major example is the false-position method, also called regula falsi.

It uses a secant intercept but keeps endpoint signs arranged so that a root remains bracketed.

False Position versus Standard Secant

Both methods begin with two points and use a secant-line intercept.

The difference is what happens afterward.

The standard secant method keeps the two most recent iterates.

False position keeps a sign-changing bracket.

The False-Position Formula

Suppose

\[ f(a)f(b)<0. \]

The secant line through

\[ (a,f(a)) \]

and

\[ (b,f(b)) \]

crosses the \(x\)-axis at

\[ \boxed{ c = b - f(b)\frac{b-a}{f(b)-f(a)} }. \]

Updating False Position

After computing \(c\):

  1. if \(f(c)=0\), stop;
  2. if \(f(a)f(c)<0\), replace \(b\) with \(c\);
  3. otherwise, replace \(a\) with \(c\).

This preserves the sign-changing bracket.

Why the Secant Method Can Be Faster than Bisection

Bisection always uses the midpoint.

The secant method uses function values to estimate where the root is likely to lie.

If the function is close to linear over the relevant region, the secant intercept can land much closer to the root than the midpoint would.

Convergence Rate

Near a suitable simple root, the standard secant method typically converges faster than linearly but slower than Newton's method.

Its order of convergence is approximately

\[ \boxed{ \frac{1+\sqrt5}{2} \approx1.618 }. \]

This number is the golden ratio.

What the Convergence Order Means

Linear convergence has order \(1\).

Newton's standard local convergence near a simple root has order \(2\).

The secant method lies between them:

\[ 1<1.618<2. \]

It often gains accuracy efficiently without paying the cost of derivative evaluation.

Example: Solving \(x^3-x-2=0\)

Let

\[ f(x)=x^3-x-2. \]

Choose

\[ x_0=1, \qquad x_1=2. \]

Then

\[ f(1)=-2, \qquad f(2)=4. \]

First Secant Step for the Cubic

Compute

\[ x_2 = 2 - 4\frac{2-1}{4-(-2)}. \] \[ = 2-\frac46. \] \[ \boxed{x_2=\frac43\approx1.333333}. \]

Continuing the Cubic Example

Further iterations produce values approximately

\[ 1.462687, \] \[ 1.531169, \] \[ 1.520926, \] \[ 1.521376, \] \[ 1.521380. \]

Therefore,

\[ \boxed{x\approx1.52138}. \]

The Denominator Must Not Vanish

The secant formula contains

\[ f(x_n)-f(x_{n-1}) \]

in the denominator.

Therefore, the update fails if

\[ \boxed{ f(x_n)=f(x_{n-1}) }. \]

Geometrically, the secant line would be horizontal and would not have a finite \(x\)-intercept.

A Nearly Zero Denominator Can Be Dangerous

If

\[ f(x_n)-f(x_{n-1}) \]

is very small, the secant slope may be near zero.

Then the correction term can become extremely large.

The next iterate may jump far away from the current region.

Distinct Starting Inputs Are Needed

The secant slope also contains

\[ x_n-x_{n-1}. \]

If the two inputs are identical, there is no two-point secant line.

Therefore, begin with

\[ \boxed{x_0\ne x_1}. \]

Starting Values Matter

Poor starting values can lead to:

Graphs, tables, or brackets can help choose useful starting values.

Multiple Roots Can Slow Convergence

Like Newton's method, the secant method behaves best near simple roots.

When

\[ f(r)=0 \]

and

\[ f'(r)=0, \]

the root is multiple and convergence may become substantially slower.

Stopping by Successive Difference

A common stopping condition is

\[ \boxed{ |x_{n+1}-x_n|<\varepsilon }. \]

This measures how much the newest estimate differs from the previous one.

Stopping by Residual

We may also require

\[ \boxed{ |f(x_{n+1})|<\varepsilon }. \]

This checks how closely the newest approximation satisfies the original equation.

Using Both Conditions

A more robust stopping rule may require

\[ |x_{n+1}-x_n|<\varepsilon_x \]

and

\[ |f(x_{n+1})|<\varepsilon_f. \]

This checks both iterate stability and residual size.

Maximum Iteration Safeguard

The secant method is not guaranteed to converge from every pair of starting values.

A practical implementation should therefore impose a maximum count such as

\[ \boxed{n\le100}. \]

If the tolerance is not reached, the method can report nonconvergence.

Secant Method in Pseudocode

set x0 = first initial guess
set x1 = second initial guess

repeat
    f0 = f(x0)
    f1 = f(x1)

    if f1 - f0 = 0
        stop with failure

    x2 = x1 - f1 * (x1 - x0) / (f1 - f0)

    if stopping condition is satisfied
        return x2

    x0 = x1
    x1 = x2
until maximum iterations are reached

A More Defensive Secant Algorithm

set x0 = first initial guess
set x1 = second initial guess

repeat
    f0 = f(x0)
    f1 = f(x1)
    denominator = f1 - f0

    if abs(denominator) is too small
        stop or switch methods

    x2 = x1 - f1 * (x1 - x0) / denominator

    if abs(x2 - x1) < x_tolerance
       and abs(f(x2)) < residual_tolerance
        return x2

    x0 = x1
    x1 = x2
until maximum iterations are reached

False Position in Pseudocode

choose a and b with f(a)f(b) < 0

repeat
    c = b - f(b) * (b - a) / (f(b) - f(a))

    if f(c) = 0
        return c
    else if f(a)f(c) < 0
        b = c
    else
        a = c
until stopping condition is satisfied

Unlike the standard secant method, this procedure maintains a bracket.

False Position Can Stagnate

False position preserves a bracket, but one endpoint can remain nearly fixed for many iterations when the function is strongly unbalanced across the interval.

This can make the method converge more slowly than expected.

Modified false-position methods are designed to reduce this problem.

When the Standard Secant Method Is Attractive

The standard secant method is especially useful when:

When a Bracketing Method May Be Better

Bisection or false position may be preferable when:

Hybrid Secant Strategies

Practical solvers often combine secant-style interpolation with bracketing.

A hybrid algorithm may:

  1. maintain a valid root bracket;
  2. attempt a secant or interpolation step;
  3. accept it if it is safe;
  4. fall back to bisection otherwise.

This approach combines speed with stronger safeguards.

Secant Slopes as Numerical Derivatives

The expression

\[ \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} \]

is a finite-difference approximation to a derivative.

As the two inputs move close together, the secant slope may approximate the tangent slope.

This connects root finding with broader numerical differentiation ideas.

Common Error: Using Only One Starting Value

The standard secant method needs two distinct starting inputs.

Without both

\[ x_0 \]

and

\[ x_1, \]

the first secant slope cannot be formed.

Common Error: Reversing the Function-Value Difference

The numerator and denominator must be used consistently.

One reliable form is

\[ \boxed{ x_{n+1} = x_n - f(x_n) \frac{x_n-x_{n-1}} {f(x_n)-f(x_{n-1})} }. \]

Reversing only part of a difference changes the sign and gives an incorrect update.

Common Error: Forgetting to Shift the Pair

After computing \(x_{n+1}\), the next secant step should normally use

\[ x_n \]

and

\[ x_{n+1}. \]

The oldest value \(x_{n-1}\) is dropped.

Common Error: Assuming the Root Remains Between the Iterates

Standard secant iteration does not preserve a bracket.

The new approximation may lie outside the interval between the previous two values.

A bracketing guarantee requires a method designed to preserve one.

Common Error: Dividing by a Tiny Function Difference

If

\[ |f(x_n)-f(x_{n-1})| \]

is extremely small, the secant update can become unstable.

A numerical implementation should detect this condition before performing the division.

Common Error: Rounding Too Early

Secant steps depend on differences between nearby values.

Aggressive early rounding can corrupt these differences and distort the estimated slope.

Keep adequate internal precision until the final result is reported.

Common Error: Stopping Without Checking the Original Equation

A small change between successive iterates does not by itself prove that the approximation satisfies

\[ f(x)=0. \]

Always check the residual

\[ f(x_n) \]

before reporting the result.

A Reliable Secant Workflow

  1. Rewrite the problem as \(f(x)=0\).
  2. Choose two distinct starting values \(x_0\) and \(x_1\).
  3. Evaluate \(f(x_0)\) and \(f(x_1)\).
  4. Check that \(f(x_1)-f(x_0)\) is not zero or dangerously small.
  5. Compute the next secant intercept.
  6. Shift the pair forward to the two newest iterates.
  7. Monitor the change between iterates.
  8. Monitor the residual.
  9. Stop when the required tolerance is reached or a failure condition occurs.
  10. Verify the final approximation in the original equation.

Example: Full Workflow for \(\sqrt5\)

Solve

\[ f(x)=x^2-5=0. \]

Choose

\[ x_0=2, \qquad x_1=3. \]

Then

\[ f(2)=-1, \qquad f(3)=4. \]

The first secant step is

\[ x_2 = 3 - 4\frac{3-2}{4-(-1)} = 3-\frac45. \] \[ \boxed{x_2=2.2}. \]

Continue the \(\sqrt5\) Workflow

Now use

\[ x_1=3, \qquad x_2=2.2. \]

Since

\[ f(2.2)=4.84-5=-0.16, \]

the next step gives approximately

\[ x_3\approx2.230769. \]

Continuing gives

\[ x_4\approx2.236111, \] \[ x_5\approx2.236068. \]

Therefore,

\[ \boxed{\sqrt5\approx2.236068}. \]

Practice 1: Write the Secant Formula

State the standard secant update for solving

\[ f(x)=0. \]

Practice 2: First Step for \(\sqrt3\)

Let

\[ f(x)=x^2-3 \]

with

\[ x_0=1, \qquad x_1=2. \]

Compute \(x_2\).

Practice 3: Shift the Pair

After \(x_2\) has been computed from \(x_0\) and \(x_1\), which two values are normally used to compute \(x_3\)?

Practice 4: Denominator Failure

What problem occurs if

\[ f(x_n)=f(x_{n-1})? \]

Practice 5: Compare with Newton

What information does Newton's method require that the secant method avoids?

Practice 6: Compare with Bisection

Does the standard secant method guarantee that the root remains between the two most recent iterates?

Practice 7: Successive-Difference Test

Suppose

\[ x_n=1.521381 \]

and

\[ x_{n+1}=1.521380. \]

Does

\[ |x_{n+1}-x_n|<10^{-5} \]

hold?

Practice 8: Residual

For

\[ f(x)=x^2-3 \]

and

\[ x=1.732, \]

compute the residual.

Practice 9: False Position

What feature does false position preserve that the standard secant method generally does not?

Practice 10: Geometric Interpretation

What geometric point becomes the next iterate in the standard secant method?

Practice Answers

Practice 1

\[ \boxed{ x_{n+1} = x_n - f(x_n) \frac{x_n-x_{n-1}} {f(x_n)-f(x_{n-1})} }. \]

Practice 2

We have

\[ f(1)=-2, \qquad f(2)=1. \]

Therefore,

\[ x_2 = 2 - 1\frac{2-1}{1-(-2)}. \] \[ = 2-\frac13. \] \[ \boxed{x_2=\frac53\approx1.666667}. \]

Practice 3

The next step normally uses

\[ \boxed{x_1\text{ and }x_2}. \]

The oldest value \(x_0\) is dropped.

Practice 4

The denominator

\[ f(x_n)-f(x_{n-1}) \]

becomes zero, so the standard secant update is undefined.

Practice 5

Newton's method requires derivative information

\[ f'(x). \]

The secant method estimates slope from two function values instead.

Practice 6

No. The standard secant method does not automatically preserve a root bracket.

Practice 7

\[ |1.521380-1.521381| = 0.000001 = 10^{-6}. \]

Since

\[ 10^{-6}<10^{-5}, \]

the condition is satisfied.

Practice 8

\[ f(1.732) = 1.732^2-3. \] \[ = 2.999824-3. \] \[ \boxed{f(1.732)=-0.000176}. \]

Practice 9

False position preserves a sign-changing interval that brackets at least one root under the usual continuity assumptions.

Practice 10

The next iterate is the \(x\)-coordinate where the secant line through the two current curve points crosses the \(x\)-axis.

What to Remember

Where We Go Next

Bisection, fixed-point iteration, Newton's method, and secant methods all solve individual equations by generating increasingly useful numerical approximations. The next step is to broaden this perspective to equations that may involve several variables or several equations at once.

The next lesson, Numerical Solutions of Equations and Systems, develops a unified view of numerical equation solving and introduces iterative methods for coupled systems.