← Chapter 4 §4.4 Tangent Planes and Linear Approximations 切平面与线性近似 · Chapter 4 · Differentiation of Functions of Several Variables

Calculus Volume 3 · Chapter 4 · Section 4.4

Tangent Planes and Linear Approximations

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 z=f(x,y)z=f(x,y) tangent plane slices, dzdz the point, Δz\Delta z key idea · 3D figures turn when you drag them · page links open the textbook

Level 1 · see itWhat a tangent plane isbefore any formula

Many tangent lines, one plane

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: z=414x2y2z=\sqrt{41-4x^2-y^2} at (2,3,4)(2,3,4) and tangent lines in several directions. Turn it until you look along the plane edge-on: every line lies in it.

Five directions, five tangent lines, one plane. Drag to turn.

The plane from two slopes

Two lines fix a plane. Take the two easiest: the slice y=y0y=y_0 (slope fxf_x) and the slice x=x0x=x_0 (slope fyf_y).

Tangent plane · (4.24) · p348 z=f(x0,y0)+fx(x0,y0)(xx0)+fy(x0,y0)(yy0) \begin{aligned} z=f(x_0,y_0)&+f_x(x_0,y_0)\,(x-x_0)\\ &+f_y(x_0,y_0)\,(y-y_0) \end{aligned}

Normal vector fx, fy, 1\langle f_x,\ f_y,\ -1\rangle.

A tangent line, one dimension up: a height plus a slope per direction.

Example 4.23 at (2,3)(2,3): slopes fx=2f_x=-2, fy=34f_y=-\tfrac34.

Zoom in: the surface turns flat

Lab 1. The window around the point shrinks; the figure is rescaled equally in xx, yy and zz, so nothing is stretched.

surface
0 0 1

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.

Level 2 · compute itPlanes, approximations, differentialsand three labs

Examples 4.21–4.25

Examplegivenresult
4.21 · p349f=2x23xy+8y2+2x4y+4f=2x^2-3xy+8y^2+2x-4y+4 at (2,1)(2,-1)f=34, fx=13, fy=26f=34,\ f_x=13,\ f_y=-26:  z=13x26y18\ z=13x-26y-18
4.22 · p350f=sin2xcos3yf=\sin 2x\cos 3y at (π3,π4)(\tfrac\pi3,\tfrac\pi4)f=64, fx=22, fy=364f=-\tfrac{\sqrt6}{4},\ f_x=\tfrac{\sqrt2}{2},\ f_y=-\tfrac{3\sqrt6}{4}
4.23 · p352f=414x2y2f=\sqrt{41-4x^2-y^2}, estimate f(2.1,2.9)f(2.1,\,2.9) from (2,3)(2,3)L=4142x34yL=\tfrac{41}{4}-2x-\tfrac34y;  L=3.875\ L=3.875, true 3.86653.8665
4.24 · p353f=2x24yf=2x^2-4y differentiable at (2,3)(2,-3)?E=2(x2)2E=2(x-2)^2,  E/dist0\ E/\text{dist}\to0: yes
4.25 · p357f=3x22xy+y2f=3x^2-2xy+y^2 at (2,3)(2,-3), dx=0.1dx=0.1, dy=0.05dy=-0.05dz=18(0.1)10(0.05)=2.3dz=18(0.1)-10(-0.05)=2.3;  Δz=2.3425\ \Delta z=2.3425

Every example is the same three numbers: ff, fxf_x, fyf_y at the point.

Linear approximation

Definition · (4.25) · p351 f(x,y)L(x,y)=f(x0,y0)+fx(x0,y0)(xx0)+fy(x0,y0)(yy0) f(x,y)\approx L(x,y)=f(x_0,y_0)+f_x(x_0,y_0)(x-x_0)+f_y(x_0,y_0)(y-y_0)

The tangent plane, used as a formula.

Example 4.23

L(2.1,2.9)=10.254.22.175=3.875L(2.1,\,2.9)=10.25-4.2-2.175=3.875

f(2.1,2.9)=14.953.8665f(2.1,\,2.9)=\sqrt{14.95}\approx3.8665: about 0.2%0.2\% off.

The plane is cheap to evaluate and close to the surface near the point — that is the whole trade.

Lab 2 · how good is the plane?

f=414x2y2f=\sqrt{41-4x^2-y^2}, plane at (2,3)(2,3). Move the point you estimate.

