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:
- takes two recent points on the graph;
- draws the secant line through them;
- finds the secant line's \(x\)-intercept;
- 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:
- unavailable in closed form;
- expensive to compute;
- complicated to implement;
- known only through sampled data;
- unreliable when the underlying function is itself numerical.
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\):
- if \(f(c)=0\), stop;
- if \(f(a)f(c)<0\), replace \(b\) with \(c\);
- 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:
- slow convergence;
- large jumps;
- oscillation;
- convergence to an unintended root;
- a nearly horizontal secant;
- divergence.
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:
- derivatives are unavailable or costly;
- two reasonable starting values are known;
- faster convergence than simple bracketing is desired;
- function evaluation is relatively inexpensive;
- a root is expected to be simple.
When a Bracketing Method May Be Better
Bisection or false position may be preferable when:
- a guaranteed root interval is important;
- the starting information already provides opposite endpoint signs;
- the function behaves unpredictably away from the root;
- robustness matters more than local speed.
Hybrid Secant Strategies
Practical solvers often combine secant-style interpolation with bracketing.
A hybrid algorithm may:
- maintain a valid root bracket;
- attempt a secant or interpolation step;
- accept it if it is safe;
- 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
- Rewrite the problem as \(f(x)=0\).
- Choose two distinct starting values \(x_0\) and \(x_1\).
- Evaluate \(f(x_0)\) and \(f(x_1)\).
- Check that \(f(x_1)-f(x_0)\) is not zero or dangerously small.
- Compute the next secant intercept.
- Shift the pair forward to the two newest iterates.
- Monitor the change between iterates.
- Monitor the residual.
- Stop when the required tolerance is reached or a failure condition occurs.
- 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
- The secant method approximates a root using two recent function values.
- It replaces the derivative in Newton's method with a secant slope.
- The method requires two distinct starting values.
- The standard update is \(x_{n+1}=x_n-f(x_n)(x_n-x_{n-1})/[f(x_n)-f(x_{n-1})]\).
- The denominator must not be zero or dangerously small.
- The standard secant method generally does not preserve a root bracket.
- Near a suitable simple root, convergence is typically superlinear with order about \(1.618\).
- False position uses a secant intercept while preserving a sign-changing bracket.
- Stopping conditions should monitor iterate changes and residuals.
- Hybrid methods can combine secant speed with bracketing reliability.
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.