Proof That Grad of a Function Defining a Surface is Perpendicular to the Surface

Theorem

Ifis the equation of a surface thenis perpendicular to the surface.

Proof

A point on the surface has position vectorand can write a tangent vector in the surface as

since

We can write this as

This is equivalent tosois perpendicular to