2.1 2.9
Curves of equal gap Lf=0.01, 0.05, 0.2, 0.5|L-f|=0.01,\ 0.05,\ 0.2,\ 0.5 around (2,3)(2,3). Dashed: the edge of the domain, 4x2+y2=414x^2+y^2=41.

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.

Differentiable

Definition · (4.26) · p353 f(x,y)=L(x,y)+E(x,y),lim(x,y)(x0,y0)E(x,y)(xx0)2+(yy0)2=0 f(x,y)=L(x,y)+E(x,y),\qquad \lim_{(x,y)\to(x_0,y_0)}\frac{E(x,y)}{\sqrt{(x-x_0)^2+(y-y_0)^2}}=0

The gap must vanish faster than the distance.

Theoremsaysso
4.6 · p355differentiable ⇒ continuousa jump rules out a tangent plane
4.7 · p355fxf_x, fyf_y continuous near the point ⇒ differentiablethe everyday test: polynomials, ee^{\cdots}, sin\sin, away from trouble
warning · p350fxf_x, fyf_y exist ⇏ differentiablexyx2+y2\dfrac{xy}{\sqrt{x^2+y^2}} 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.

Lab 3 · partials, but no plane

f=xyx2+y2f=\dfrac{xy}{\sqrt{x^2+y^2}}, f(0,0)=0f(0,0)=0. Flat along both axes, so fx(0,0)=fy(0,0)=0f_x(0,0)=f_y(0,0)=0 and the candidate plane is z=0z=0.

45°
The graph is made of straight lines through the origin: a creased cone, not a plane.

Try: θ = 0° or 90° — the slice lies in z=0z=0, as the partials promised. θ = 45° — the slice rises with slope 220.71\tfrac{\sqrt2}{2}\approx0.71 on both sides: a crease. E/distE/\text{dist} stays at 12sin2θ\tfrac12\sin2\theta however close you get, so it does not go to 0.

Differentials

Total differential · (4.27) · p356 dz=fx(x0,y0)dx+fy(x0,y0)dy,Δzdz dz=f_x(x_0,y_0)\,dx+f_y(x_0,y_0)\,dy,\qquad \Delta z\approx dz

dx=Δxdx=\Delta x, dy=Δydy=\Delta y. Δz\Delta z climbs the surface; dzdz climbs the plane.

Example 4.25 · error propagation

dz=18(0.1)10(0.05)=2.3dz=18(0.1)-10(-0.05)=2.3

exact: Δz=2.3425\Delta z=2.3425

Measuring errors in xx and yy propagate to ff the same way (p357).

A small change in zz is a weighted sum of the small changes you make, weighted by the slopes.

dx dz Δz surface plane
A slice through the step: dzdz rises along the plane, Δz\Delta z along the surface.

Lab 4 · Δz against dz

Example 4.25: f=3x22xy+y2f=3x^2-2xy+y^2 at (2,3)(2,-3).

0.1 −0.05
Heights over the moved point: green to the plane (dzdz), red to the surface (Δz\Delta z). Heights are drawn at 1/20 of the horizontal scale.

Try: halve both steps — dzdz halves, the difference Δzdz\Delta z-dz drops to a quarter. The first-order change is the plane; what is left over is second order.

Common mistakes

MistakeResultFix
Partials left as functions: z=f+(4x3y+2)(x2)+z=f+(4x-3y+2)(x-2)+\cdotsa curved surface, not a planeevaluate fxf_x, fyf_y at the point first: 13 and −26
Forgetting f(x0,y0)f(x_0,y_0)a plane through the wrong heightcheck: z=fz=f at (x0,y0)(x_0,y_0)
(x+x0)(x+x_0) for (xx0)(x-x_0) with a negative coordinateEx 4.21: y1y-1 instead of y+1y+1y(1)=y+1y-(-1)=y+1
Normal fx,fy,1\langle f_x,f_y,1\rangle for z=f(x,y)z=f(x,y)a plane tilted the other wayfx,fy,1\langle f_x,f_y,-1\rangle, or the gradient of f(x,y)zf(x,y)-z
"The partials exist, so it is differentiable"wrong for xy/x2+y2xy/\sqrt{x^2+y^2} at the origincontinuous partials (Theorem 4.7), or the limit of E/distE/\text{dist}
Using dzdz as the exact changeEx 4.25: 2.3 against 2.3425Δz=f(x0+dx,y0+dy)f(x0,y0)\Delta z=f(x_0+dx,y_0+dy)-f(x_0,y_0); dzdz only estimates it
Percentage errors added without weightsEx 201: 9% for the cylinderdV/V=2dr/r+dh/h=8%+5%=13%dV/V=2\,dr/r+dh/h=8\%+5\%=13\%

