The Tangent Line Problem

Around 300 BC, Euclid could draw a perfect tangent to a circle with nothing but a ruler: take the radius to your point, turn through a right angle, and the line you draw "touches the circle but does not cut it." Apollonius pulled off the same trick for ellipses and parabolas. And then… the Greeks got stuck. For roughly two thousand years, nobody on Earth could say what the tangent to an arbitrary curve even was.

The trouble is baked into what a line is. To draw a line you need two points to join. A tangent seems to meet the curve at just one — so which line, out of the infinitely many through that point, is the one that just grazes the curve, matching its direction exactly? There is no second point to pin it down. The Greeks' circle definition — "touches but does not cut" — simply falls apart on a general curve (we'll see it fail spectacularly below).

This single question — what is the line that just touches a curve at a point? — is the tangent line problem, and cracking it in the 1600s gave birth to differential calculus. Solve it and you can read the exact steepness of any curve at any point: a rocket's speed at one instant, the peak of a profit curve, the direction a planet is moving right now.

Two points are easy — one point is a paradox

A line through two points of a curve is called a secant line (from the Latin secare, "to cut"). Its slope is no mystery at all: rise over run between the two points. A secant measures the average steepness of the curve between its two crossing points — useful, but blunt.

The tangent asks for something sharper: the steepness of the curve at a single point — how steep is it right here? There the rise-over-run recipe dies on the spot: one point gives a rise of 0 over a run of 0, and \tfrac{0}{0} tells you nothing. Stated honestly, the problem is: find the slope of a line knowing only one point on it. No wonder it stayed open for two millennia.

Let the second point slide in

Here is the beautiful idea that broke the deadlock. If one point is not enough, borrow a second one — temporarily. Pin the point you care about, P = (1, 1) on the curve y = x^2. Take a second point Q a step h along the curve and draw the difference quotient secant through them. That secant has a perfectly ordinary, computable slope.

Now for the move the Greeks never made: slide Q toward P by shrinking h toward 0. As the two points close in on each other, the secant pivots about P — and settles onto one particular line. Drag the slider below all the way down and watch the secant become the tangent: it always homes in on the same final position.

The borrowed point was scaffolding. We use two points to build the slope, then let the second one melt away — and what remains is the tangent.

Worked example: the squeeze, in numbers

Let's do exactly what the slider does, but with arithmetic, so you can see the answer emerge with your own eyes. Curve: f(x) = x^2. Pinned point: P = (1, 1). The moving point is Q = \bigl(1 + h,\ (1+h)^2\bigr), and the secant slope is

m_{\text{sec}} = \frac{(1+h)^2 - 1^2}{(1+h) - 1} = \frac{(1+h)^2 - 1}{h}.

Now shrink h and tabulate:

step h point Q secant slope
1 (2,\ 4) \tfrac{4-1}{1} = 3
0.5 (1.5,\ 2.25) \tfrac{1.25}{0.5} = 2.5
0.1 (1.1,\ 1.21) \tfrac{0.21}{0.1} = 2.1
0.01 (1.01,\ 1.0201) \tfrac{0.0201}{0.01} = 2.01
0.001 (1.001,\ 1.002001) 2.001

The slopes march in single file — 3,\ 2.5,\ 2.1,\ 2.01,\ 2.001,\ \dots — straight toward \mathbf{2}. And a line of algebra explains why:

\frac{(1+h)^2 - 1}{h} = \frac{2h + h^2}{h} = 2 + h,

so of course the secant slope sits exactly h above 2, and shrinking h squeezes it onto 2. The tangent to y = x^2 at (1,1) has slope 2 — not approximately, exactly.

This is a limit

Notice what we carefully did not do: we never set h = 0 outright. We can't — the secant needs two points, and at h = 0 both points are the same, giving the undefined fraction \tfrac{0}{0}. Instead we asked what the slope approaches as h shrinks. That is precisely the idea of a limit — and it is the exact conceptual tool the Greeks were missing.

The slope of the tangent line is the limit of the secant slope as the step shrinks to zero:

m_{\text{tangent}} = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}

For f(x) = x^2 the difference quotient simplified to 2x + h. As h \to 0 the h term vanishes, leaving a tangent slope of 2x at every point of the parabola at once. At x = 1 that is 2 — matching the table above, the slider above, and the figure below. Step through it and watch the secants pivot home.

Zoom in: smooth curves are secretly straight

There is a second way to see what the tangent is, and it's the one a modern mathematician reaches for first. Put the point P = (1,1) under a microscope. The chart below redraws y = x^2 in a small window around P, blown up z times — both axes measure distance from P, stretched by the magnification. A faint straight line of slope 2 is drawn for comparison.

At z = 1 the parabola is unmistakably curved. Now crank the magnification and watch it straighten out, hugging the slope-2 line ever more tightly. Zoom far enough and you cannot tell curve from line.

