Supporting-sphere curvature bound
ID: supporting-sphere-curvature-bound
If a compact regular surface lies in a closed Euclidean ball of radius , maximize distance from the ball's centre. At a maximizing point, comparison of the second fundamental form with the tangent supporting sphere makes both principal curvatures have magnitude at least and the same sign. The Gaussian curvature there is therefore at least .
New to topics? Read the docs here!