Tangent Planes & Hyperplanes
1322 words
7 min read
Visual companion
Python
Type and operator map
Python Week 1: the first filter for runtime behavior
View
Revision summary
What this note is really saying
Short form
# Tangent Planes & Hyperplanes ## ๐ฏ Learning Objectives After this topic you will be able to: - Find the equation of the tangent plane to $z = f(x,y)$ at a point - Find the tangent hyperplane for $f: \mathbb{R}^n \to \mathbb{R}$ - Use the tangent plane for linear approximation - Derive the tangent plane from the gr...

Tangent Planes & Hyperplanes
๐ฏ Learning Objectives
After this topic you will be able to:
- Find the equation of the tangent plane to z=f(x,y) at a point
- Find the tangent hyperplane for f:RnโR
- Use the tangent plane for linear approximation
- Derive the tangent plane from the gradient
๐ Prerequisites
- Gradient (Week 9) โ provides the normal vector
- Partial Derivatives (Week 9) โ components of the gradient
1. Intuition: The Best Flat Approximation
A tangent plane is the best linear approximation to a surface at a point. It's the multivariable version of the tangent line from single-variable calculus.
Just as L(x)=f(a)+fโฒ(a)(xโa) approximates f(x) near a, the tangent plane approximates f(x,y) near (a,b):
2. Tangent Plane to z=f(x,y)
2.1 Formula
>zโz0โ=fxโ(a,b)(xโa)+fyโ(a,b)(yโb)>Definition (Tangent Plane). For z=f(x,y), the tangent plane at (a,b,f(a,b)) is:
Or equivalently: z=f(a,b)+fxโ(a,b)(xโa)+fyโ(a,b)(yโb). Example 1: Tangent planef(x,y)=x2+y2 at (1,2).f(1,2)=5, fxโ=2x, fxโ(1,2)=2, fyโ=2y, fyโ(1,2)=4.Tangent plane: zโ5=2(xโ1)+4(yโ2), or z=2x+4yโ5.
2.2 Using the Gradient
For z=f(x,y), define F(x,y,z)=zโf(x,y). Then โF=(โfxโ,โfyโ,1) is normal to the tangent plane:
3. Tangent Hyperplane
For f:RnโR, the tangent hyperplane at a is:
Example 2: Tangent hyperplane in โยณf(x,y,z)=x2+y2+z2 at (1,1,1).โf=(2x,2y,2z), โf(1,1,1)=(2,2,2). f(1,1,1)=3.Tangent hyperplane: wโ3=2(xโ1)+2(yโ1)+2(zโ1). Or w=2x+2y+2zโ3.
4. Linear Approximation
The tangent plane gives the linearisation of f near a point:
>L(x)=f(a)+โf(a)โ (xโa)>Definition (Linearisation). The linearisation of f at a is:
The error โฅf(x)โL(x)โฅ goes to 0 faster than โฅxโaโฅ as xโa.
Example 3: Linear approximationApproximate (3.1)2+(4.2)2โ using f(x,y)=x2+y2โ at (3,4).f(3,4)=5. fxโ=x2+y2โxโ, fxโ(3,4)=53โ. fyโ=x2+y2โyโ, fyโ(3,4)=54โ.L(3.1,4.2)=5+53โ(0.1)+54โ(0.2)=5+0.06+0.16=5.22.Actual: 9.61+17.64โ=27.25โโ5.2199. Spot on!
5. Edge Cases & Gotchas
| Situation | What Happens |
|---|---|
| ** f not differentiable** | Tangent plane doesn't exist |
| ** โf=0 ** | Tangent plane is horizontal |
| ** f(x,y) ** | Tangent plane is 2D; hyperplane for n>2 |
6. Common Pitfalls
โ Pitfall 1: Forgetting the constant term
The tangent plane equation is z=f(a,b)+fxโ(a,b)(xโa)+fyโ(a,b)(yโb). The constant f(a,b) is crucial.
โ Pitfall 2: Using unnormalised gradient for the plane equation
For z=f(x,y), the normal is (fxโ,fyโ,โ1) or (โfxโ,โfyโ,1), not (fxโ,fyโ,0).
7. Formula Summary Table
| Concept | Formula |
|---|---|
| Tangent plane ( z=f(x,y) ) | zโz0โ=fxโ(a,b)(xโa)+fyโ(a,b)(yโb) |
| Tangent hyperplane | f(x)โf(a)+โf(a)โ (xโa) |
| Linearisation | L(x)=f(a)+โf(a)โ (xโa) |
| Normal vector | n=(โfxโ,โfyโ,1) or (fxโ,fyโ,โ1) |
8. ๐ Practice Questions
Q1: Tangent planeFind tangent plane to z=sin(xy) at (ฯ/2,1,1).Solution: fxโ=ycos(xy), fxโ(ฯ/2,1)=1โ cos(ฯ/2)=0. fyโ=xcos(xy), fyโ(ฯ/2,1)=(ฯ/2)cos(ฯ/2)=0. Tangent plane: zโ1=0(xโฯ/2)+0(yโ1) โ z=1 (horizontal plane). Q2: Linear approximationApproximate e0.1cos(0.2) using f(x,y)=excosy at (0,0).Solution: f(0,0)=1, fxโ=excosy, fxโ(0,0)=1, fyโ=โexsiny, fyโ(0,0)=0. L(0.1,0.2)=1+1(0.1)+0(0.2)=1.1. Actual: e0.1cos(0.2)โ1.10517ร0.98007โ1.083. Not great โ error due to second-order terms. Q3: Tangent plane from gradientFind tangent plane to z=x2โy2 at (2,1,3) using gradient method.Solution: F(x,y,z)=zโx2+y2=0. โF=(โ2x,2y,1), โF(2,1,3)=(โ4,2,1). Plane: (โ4,2,1)โ (xโ2,yโ1,zโ3)=0 โ โ4(xโ2)+2(yโ1)+(zโ3)=0 โ โ4x+8+2yโ2+zโ3=0 โ z=4xโ2yโ3. Check: f(2,1)=3=4(2)โ2(1)โ3=8โ2โ3=3 โ. Q4: Multivariable linearisationLinearise f(x,y,z)=x2+y2+z2โ at (3,4,0).Solution: f(3,4,0)=5. โf=(x2+y2+z2โxโ,โฆโyโ,โฆโzโ). โf(3,4,0)=(53โ,54โ,0). L(x,y,z)=5+53โ(xโ3)+54โ(yโ4)+0(zโ0)=53โx+54โy. Q5: Error estimationThe radius and height of a cylinder are measured with errors. Use linearisation: V=ฯr2h. If r=5 (error 0.1), h=10 (error 0.1), estimate max error in V.Solution: V(5,10)=250ฯ. Vrโ=2ฯrh, Vrโ(5,10)=100ฯ. Vhโ=ฯr2, Vhโ(5,10)=25ฯ. ฮVโโฃVrโโฃฮr+โฃVhโโฃฮh=100ฯ(0.1)+25ฯ(0.1)=12.5ฯโ39.27. Max error: about 12.5ฯ. Q6: Tangent plane to implicit surfaceFind tangent plane to x2+y2+z2=14 at (1,2,3).Solution: F(x,y,z)=x2+y2+z2โ14, โF=(2x,2y,2z), โF(1,2,3)=(2,4,6). Tangent plane: 2(xโ1)+4(yโ2)+6(zโ3)=0 โ x+2y+3z=14. Q7: Differentiability checkShow f(x,y)=x2+y2 is differentiable at (1,2) by finding its linearisation and verifying the error goes to 0.Solution: L(x,y)=5+2(xโ1)+4(yโ2)=2x+4yโ5. Error: f(x,y)โL(x,y)=(x2+y2)โ(2x+4yโ5)=(x2โ2x+1)+(y2โ4y+4)=(xโ1)2+(yโ2)2. As (x,y)โ(1,2), the error is O(โฅ(xโ1,yโ2)โฅ2), which goes to 0 faster than โฅ(xโ1,yโ2)โฅ. โ Q8: Tangent plane for f(x,y) at critical pointf(x,y)=x2+y2 at (0,0,0). What's special about the tangent plane?Solution: โf(0,0)=(0,0). Tangent plane: zโ0=0(xโ0)+0(yโ0) โ z=0. At a critical point (โf=0), the tangent plane is horizontal. Q9: Chain rule and tangent planeIf z=f(x,y) and x=g(t), y=h(t), how does the tangent plane relate to dtdzโ?Solution: The tangent plane gives ฮzโfxโฮx+fyโฮy. Dividing by ฮt and taking the limit gives dtdzโ=fxโdtdxโ+fyโdtdyโ โ the chain rule. Q10: Total derivativeThe total derivative df is df=fxโdx+fyโdy. Show this corresponds to the linearisation.Solution: The total derivative represents the linear part of the change in f: ฮfโfxโฮx+fyโฮy=โfโ (ฮx,ฮy). This is exactly the linearisation L(x,y)โf(a,b)=โf(a,b)โ (xโa,yโb).
๐ Cross-References
- Next topic: Critical Points
- Week 11 (Hessian): Second-order Taylor expansion refines the linear approximation
- BSMA1001 (Maths 1): Tangent line in single-variable calculus Join Discord Previous9.3 Limits & ContinuityNext10.2 Critical Points