That is the modern definition in a single picture: a smooth curve is locally straight, and the tangent line at P is the straight line the curve turns into as you zoom in at P. The secant-squeeze and the microscope are two views of the same fact — the secant slope 2 + h forgetting its h is exactly the curve's bend fading out of view under magnification.

Worked example: writing the tangent line down

Knowing the slope is half the job — the tangent is a whole line, and lines have equations. But now we hold everything a line needs: one point on it, \bigl(a, f(a)\bigr), and its slope m. Point–slope form does the rest:

y - f(a) = m\,(x - a).

Step 1 — the point. Tangent to f(x) = x^2 at x = 1: the point is (1, 1).

Step 2 — the slope. From the squeeze above, m = 2.

Step 3 — assemble. y - 1 = 2(x - 1), which tidies to

y = 2x - 1.

Step 4 — sanity-check. At x = 1 it gives y = 1 ✓ (it passes through P), and its slope is 2 ✓.

The same three steps work at any point x = a of the parabola. The point is (a, a^2), the slope is 2a, so y - a^2 = 2a(x - a), i.e.

y = 2a\,x - a^2.

One tidy formula for every tangent to the parabola. Notice its y-intercept is -a^2 — the tangent at x = 3 dives down to cross the axis at -9. (And at a = 0 the formula gives y = 0: the x-axis itself, resting flat against the bottom of the parabola. It works.)

Worked example: what tangents are for

Here is the payoff — the reason engineers, physicists and your calculator care about tangent lines at all. Near the point of tangency, the tangent is the best straight-line stand-in for the curve. Curves are hard; lines are easy. So when a curve is awkward, we swap it for its tangent and compute with that instead.

The task: estimate \sqrt{4.1} without a calculator.

Step 1 — pick a friendly anchor point. The curve is f(x) = \sqrt{x}, and the nearest easy value is x = 4, where \sqrt{4} = 2 exactly. So we'll build the tangent at (4, 2).

Step 2 — find the tangent slope by the secant squeeze. The secant slope from x = 4 is \tfrac{\sqrt{4+h} - 2}{h}. Multiply top and bottom by \sqrt{4+h} + 2:

\frac{\sqrt{4+h} - 2}{h} \cdot \frac{\sqrt{4+h} + 2}{\sqrt{4+h} + 2} = \frac{(4+h) - 4}{h\bigl(\sqrt{4+h} + 2\bigr)} = \frac{1}{\sqrt{4+h} + 2} \;\xrightarrow[h \to 0]{}\; \frac{1}{2 + 2} = \frac{1}{4}.

Step 3 — write the tangent line. Point (4, 2), slope \tfrac14:

y = 2 + \frac{x - 4}{4}.

Step 4 — use the line instead of the curve. At x = 4.1:

\sqrt{4.1} \;\approx\; 2 + \frac{0.1}{4} = 2.025.

The true value is 2.02485\ldots — our two-line estimate is off by about 0.00015, an error of 0.007%. Look how close the line and the curve run near x = 4:

This trick — linear approximation — is everywhere. Your GPS receiver linearises curved satellite-distance equations to pin down your position; a game physics engine advances each flying object along its tangent for a frame, then re-aims. Whenever a machine "solves" a curved problem fast, it has probably swapped the curve for a tangent line first.

It is tempting to define the tangent the way the Greeks did for circles: "the line that meets the curve at exactly one point, without cutting it." For a general curve this fails in both directions:

The counting definition is beyond repair. The right idea is the one this page built: the tangent is the limit of secants — equivalently, the line the curve looks like under the microscope. "Touching once" is local and accidental; "limiting direction" is the definition.

One more trap: the tangent at x = a only exists if the limit does. The corner of y = |x| at 0 has secant slopes of -1 from the left and +1 from the right — they never agree, so no tangent line exists there. Smoothness is a privilege, not a right.

Tangents were the celebrity problem of the seventeenth century. René Descartes called finding tangents "the most useful and most general problem, not only that I know, but even that I have ever desired to know in geometry" — and then got into a spectacular feud over it. In the 1630s Pierre de Fermat, a lawyer doing mathematics in his spare time in Toulouse, circulated a method he called adequality: to find a tangent, he took a tiny step he wrote as E, formed what is essentially our difference quotient, simplified, and then blithely discarded the leftover terms containing E — exactly our "the +\,h vanishes" step, a century before limits made it respectable.

Descartes, whose own tangent method used cleverly-fitted circles and heavier algebra, publicly set out to break Fermat's rule, challenging him with the nastiest curve he knew — the "folium of Descartes," x^3 + y^3 = 3xy. To his irritation, Fermat's little E handled it cleanly, and Descartes had to concede (grudgingly, via an intermediary). That discarded E was our secant step h in embryo: thirty years later Newton and Leibniz built the same move into a full machine — the derivative — and calculus was born out of the tangent line problem.

Watch it explained

Sal Khan shows the tangent slope emerging as the limiting value of secant slopes.