Microscopic tangency in one variable

In begining calculus you learned that the derivative measures the slope of the line tangent to a curve y = f[x] at a particular point, (x, f[x]).  We begin by setting up convenient "local variables" to use to discuss this problem.  If we fix a particular (x, f[x]) in the x-y-coordinates, we can define new parallel coordinates (dx, dy) through this point.  The (dx, dy)-origin is the point of tangency to the curve.

[Graphics:../HTMLFiles/Lect1_46.gif]

A line in the local coordinates through the local origin has equation dy = m dx for some slope m.  Of course we seek the proper value of m to make dy = m dx tangent to y = f[x].

[Graphics:../HTMLFiles/Lect1_52.gif]

The Tangent as a Limit

You probably learned the derivative from the approximation

Underscript[lim, Δx0] (f[x + Δx] - f[x])/Δx = f^′[x]

If we write the error in this limit explicitly, the approximation can be expressed as

(f[x + Δx] - f[x])/Δx = f^′[x] + ε or f[x + Δx] - f[x] = f^′[x] · Δx + ε · Δx

where ε0 as  Δx → 0.  Intuitively we may say the error is small, FormBox[Cell[TextData[Cell[BoxData[FormBox[Cell[ε ≈ 0], TraditionalForm]]]]], TraditionalForm],  in the formula  

f[x + δx] - f[x] = f^′[x] · δx + ε · δx (1)

when the change in input is small,  δx ≈ 0.  The nonlinear change on the left side equals a linear change plus a term that is small compared with the input change.

The error ε has a direct graphical interpretation as the error measured above x + δx after magnification by 1/δx.  This magnification makes the small change δx appear unit size and the term ε · δx measures ε after magnification.

[Graphics:../HTMLFiles/Lect1_65.gif]

When we focus a powerful microscope at the point (x, f[x]) we only see the linear curve  dy = m · dx, because ε≈0 is smaller than the thickness of the line.  The figure below shows a small box magnified on the right.

[Graphics:../HTMLFiles/Lect1_69.gif]

Figure 1.1.1: A Magnified Tangent

Figure 1


Created by Mathematica  (September 22, 2004)