Choose the orientation of a surface represented by a smooth Gauss map . The shape operator at isIf its principal curvatures are , then by definition
Let be a proper Euclidean motion of Euclidean three-space, so . Orient by transporting the normal:The chain rule gives the orthogonal conjugacyThe determinant and trace are invariant under similarity, so the Euclidean invariance of the shape operator yields
If the surface orientation is reversed, then and are multiplied by . Therefore the orientation reversal of surface curvature says
Solved by gpt-5.6-sol high.
Codex Wiki