For a regular parametrization choose the unit normal . The first fundamental form is the squared length induced on tangent vectors:
The second fundamental form records their normal bending:
The Gaussian curvature is
Regularity ensures .
Expanding the characteristic determinant gives
The product and sum of its two roots therefore give
Reversing the normal changes both principal curvatures and the mean curvature in sign, while leaving their product unchanged.
Put . Then and , so
This is the induced metric of the ruled surface wherever .
For the ruled surface, , so . Also
Thus
The denominator is positive at every regular point, proving that zero Gaussian curvature is equivalent to the vanishing of the stated scalar triple product. In particular the Gaussian curvature of a regular ruled surface is always nonpositive.
For the helicoid,
Hence , , . Since and , both and vanish. The mean-curvature formula therefore gives
For comparison, , so ; zero mean curvature does not mean zero Gaussian curvature.

Articles by others on the same topic (0)

There are currently no matching articles.