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+y2x, fx(3,4)=53. fy=x2+y2y, 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+z2x,…y,…z). ∇f(3,4,0)=(53,54,0). L(x,y,z)=5+53(x−3)+54(y−4)+0(z−0)=53x+54y. 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=fxdtdx+fydtdy — the chain rule. Q10: Total derivativeThe total derivative df is df=fxdx+fydy. 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