If a unit tangent makes angle with the first principal direction, the normal curvature is . This follows by diagonalizing the second fundamental form relative to the first fundamental form. When the Gaussian curvature is nonnegative, .
For
the coordinate tangent vectors are orthogonal and the first fundamental form is
Local isometry from a circular cone to the plane Created 2026-09-24 Updated 2026-09-24
For the cone
the first fundamental form is
The local change of polar coordinates
turns this into the Euclidean metric .
Write . The tangent vectors are
Their squared lengths and inner product give the first fundamental form
The unit normal determined by this ordered parametrization is
Taking inner products of with , and yields , , . Consequently the second fundamental form of a ring torus is
This normal points into the tube. Choosing the outward unit normal reverses both coefficients and gives ; the choice must therefore accompany an answer for the second fundamental form.
The Gaussian curvature is unchanged by that reversal:
Since the denominator is positive, on the outside of the torus, where , and on its inner side, where . It vanishes on the two circles . This is the Gaussian curvature of a ring torus.
An embedded surface parametrization is a smooth map , with open , injective differential of rank two at each point, and a homeomorphism onto its image with the subspace topology. Its induced metric is
In coordinates, an arc-length-parametrized geodesic satisfies
where the Christoffel symbols are . The normalization fixes unit speed; it is compatible with the differential equations because geodesic speed is constant.
For the cone use , , restricting to a suitable open interval for a chart. Direct differentiation gives its first fundamental form
With and , this becomes , the Euclidean metric in polar coordinates. The map is therefore a local isometry. It is local rather than global because increasing by increases by .
Given two points, choose their angle representatives so that . Their developed plane angles then differ by at most . The straight segment between their developed positions stays away from the origin: it lies in an angular sector of width at most containing both positive-radius endpoints. Develop that segment back onto the cone. Since local isometries preserve geodesics, it gives a geodesic joining the two points; it can be parametrized by arc length. This constructs geodesics on a punctured circular cone. For a repeated point the constant curve is the degenerate geodesic. In particular, this argument does not appeal to completeness of the punctured cone.
The joining geodesic need not be unique. For endpoints with equal positive radius and opposite azimuth, one may use the angular changes and . In the plane these give two straight segments from to and , respectively. Both avoid the origin. Their lifts pass on opposite sides of the cone and have distinct images, so a reparametrization cannot identify them.
An immersion has differential of rank , equivalently linearly independent . It has isothermal coordinates when its first fundamental form has , . A minimal surface has zero mean curvature.
For an isothermal immersion, differentiation of and gives
and similarly its scalar product with is zero. Its normal component is . The given mean curvature formula reduces to , so
Thus an isothermal immersion is minimal exactly when each coordinate is a harmonic function.
An explicit example is the Enneper surface, parametrized on by
Every coordinate has zero Laplacian. Direct differentiation gives and . Thus it is an isothermal immersion and is minimal everywhere.
It is not an open subset of any of the three listed surfaces. The parameter points and both map to , but their tangent planes differ: while . A plane, catenoid, or helicoid is an embedded smooth surface with a unique tangent plane at each point. If our whole image lay in any one of them, both rank- tangent planes at this point would have to equal its tangent plane, a contradiction.