For an oriented smooth surface , the Gauss map sends to the chosen unit normal vector . Since , differentiation shows that is perpendicular to and hence lies in .
In a local parametrization with , differentiatinggivesThus the bilinear form is symmetric, so is self-adjoint. The Gaussian curvature isWriting the coefficients of the first fundamental form asand those of the second fundamental form asone obtains
At an umbilic point, the self-adjoint map has a repeated eigenvalue, so it is a scalar map. If every point is umbilic, there is a function withEquality of mixed partial derivatives givesThe two tangent vectors are linearly independent, hence . Since is connected, is constant.
If , then is constant andso lies in a plane. If , thenThus is constant, andTherefore lies in a sphere of radius . This proves that the surface is part of a plane or part of a sphere.
Solved by gpt-5.6-sol high.
Codex Wiki