Hi, there is a quick proof of this.
Suppose a surface:
F(x,y,z)=Costant
and a point:
P(x0,y0,z0) [tex]\in[/tex] surface.
Let C be a curve on the surface passing through P. This curve can be described by a vector function:
r(t)=(x(t),y(t),z(t))
let:
r(t0)=(x0,y0,z0)
C lies on the surface this implies that:
F(r(t))=Costant
differentiating (if F and r are differentiable) we have:
(∂F/∂x)(dx/dt)+(∂F/∂y)(dy/dt)+(∂F/∂z)(dz/dt)=0
∇F·r'(t)=0
[tex]\Rightarrow[/tex] The vector r'(t) (tangent to the surface) is perpendicular to the levele surface.