The Gauss map sends to the chosen unit normal . Differentiating shows that maps into itself. The shape operator is self-adjoint because its associated second fundamental form is symmetric. Its eigenvalues are the principal curvatures. A point is umbilical when , and the surface is minimal when its mean curvature vanishes everywhere.
In an orthonormal principal basis, has diagonal matrix . It is conformal exactly whenwhich is equivalent to . At a nonumbilical point this says , exactly the condition . Hence, when there are no umbilical points, the surface is minimal if and only if its Gauss map is conformal.
Solved by gpt-5.6-sol high.
Codex Wiki