Let σ be regular at (u0,v0), M0=σ(u0,v0). The tangent planeTM0S is the plane through M0 directed by Vect(σu,σv) (partials at (u0,v0)). The unit normal is
n(u0,v0)=∥σu∧σv∥σu∧σv.
Examples
Example 19.6(The helicoid’s tangent plane)
For the helicoid σ(u,v)=(vcosu,vsinu,au), at the point σ(0,1)=(1,0,0):
σu=(0,1,a),σv=(1,0,0),σu∧σv=(0,a,−1),
so the tangent plane is ay=z. It contains the whole horizontal ruling {(t,0,0)} (direction σv): as for the cone of Exercise 19.1, a surface ruled by straight lines has each ruling lying inside the tangent plane along it. The other tangent direction σu is the velocity of the helix u↦σ(u,1): one chart, two drawn curves, and the whole tangent plane is spanned — Proposition 19.5 in action.
Example 19.8
For the sphere x2+y2+z2=R2: ∇f=2(x,y,z), so the tangent plane at M0 is orthogonal to the radius OM0 — the classical fact that radius and tangent plane are perpendicular, with equation ⟨M0,M⟩=R2.
Example 19.9(Graph tangent plane)
For z=f(x,y) at (x0,y0): applying Proposition 19.7 to F(x,y,z)=f(x,y)−z,