Approximation
We can find immediately. For , we need a little more help. Instead of starting again, let us use what we know at 9: the height of the curve and the direction in which it is changing. This page uses the slope of a curve at a point; if that is new, read the [[derivative_curve|derivative]] page first, and the limit notation it uses is explained on the [[limit_secant|limits]] page.
01What is missing from “about 3”?
A square root reverses squaring: because , the nonnegative number whose square is 9 is 3. That gives us exactly. Now increase the number under the root a little, from 9 to 9.1. Its square root also increases a little. So 3 is a useful first guess, but it misses that increase.
Can we estimate how much to add to 3, without already knowing ? This is the need for an approximation: replace a harder calculation by an easier one, while keeping track of the difference we introduce. We write for “approximately equal”; it does not mean the two numbers are exactly equal.
Let . Here is the input, and is the output, drawn as the height of the curve. We know the point . We want the height of a nearby point whose input is 9.1. Keeping the starting height 3 is our first guess. Our next guess will also use the slope at P.
02Keep the starting point. Name the change.
We will try several nearby inputs, so let us give the input change a name: . It is the new input minus the known input. Starting at 9, the new input is therefore . To reach 9.1, we need . To reach 8.9, we instead need .
includes direction. Positive means move right; negative means move left. The distance is , the size of the change after removing its sign. Do not replace a negative by a positive distance in the calculation.
The height changes too, but usually by a different amount. It starts at and ends at . The height change is therefore . The path from P to Q has two parts: a horizontal move of , followed by a vertical move to Q. The horizontal part records the input change; the vertical part records the output change. Try positive and negative , and compare these with .
The computer draws the true curve so we can check our work. Our approximation will use only the known point and its slope, not the unknown height at Q.
We still do not know the height change when we are doing the approximation ourselves. The diagram can calculate it for checking, but our method must predict it from information at P. What connects a horizontal change to a vertical change? The slope does.
03Use a slope we already know
For a straight line, slope means height change divided by input change. A slope of 2, for example, means that moving 1 unit to the right changes the height by 2 units. Multiplying a horizontal change by the slope gives the corresponding height change.
The square-root graph is curved, so one slope does not describe the whole graph. Join P and a different point Q with a straight line. This is the secant through those two points. As Q moves towards P, the secant slope approaches the slope at P. The line through P with that limiting slope is the tangent.
This limiting slope is the derivative at 9, written . The prime mark means “derivative”, not a new input. The limit below means that we examine smaller and smaller nonzero changes , from either side. It does not mean putting zero into the denominator.
The next section will calculate this slope as . For now, compare it with the secant slope. Let Q approach from either side, pause while the two slopes still differ, and zoom near P. Then try exactly : P and Q coincide, so the quotient is undefined, while the tangent slope still exists.
If is small but not zero, the secant slope is close to , rather than guaranteed to equal it. This is exactly where an approximation enters: we use the known tangent slope in place of the harder secant slope, and later check the error.
04Where does the slope 1/6 come from?
Let us calculate the slope, rather than treat it as a rule to remember. Substitute and into the secant quotient. We assume while calculating it, and so the square root is defined.
Remove the difference of roots
Both numerator and denominator become small near , so direct substitution would give . To see what cancels before taking the limit, use . The opposite middle terms cancel when we expand the product. Here choose and .
Multiply the fraction by . Its numerator and denominator are equal and positive, so this factor is 1: it changes the form, not the value.
Cancel first. Take the limit afterwards.
Because is not zero, we can divide numerator and denominator by . The resulting denominator approaches as approaches zero. It stays away from zero, so the reciprocal approaches .
Notice the distinction: the simplified expression is defined at zero, but the original secant quotient is not. We used the simplified expression to find the limit of the original quotient. We did not make division by zero valid.
The same steps work at any positive starting input . Here is just a name for the known input, replacing our particular choice 9. Replace 3 by in the calculation. The two roots in the denominator both approach , so:
05Turn the slope into a predicted height
Return to the original question: estimate the height near . We now know the tangent slope, . For a small nonzero , use this known slope in place of the secant slope. Then undo the division by and undo the subtraction of 3. Each algebra step has a movement in the diagram.
First multiply by . The left side becomes the height change. On the right, input change times slope gives our predicted height change. If is negative, this predicted change is negative too: we move down, not up.
This is only the change. To get the final height, add back the starting height 3. Call the resulting point on the tangent T. It has the same input as Q, but T gives the predicted height and Q gives the true height.
Watch the construction before comparing the answers. Move horizontally by , change height by , then combine that change with 3. Use “Next step” to inspect one operation at a time. At there is no change and the result is exactly 3, without using a secant quotient.
The predicted value will appear after we combine the starting height and the change. You can pause during either movement.
For the original target 9.1, the signed step is . Our prediction is:
A more accurate calculation gives . The prediction differs by about , much less than the roughly missed by simply saying 3. It is a better approximation in this example, but it is still an approximation. Let us inspect the remaining gap.
06See the error, even when it is small
Let denote the predicted height on the line. Define the signed error as : prediction minus true value. A positive error means the prediction is too high; a negative error means it is too low. The absolute error keeps only the size. Here is the known starting input and is still target minus starting input.
On the full graph, Q and T can appear to overlap. That does not prove their values are equal: the gap may simply be smaller than a screen pixel. The separate window below magnifies only their vertical difference. It labels its scale and keeps that scale fixed while you change .
Vertical gap at the same input x = 9.1
This shows only the small vertical difference, not the full height from zero. The scale stays fixed while h changes, so a smaller gap really appears smaller.
Why is this square-root prediction above the curve?
A few trials suggest this, but trials alone do not prove it for every allowed input. We can check the difference directly. To keep the algebra readable, give the two heights short names: is the known starting height, and is the true target height. Thus , , and .
The slope is , so the prediction is . Subtract the true height . Then multiply by the positive number to remove the fraction:
Now replace by . The remaining three terms form a square:
The numerator is a square and the denominator is positive. Therefore the prediction cannot be below the square-root curve. It equals the true value when and is above it for every other allowed . This argument covers steps to the left as well as steps to the right.
Connect the gap to the size of the input change
We also have . Because , this gives . Substitute it into the error formula and replace the short names by the heights they represent:
For a fixed positive and small , the denominator stays close to the positive number . Meanwhile the numerator is . This explains the rapidly shrinking gap: making a small ten times smaller makes its square one hundred times smaller, while the denominator changes only a little. This is a local comparison, not an exact error ratio for arbitrary large steps.
The direction of the error depends on the function. For example, take at the input 3. Expanding gives . For nonzero , its secant slope is , which tends to 6. Its tangent therefore predicts . Prediction minus true value is : this time the prediction is below the curve. “A tangent always overestimates” would be the wrong conclusion.
07Keep the method. Change the function.
Our construction used three pieces of information: a known input, its height, and the slope there. For a general function , call the known input . The known height is and the derivative there is . To reach a nearby input , multiply the signed input change by the slope and add that height change to the starting height:
Once is chosen, and are fixed numbers. Only changes. The expression on the right is a straight-line rule: starting value plus a constant times the input change. Using this line to approximate the function near is called linearization. It is the same run-and-rise construction we just watched, now written for any suitable function.
You may also see the new input written as rather than . Then , so the predicted value is written . This is not a second method: it names the target input directly instead of naming the change.
There are conditions to check. The function must have a finite derivative at the chosen input, and the target must belong to its domain, the set of inputs for which it is defined. Merely having both function values is not enough. For , the value at zero exists, but the finite slope used here does not; that is why our square-root construction requires .
Having a derivative guarantees the straight-line prediction becomes locally accurate as the step becomes small: the remaining error divided by tends to zero. It does not tell us that a particular step is small enough for the precision we need. For our square-root example we derived an exact error formula. For another function, a numerical check or a separate error bound may be needed.
Why does the derivative give that guarantee? Write the prediction error as . For a nonzero , divide by . What remains is the difference between the derivative and the secant slope:
The secant slope approaches the derivative by its definition, so their difference tends to zero. Taking the absolute value gives . This explains why the prediction improves locally. It also shows why we needed the derivative to exist in the first place.
08Build a prediction yourself
Keep the three roles separate: is a height, is a signed input change, and is height change per unit input. Multiplying the last two gives a height change, not a final height. Only after adding do we have the predicted answer. Try a step to the right and a step to the left.
Use the known input , where . Find the signed input change first. Then multiply it by the slope , and add the starting height. What prediction do you get?
A straight line keeps the height and slope at the chosen point, but it cannot bend with the curve. If we want a better approximation over a wider interval, we need a rule that can also match how the slope changes. The next page builds that idea step by step with Maclaurin and Taylor polynomials.
