Proof That Grad of a Function Defining a Surface is Perpendicular to the Surface
Theorem
If
is the equation of a surface then
is perpendicular to the surface.
Proof
A point on the surface has position vector
and can write a tangent vector in the surface as
since
We can write this as
This is equivalent to
sois perpendicular to
