Calculus Volume 3 · Chapter 4 · Section 4.4
A tangent line, one dimension up: near a point, a smooth surface is a plane, and the plane is easy to compute with.
Colour key surface tangent plane slices, the point, key idea · 3D figures turn when you drag them · page links open the textbook
On a curve there is one tangent line. On a surface, every curve through a point has its own tangent line there (p347).
If the surface is smooth, all those lines lie in one plane: the tangent plane.
The figure: at and tangent lines in several directions. Turn it until you look along the plane edge-on: every line lies in it.
Two lines fix a plane. Take the two easiest: the slice (slope ) and the slice (slope ).
A tangent line, one dimension up: a height plus a slope per direction.
Lab 1. The window around the point shrinks; the figure is rescaled equally in , and , so nothing is stretched.
Try: play the zoom — at ±0.05 the surface and the plane are one sheet. On the saddle the surface crosses its plane, yet it still flattens. Differentiable means: zoomed in far enough, the graph is its tangent plane.
Near the point, the surface is the plane.
| Example | given | result |
|---|---|---|
| 4.21 · p349 | at | : |
| 4.22 · p350 | at | |
| 4.23 · p352 | , estimate from | ; , true |
| 4.24 · p353 | differentiable at ? | , : yes |
| 4.25 · p357 | at , , | ; |
Every example is the same three numbers: , , at the point.
: about off.
The plane is cheap to evaluate and close to the surface near the point — that is the whole trade.
, plane at . Move the point you estimate.
Try: step away along a line — double the distance, about four times the gap. Near the dashed edge the surface turns vertical and the plane fails fast. The gap grows like distance squared, so close in it is tiny.
| Theorem | says | so |
|---|---|---|
| 4.6 · p355 | differentiable ⇒ continuous | a jump rules out a tangent plane |
| 4.7 · p355 | , continuous near the point ⇒ differentiable | the everyday test: polynomials, , , away from trouble |
| warning · p350 | , exist ⇏ differentiable | at the origin (Lab 3) |
In one variable, "the derivative exists" was enough. In two, two slopes along the axes say nothing about the other directions.
, . Flat along both axes, so and the candidate plane is .
Try: θ = 0° or 90° — the slice lies in , as the partials promised. θ = 45° — the slice rises with slope on both sides: a crease. stays at however close you get, so it does not go to 0.
A small change in is a weighted sum of the small changes you make, weighted by the slopes.
Example 4.25: at .
Try: halve both steps — halves, the difference drops to a quarter. The first-order change is the plane; what is left over is second order.
| Mistake | Result | Fix |
|---|---|---|
| Partials left as functions: | a curved surface, not a plane | evaluate , at the point first: 13 and −26 |
| Forgetting | a plane through the wrong height | check: at |
| for with a negative coordinate | Ex 4.21: instead of | |
| Normal for | a plane tilted the other way | , or the gradient of |
| "The partials exist, so it is differentiable" | wrong for at the origin | continuous partials (Theorem 4.7), or the limit of |
| Using as the exact change | Ex 4.25: 2.3 against 2.3425 | ; only estimates it |
| Percentage errors added without weights | Ex 201: 9% for the cylinder |
Exercises from p358; the book's key: p862, p868.
| # | task | answer |
|---|---|---|
| 4.19 | tangent plane to at | : |
| 4.20 | estimate for from | ; true |
| 4.21 | differentiable at | , |
| 4.22 | and for at , , | ; |
| # | task | answer |
|---|---|---|
| 163 | unit normal to at | |
| 165 | at : normal, tangent | ; |
| 167 | at | ; |
| 169 | at : normal | |
| 171 | tangent plane, , | |
| 173 | , | |
| 175 | , | |
| 177 | , | |
| 179 | , | |
| 181 | , | |
| 183 | normal line, , | |
| 185 | normal line, , | |
| 187 | normal line, , | |
| 189 | segment in the figure (p359) | |
| 191 | differentiable at | , error → 0 |
| 193 | differentiable everywhere | |
| 195 | , to | , |
| 197 | aluminium in a can, , , 0.04 cm thick | |
| 199 | , (p360) | , |
| 201 | cylinder, 4% in , 5% in : error in | 13% |
| 203 | , in parallel, ±0.05 Ω each | |
| 205 | pendulum, 0.5% in , 0.1% in : error in | 0.3% |
| 207 | for at (p361) | |
| 209 | for at | |
| 211 | for at | |
| 213 | tangent plane, at the origin |
Two tangent lines, crossed (p348):
A plane through with that normal:
Solve for and you have (4.24). The cross product of §2.4 turns two slopes into one normal.
Example 4.24, at :
A polynomial's error is made of squares and products of the steps: second order, so divided by the distance it still vanishes.
For the candidate plane is , so and
Different on different rays, so no limit (p354). Theorem 4.7 is not contradicted, because the partials are not continuous there:
Along the value depends on and on the sign of , so has no limit at the origin (p356).
, with . Same theorems.
§4.5: the chain rule is divided by . §4.6: becomes the gradient, and the tangent plane to has normal (Exercises 169–177).
Everything in this chapter is the plane in disguise.
Access for free at openstax.org · CC BY-NC-SA 4.0
Tangent PlanesgeometryDefinition
On a curve: one tangent line.
On a surface: a tangent line for every direction.
No corners: they all lie in one plane.
Tangent PlanesbridgeEquation 4.24
at :
Trace : tangent line, slope
Trace : tangent line, slope
Exactly one plane holds both lines.
Tangent Planesalgebraderivation of 4.24
Solve for : Equation 4.24. §2.4's cross product, §2.5's plane.
Tangent PlanesalgebraExample 4.21
at
: the factor is , not .
Tangent PlanesalgebraCheckpoint 4.19
Tangent plane to at .
Check: ✓
Tangent PlanesalgebraExample 4.22
at
Tangent PlanesgeometryFigure 4.29
,
On both axes : , candidate plane .
Along : , a corner with slopes .
Along : the opposite corner. No plane holds these lines.
Linear ApproximationsbridgeEquation 4.25
Window ±1.2 around : the dome bends away.
±0.3: hard to tell apart.
±0.05: one sheet.
Linear ApproximationsalgebraExample 4.23
, estimate from
,
True: — gap 0.0085, about 0.2%
Linear ApproximationsalgebraCheckpoint 4.20
Estimate for from .
True:
DifferentiabilitybridgeEquation 4.26
at , along :
The crease along : , never 0.
DifferentiabilityalgebraExample 4.24
:
, so : differentiable
DifferentiabilityalgebraCheckpoint 4.21
Show is differentiable at .
:
DifferentiabilitybridgeFigure 4.32
Along the ray at angle : , whatever the distance.
-axis → 0; → ; → .
DifferentiabilityalgebraTheorems 4.6 · 4.7
Differentiabilityalgebraproof · Theorem 4.6
So : continuous.
The book states Theorem 4.6 without proof.
Differentiabilityalgebraproof idea · Theorem 4.7
Differentiabilityalgebracontrapositive of Theorem 4.7
gives ; large gives values near 0. Not continuous — no contradiction with Theorem 4.7.
DifferentialsbridgeEquation 4.27
Step , from the point.
Up to the plane: .
Up to the surface: .
DifferentialsalgebraExample 4.25
at , ,
— off by 0.0425
DifferentialsalgebraCheckpoint 4.22
at , , : and ?
Differentiability of a Function of Three VariablesalgebraEquation 4.28
Differentiable ⇒ continuous; continuous first partials ⇒ differentiable.
No graph to draw (it lives in 4D) — the formula carries over unchanged.
Exercise 211: near .
§4.4wrap-up
| Objective | You can now |
|---|---|
| 4.4.1 tangent plane | : evaluate at the point, then substitute |
| 4.4.2 approximate | near an easy point |
| 4.4.3 differentiable | ; test with continuous partials; a crease fails |
| 4.4.4 total differential |