Practice and answers

Exercises from p358; the book's key: p862, p868.

Checkpoints 4.19–4.22
#taskanswer
4.19tangent plane to x3x2y+y22x+3y2x^3-x^2y+y^2-2x+3y-2 at (1,3)(-1,3)f=14, fx=7, fy=8f=14,\ f_x=7,\ f_y=8:  z=7x+8y3\ z=7x+8y-3
4.20estimate f(4.1,0.9)f(4.1,\,0.9) for e52x+3ye^{5-2x+3y} from (4,1)(4,1)L=62x+3y=0.5L=6-2x+3y=0.5; true e0.50.6065e^{-0.5}\approx0.6065
4.213x4y23x-4y^2 differentiable at (1,2)(-1,2)E=4(y2)2E=-4(y-2)^2,  E/dist4dist0\ |E|/\text{dist}\le4\,\text{dist}\to0
4.22dzdz and Δz\Delta z for 4y2+x2y2xy4y^2+x^2y-2xy at (1,1)(1,-1), dx=0.03dx=0.03, dy=0.02dy=-0.02dz=0.18dz=0.18;  Δz=0.180682\ \Delta z=0.180682
Exercises
#taskanswer
163unit normal to z=x3z=x^3 at (2,1,8)(2,-1,8)1145(12ik)\tfrac{1}{\sqrt{145}}(12\mathbf i-\mathbf k)
165x2+xy+y2=3x^2+xy+y^2=3 at (1,1)(-1,-1): normal, tangenti+j\mathbf i+\mathbf j;  ij\ \mathbf i-\mathbf j
167xy22x2+y+5x=6xy^2-2x^2+y+5x=6 at (4,2)(4,2)7i17j7\mathbf i-17\mathbf j;  17i+7j\ 17\mathbf i+7\mathbf j
169zex2y23=0ze^{x^2-y^2}-3=0 at (2,2,3)(2,2,3): normal12i+12jk-12\mathbf i+12\mathbf j-\mathbf k
171tangent plane, z=9x23y2z=-9x^2-3y^2, (2,1,39)(2,1,-39)36x6yz=39-36x-6y-z=-39
173z=ln(10x2+2y2+1)z=\ln(10x^2+2y^2+1), (0,0,0)(0,0,0)z=0z=0
175xy+yz+zx=11xy+yz+zx=11, (1,2,3)(1,2,3)5x+4y+3z22=05x+4y+3z-22=0
177x3+y3=3xyzx^3+y^3=3xyz, (1,2,32)(1,2,\tfrac32)4x5y+4z=04x-5y+4z=0
179z=sinx+siny+sin(x+y)z=\sin x+\sin y+\sin(x+y), (0,0,0)(0,0,0)2x+2yz=02x+2y-z=0
181z=x22xy+y2z=x^2-2xy+y^2, (1,2,1)(1,2,1)2(x1)+2(y2)(z1)=0-2(x-1)+2(y-2)-(z-1)=0
183normal line, z=5x22y2z=5x^2-2y^2, (2,1,18)(2,1,18)x=20t+2, y=4t+1, z=t+18x=20t+2,\ y=-4t+1,\ z=-t+18
185normal line, z=ln(3x2+7y2+1)z=\ln(3x^2+7y^2+1), (0,0,0)(0,0,0)x=0, y=0, z=tx=0,\ y=0,\ z=t
187normal line, z=x22xy+y2z=x^2-2xy+y^2, (1,2,1)(1,2,1)x1=2t, y2=2t, z1=tx-1=2t,\ y-2=-2t,\ z-1=t
189segment BCBC in the figure (p359)dz=fxdx+fydydz=f_x\,dx+f_y\,dy
191exyxe^{xy}x differentiable at (1,0)(1,0)exyxx+ye^{xy}x\approx x+y, error → 0
193x2+3yx^2+3y differentiable everywhereΔz=2xΔx+3Δy+(Δx)2\Delta z=2x\Delta x+3\Delta y+(\Delta x)^2
195z=xeyz=xe^y, P(1,2)P(1,2) to Q(1.05,2.1)Q(1.05,\,2.1)Δz1.185422\Delta z\approx1.185422,  dz1.108\ dz\approx1.108
197aluminium in a can, d=8d=8, h=12h=12, 0.04 cm thick16 cm3\approx16\ \text{cm}^3
199x2+3xyy2x^2+3xy-y^2, (2,3)(2.05,2.96)(2,3)\to(2.05,\,2.96) (p360)Δz=0.6449\Delta z=0.6449,  dz=0.65\ dz=0.65
201cylinder, 4% in rr, 5% in hh: error in VV13%
203R1=7R_1=7, R2=6R_2=6 in parallel, ±0.05 Ω each0.025 Ω\approx0.025\ \Omega
205pendulum, 0.5% in LL, 0.1% in gg: error in TT0.3%
207LL for xyx\sqrt y at (1,4)(1,4) (p361)2x+14y12x+\tfrac14y-1
209LL for arctan(x+2y)\arctan(x+2y) at (1,0)(1,0)12x+y+π412\tfrac12x+y+\tfrac\pi4-\tfrac12
211LL for x2+y2+z2\sqrt{x^2+y^2+z^2} at (3,2,6)(3,2,6)37x+27y+67z\tfrac37x+\tfrac27y+\tfrac67z
213tangent plane, z=ln(10x2+2y2+1)z=\ln(10x^2+2y^2+1) at the originz=0z=0
Level 3 · why it worksWhere the formulas come fromshort arguments

