A logbook for curious waters
← All Reckonings

The Daily Reckoning

How Can a Tangent Line Find √2?

Newton’s method replaces a hard curve with an easy tangent, then repeats. For square roots, the error nearly squares itself away at every step.

Difficulty
Intermediate
Area
Calculus and numerical analysis
Reading time
9 minutes
Prerequisites
Derivatives of polynomials · Tangent lines · Algebra with fractions
On a dark maritime blueprint, a cyan parabola crosses a horizontal axis above rolling contour lines. Successive dashed climbs and solid magenta tangent segments close in on one glowing green root.

Suppose a calculator must produce 2\sqrt2, but its arithmetic unit can only add, subtract, multiply, and divide. How can those four operations find a number whose decimal expansion never ends?

Begin with a poor guess:

x0=1.x_0=1.

If x0x_0 were exactly 2\sqrt2, then 2/x02/x_0 would be the same number. Instead, x0=1x_0=1 is too small and 2/x0=22/x_0=2 is too large. Average the two:

x1=12(1+21)=1.5.x_1=\frac12\left(1+\frac21\right)=1.5.

Repeat the same arithmetic and the estimate improves with startling speed:

1,1.5,1.416666…,1.414215…,1.41421356237…1,\quad 1.5,\quad 1.416666\ldots,\quad 1.414215\ldots,\quad 1.41421356237\ldots

The familiar square-root average is one case of Newton’s method, an algorithm that searches for a zero of a function by repeatedly drawing a tangent line.

Walk the tangent steps

The diagram uses the function f(x)=x2−2f(x)=x^2-2. Its positive zero is 2\sqrt2 because f(2)=0f(\sqrt2)=0. Change the starting guess, then use the buttons to follow successive tangent lines.

Tangent-step explorer

Climb to the curve; follow the tangent back to zero

The first Newton step moves from one to one point fiveA dashed vertical line rises from x equals one to the parabola y equals x squared minus two. A magenta tangent segment returns to the x-axis at x equals one point five, closer to the positive root square root of two.√2x₀x₁CURRENT TANGENT STEPn = 0 → 1xₙ₊₁ = ½(xₙ + 2/xₙ)CURRENT GUESS1.0000000000NEXT GUESS1.5000000000NEXT ERROR0.0857864376tangent meets x-axis
StepApproximationAbsolute error
x01.00000000004.142e-1
x11.50000000008.579e-2
x21.41666666672.453e-3
x31.41421568632.124e-6
x41.41421356241.595e-12
x51.41421356240.000e+0
After 1 tangent step, the estimate is 1.5000000000.
What to notice: each dashed climb evaluates the curve at the current guess. The solid magenta tangent then predicts where the curve reaches zero. Near the root, each prediction has roughly twice as many correct digits as the one before it.

The method climbs vertically from the current estimate xnx_n to the point (xn,f(xn))(x_n,f(x_n)). The tangent at that point meets the horizontal axis at the next estimate xn+1x_{n+1}. Near 2\sqrt2, the axis crossings crowd together so tightly that the last steps become almost invisible.

The rule, with its conditions exposed

Let ff be a differentiable function, and suppose the equation

f(x)=0f(x)=0

has a solution. A number that makes f(x)f(x) equal zero is called a root or zero of ff.

Choose an initial estimate x0x_0. At step nn, the tangent line to the graph of ff at xnx_n has equation

y=f(xn)+f′(xn)(x−xn),y=f(x_n)+f'(x_n)(x-x_n),

where f′(xn)f'(x_n) is the derivative of ff evaluated at xnx_n. To find where the tangent crosses the horizontal axis, set y=0y=0:

0=f(xn)+f′(xn)(xn+1−xn).0=f(x_n)+f'(x_n)(x_{n+1}-x_n).

Solving for the next estimate gives the Newton update

