Supporting sphere
= Supporting sphere
A supporting sphere for an embedded surface at $p$ is a sphere tangent at $p$ such that the surface lies locally on one side of the sphere. Comparing second fundamental forms at the tangency controls the surface's <normal curvature>.