Take any differentiable curve on the level surface. The chain rule givesIts tangent vector can be any tangent direction at a regular point. Thus a nonzero gradient is orthogonal to the entire tangent plane, giving the unit normal . Nonvanishing is essential: at a critical point, the zero gradient alone does not determine a normal or guarantee a smooth level surface.
The relevant projection is the disk . The surface area of a graph is . Here and , so polar coordinates giveThe boundary circle has zero surface area, so including the points at height zero does not change the result.
Articles by others on the same topic
There are currently no matching articles.