xn+1=xn−f(xn)f′(xn).\boxed{x_{n+1}=x_n-\frac{f(x_n)}{f'(x_n)}}.

The division requires f′(xn)≠0f'(x_n)\ne0. The update also needs a starting estimate from which the sequence actually approaches the intended root. The National Institute of Standards and Technology Digital Library of Mathematical Functions states the result precisely: near a simple zero, Newton’s rule converges locally and quadratically. “Locally” means that sufficiently close starting values work. “Quadratically” describes how the error behaves once the estimates are close.

Why the square-root average is a tangent calculation

To compute 2\sqrt2, use

f(x)=x2−2.f(x)=x^2-2.

Its derivative is

f′(x)=2x.f'(x)=2x.

Insert those two expressions into the general Newton update:

xn+1=xn−xn2−22xn=2xn2−(xn2−2)2xn=xn2+22xn=12(xn+2xn).\begin{aligned} x_{n+1} &=x_n-\frac{x_n^2-2}{2x_n}\\ &=\frac{2x_n^2-(x_n^2-2)}{2x_n}\\ &=\frac{x_n^2+2}{2x_n}\\ &=\frac12\left(x_n+\frac2{x_n}\right). \end{aligned}

The tangent construction and the “average a guess with 22 divided by that guess” rule are the same algorithm written in two forms.

Worked example: from one digit to twelve

Start at x0=1x_0=1. The first update is

x1=12(1+21)=32.x_1=\frac12\left(1+\frac21\right)=\frac32.

For the second update, keep the fraction exact:

x2=12(32+23/2)=12(32+43)=12(9+86)=1712=1.4166666667…\begin{aligned} x_2 &=\frac12\left(\frac32+\frac{2}{3/2}\right)\\ &=\frac12\left(\frac32+\frac43\right)\\ &=\frac12\left(\frac{9+8}{6}\right)\\ &=\frac{17}{12}\\ &=1.4166666667\ldots \end{aligned}

The third update is

x3=12(1712+2417)=12(289+288204)=577408=1.4142156863…\begin{aligned} x_3 &=\frac12\left(\frac{17}{12}+\frac{24}{17}\right)\\ &=\frac12\left(\frac{289+288}{204}\right)\\ &=\frac{577}{408}\\ &=1.4142156863\ldots \end{aligned}

One more update gives

x4=665857470832=1.4142135623746899…x_4=\frac{665857}{470832}=1.4142135623746899\ldots

The true value begins

2=1.4142135623730950…,\sqrt2=1.4142135623730950\ldots,

so four tangent steps after the initial guess agree with 2\sqrt2 through 11 decimal places.

The speed is not luck. Let r=2r=\sqrt2 and define the error after step nn by

en=xn−r.e_n=x_n-r.

Because r2=2r^2=2, the next error satisfies an exact identity:

en+1=12(xn+r2xn)−r=xn2−2rxn+r22xn=(xn−r)22xn=en22xn.\begin{aligned} e_{n+1} &=\frac12\left(x_n+\frac{r^2}{x_n}\right)-r\\ &=\frac{x_n^2-2rx_n+r^2}{2x_n}\\ &=\boxed{\frac{(x_n-r)^2}{2x_n}}\\ &=\frac{e_n^2}{2x_n}. \end{aligned}

Once xnx_n is close to rr, the denominator is close to 2r2r, while the numerator is the previous error squared. Squaring a small number makes it much smaller. That is why the number of correct digits roughly doubles at each successful late step.

Fast does not mean foolproof

For x2−2x^2-2, every positive starting guess produces positive updates and converges to 2\sqrt2. The starting value x0=0x_0=0 is forbidden because the update divides by 2x02x_0. A negative starting guess converges to the other root, −2-\sqrt2.

General functions can behave worse. Consider

f(x)=x3−2x+2,f′(x)=3x2−2.f(x)=x^3-2x+2, \qquad f'(x)=3x^2-2.

Start at x0=0x_0=0:

x1=0−f(0)f′(0)=0−2−2=1.x_1=0-\frac{f(0)}{f'(0)}=0-\frac{2}{-2}=1.

The next step returns to zero:

x2=1−f(1)f′(1)=1−11=0.x_2=1-\frac{f(1)}{f'(1)}=1-\frac{1}{1}=0.

The sequence then repeats 0,1,0,1,…0,1,0,1,\ldots and never reaches the real root. A production root finder usually watches for small derivatives, stalled progress, cycles, and estimates that leave a trusted interval. Newton’s method is powerful because local linear approximations are powerful; it can fail because a tangent line only describes the curve near the point of contact.

Try the update

Problem 1

Use the square-root update to approximate 10\sqrt{10}. Begin with x0=3x_0=3 and compute x1x_1 and x2x_2 exactly as fractions.

Reveal the solution

For 10\sqrt{10}, replace 22 in the update by 1010:

xn+1=12(xn+10xn).x_{n+1}=\frac12\left(x_n+\frac{10}{x_n}\right).

The first step is

x1=12(3+103)=12(193)=196.x_1=\frac12\left(3+\frac{10}{3}\right) =\frac12\left(\frac{19}{3}\right) =\frac{19}{6}.

The second step is

x2=12(196+6019)=12(361+360114)=721228≈3.1622807018.\begin{aligned} x_2 &=\frac12\left(\frac{19}{6}+\frac{60}{19}\right)\\ &=\frac12\left(\frac{361+360}{114}\right)\\ &=\frac{721}{228}\\ &\approx3.1622807018. \end{aligned}

Squaring the exact fraction gives

(721228)2=51984151984≈10.0000192367,\left(\frac{721}{228}\right)^2 =\frac{519841}{51984} \approx 10.0000192367,

already close to 1010.

Problem 2

Apply one Newton step to f(x)=x3−5f(x)=x^3-5 starting from x0=2x_0=2.

Reveal the solution

Differentiate first:

f′(x)=3x2.f'(x)=3x^2.

At x0=2x_0=2,

f(2)=8−5=3andf′(2)=3(22)=12.f(2)=8-5=3 \qquad\text{and}\qquad f'(2)=3(2^2)=12.

Therefore

x1=2−312=2−14=74=1.75.x_1=2-\frac{3}{12}=2-\frac14=\frac74=1.75.

The target root is 53≈1.710\sqrt[3]{5}\approx1.710, so the tangent step moved the estimate closer.

A method with more than one inventor

The need to extract square roots predates calculus by millennia. The Old Babylonian artifact known as Yale Babylonian Collection (YBC) tablet 7289, dated to the nineteenth through seventeenth centuries before the Common Era (BCE), records an approximation to 2\sqrt2 accurate to about six decimal places, according to the Yale Peabody Museum. A New York University Institute for the Study of the Ancient World exhibit says the tablet shows that Babylonian scribes possessed a method for accurate square-root estimates. Historians David Fowler and Eleanor Robson argue that this particular tablet was probably a trainee scribe’s school exercise copied from a coefficient list; their 1998 study reconstructs an algorithm consistent with the broader Old Babylonian evidence without claiming to know the tablet writer’s exact calculation.

In seventh-century India, Brahmagupta presented a square-root algorithm in the Brāhmasphuṭasiddhānta. The MacTutor biography of Brahmagupta reports that the algorithm is equivalent to the iteration now associated with Newton and Raphson. Brahmagupta’s mathematical work belonged to a treatise on astronomy as well as arithmetic and algebra; accurate computation served calendars, planetary models, and eclipse calculations.

The European history adds another layer. Isaac Newton had devised a method for approximating polynomial roots by 1669. Joseph Raphson published a streamlined modification in 1690. The derivative-based update displayed in this lesson, however, appeared in Thomas Simpson’s 1740 work. A historical study in the British Journal for the History of Science argues that attributing the modern formula directly to Newton is a durable historical transposition; the MacTutor biography of Simpson likewise credits Simpson with the present iterative form.

“Newton’s method” is therefore a convenient name for a long development, not a complete account of its invention.

Where tangent steps are used

Many equations that arise in science and engineering have no useful closed-form solution. A numerical root finder turns “solve f(x)=0f(x)=0” into arithmetic a computer can repeat. The NIST Digital Library of Mathematical Functions treats Newton’s rule as a standard method for nonlinear equations and links it throughout its chapters for computing zeros of special functions.

The same update appears in more than one mathematical disguise. To locate a stationary point of a function gg, solve g′(x)=0g'(x)=0; Newton’s method applied to the derivative uses both g′g' and g′′g''. For several unknowns, the scalar derivative becomes a Jacobian matrix and each step solves a linear system. Those extensions support parameter fitting, equilibrium calculations, implicit simulation steps, and optimization. Practical software often combines Newton steps with slower safeguards because the two-cycle above is not an academic curiosity: a fast local method still needs a plan for bad starting values.

One idea to remember

Newton’s method asks a curve an easier question. Instead of solving f(x)=0f(x)=0 directly, it solves the tangent line’s equation, moves to that answer, and asks again.

To continue, revisit how a derivative captures instantaneous change and how mathematics makes convergence exact. The next numerical-analysis question is how to bracket a root so that an iteration cannot wander away.

Sources