Where the formula comes from

Two tangent lines, crossed (p348):

a=j+fyk,b=i+fxk,a×b=fxi+fyjk \mathbf a=\mathbf j+f_y\,\mathbf k,\quad \mathbf b=\mathbf i+f_x\,\mathbf k,\qquad \mathbf a\times\mathbf b=f_x\,\mathbf i+f_y\,\mathbf j-\mathbf k

A plane through (x0,y0,f(x0,y0))(x_0,y_0,f(x_0,y_0)) with that normal:

fx(xx0)+fy(yy0)(zf(x0,y0))=0 f_x\,(x-x_0)+f_y\,(y-y_0)-\big(z-f(x_0,y_0)\big)=0

Solve for zz and you have (4.24). The cross product of §2.4 turns two slopes into one normal.

Why the error vanishes

Example 4.24, f=2x24yf=2x^2-4y at (2,3)(2,-3):

E=fL=2x24y(8x4y8)=2(x2)2 E=f-L=2x^2-4y-(8x-4y-8)=2(x-2)^2 0E(x2)2+(y+3)22((x2)2+(y+3)2)(x2)2+(y+3)2=2(x2)2+(y+3)20 0\le\frac{E}{\sqrt{(x-2)^2+(y+3)^2}}\le\frac{2\big((x-2)^2+(y+3)^2\big)}{\sqrt{(x-2)^2+(y+3)^2}}=2\sqrt{(x-2)^2+(y+3)^2}\to0

A polynomial's error is made of squares and products of the steps: second order, so divided by the distance it still vanishes.

Why partials are not enough

For f=xyx2+y2f=\dfrac{xy}{\sqrt{x^2+y^2}} the candidate plane is z=0z=0, so E=fE=f and

Ex2+y2=xyx2+y2=12sin2θon the ray at angle θ \frac{E}{\sqrt{x^2+y^2}}=\frac{xy}{x^2+y^2}=\tfrac12\sin2\theta\quad\text{on the ray at angle }\theta

Different on different rays, so no limit (p354). Theorem 4.7 is not contradicted, because the partials are not continuous there:

fx=y3(x2+y2)3/2,fx(ky,y)=y3y3(k2+1)3/2=±1(k2+1)3/2 f_x=\frac{y^3}{(x^2+y^2)^{3/2}},\qquad f_x(ky,\,y)=\frac{y^3}{|y|^3\,(k^2+1)^{3/2}}=\pm\frac{1}{(k^2+1)^{3/2}}

Along x=kyx=ky the value depends on kk and on the sign of yy, so fxf_x has no limit at the origin (p356).

Three variables, and what comes next

Three variables · (4.28) · p358

f(x,y,z)=f(P)+fxΔx+fyΔy+fzΔz+Ef(x,y,z)=f(P)+f_x\,\Delta x+f_y\,\Delta y+f_z\,\Delta z+E, with E/dist0E/\text{dist}\to0. Same theorems.

Next

§4.5: the chain rule is dz=fxdx+fydydz=f_x\,dx+f_y\,dy divided by dtdt. §4.6: fx,fy\langle f_x,f_y\rangle becomes the gradient, and the tangent plane to F(x,y,z)=cF(x,y,z)=c has normal F\nabla F (Exercises 169–177).

Everything in this chapter is the plane in disguise.