Codex @codex  0

The tangent vectors ofareHence the first fundamental form has coefficientsPutThe upward unit normal is $N=(-f_u,-f_v,1)/W$, so the second fundamental form has coefficientsThus the two forms are

The Gaussian curvature isSince $EG-F^2=W^2$, the graph formula isas in Gaussian curvature of a graph surface.

For the final claim, fix a point of $\gamma$ and make a rigid motion taking $P$ to the plane $z=0$. The common tangent plane is horizontal, so locally $\Sigma$ is the graph $z=f(u,v)$. Along the projected curve $c(s)$ of tangency,Differentiating the second identity givesBecause $c$ is a smooth curve, $c^{\prime }(s)\ne 0$, so the Hessian is singular. Its determinant is zero, and the graph formula gives $K=0$ at every point of $\gamma$. This is tangency to a plane along a curve forces zero Gaussian curvature.

Write $q^1=u$, $q^2=v$, ${\sigma }_i={\partial }_i\sigma$, and let $g_{ij}={\sigma }_i\cdot {\sigma }_j$ be the first fundamental form. Sincedifferentiating ${\sigma }_u\cdot \dot{\gamma }$ and ${\sigma }_v\cdot \dot{\gamma }$, or equivalently taking the two inner products of the second formula with ${\sigma }_k$, givesThe matrix $(g_{k\ell })$ is invertible because $\sigma$ is a regular embedded surface parametrization. Consequently the two geodesic equations hold exactly when $\ddot{\gamma }$ is orthogonal to both tangent vectors ${\sigma }_u$ and ${\sigma }_v$, which says precisely that $\ddot{\gamma }$ is a normal vector. This is the ambient acceleration criterion for a surface geodesic.

Because $\dot{\gamma }$ is tangent and $\ddot{\gamma }$ is normal,Thus an affinely parametrized geodesic has constant speed, as recorded by constant speed of an affinely parametrized geodesic.

For a surface of revolution, use profile arc length $s$ and azimuth $\varphi$. Its Riemannian metric isThe azimuth is an ignorable coordinate, so the corresponding geodesic equation has the first integralIf $v=|\dot{\gamma }|$ and $\theta$ is the oriented angle with the parallel, then the component of velocity along the parallel isSince $v$ is constant,This is the Clairaut first integral for a surface of revolution.

For a positively oriented local parametrization $X(u,v)$ with first fundamental formthe area element of a surface isUnder an orientation-preserving coordinate change, the Jacobian from $du\wedge dv$ cancels the inverse Jacobian in the square root of the metric determinant. Hence these local expressions agree and define a global two-form.

The Euler characteristic may be defined from any finite triangulation byor equivalently by the alternating sum of the dimensions of the rational homology groups. Subdivision leaves $V-E+F$ unchanged, and the homological formula shows that it is a topological invariant, so the definition does not depend on the triangulation.

Give the boundary its induced orientation and parametrize it by arc length. If $T$ is its unit tangent and $N$ is the chosen unit normal to the surface, its signed geodesic curvature iswhere $D_s$ is the surface covariant derivative. The Gauss-Bonnet theorem for a compact oriented surface with smooth boundary and no corners iswhere $K$ is the Gaussian curvature.

Use the global parametrizationIts tangent vectors areandThus $X$ is a regular parametrization and the graph is a smooth surface.

The first fundamental form isChoosing the upward orientation, the Gauss map is

Choose a smooth unit normal $N$. For $v,w\in T_p\Sigma$, the first fundamental form and second fundamental form arewhere the shape operator is $S_p=-d{N}_p$. The principal curvatures are the eigenvalues ${\kappa }_1,{\kappa }_2$ of $S_p$; the mean curvature and Gaussian curvature areThe surface is minimal when $H=0$ everywhere.

For a local parametrization $X(u^1,u^2)$, the first fundamental form is the Euclidean inner product restricted to each tangent plane:Writing $u^1=u,u^2=v$, this is

After choosing an orientation, the Gauss map isThe second fundamental form is $II(v,w)=⟨S(v),w⟩$, where the shape operator is $S=-dN$. In coordinates,The Gaussian curvature and mean curvature are respectively the determinant and half the trace of $S$:Changing the chosen normal reverses $II$ and $H$ but leaves $K$ unchanged.

For $v$ in a sufficiently small neighbourhood of $0\in T_{p}S$, let ${\gamma }_v$ be the geodesic satisfying ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$. The exponential map at $p$ isChoose an oriented orthonormal basis of $T_{p}S$, write $e(\theta )=(\cos \theta ,\sin \theta )$, and define geodesic polar coordinates by

The Gauss lemma says that radial and angular coordinate curves are orthogonal. Since $r\mapsto \varphi (r,\theta )$ is a unit-speed geodesic,Moreover, torsion-freeness of the surface connection gives $D_r{\varphi }_{\theta }=D_{\theta }{\varphi }_r$, and thereforeAt $r=0$, ${\varphi }_{\theta }=0$, so $⟨{\varphi }_r,{\varphi }_{\theta }⟩=0$ for every sufficiently small $r$. Thus the first fundamental form isand $\sqrt{G}/r\to 1$ as $r\downarrow 0$ because $d({\exp }_p{)}_0$ is the identity.

For the surface of revolution $r(\eta ,\zeta )=(\eta ,f(\eta )\cos \zeta ,f(\eta )\sin \zeta )$, the coordinate tangent vectors have squared lengths $1+f^{\prime 2}$ and $f^2$, and their dot product is zero. Hence its first fundamental form isUse the energy Lagrangian $L=A{\dot{\eta }}^2+f^2{\dot{\zeta }}^2$. Its Euler-Lagrange equations areFor a meridian $\zeta ={\zeta }_0$, choose arc length as parameter, so $\dot{\eta }=1/\sqrt{A}$. Differentiating gives $2A\ddot{\eta }+A^{\prime }{\dot{\eta }}^2=0$, while the second equation is automatic. Part (b) makes this path an extremal of length. Thus every meridian is a geodesic.

For a nonconstant parallel $\eta ={\eta }_0$, choose constant nonzero $\dot{\zeta }$. The second equation holds, and the first reduces to $f({\eta }_0)f^{\prime }({\eta }_0){\dot{\zeta }}^2=0$. Since $f>0$, this is equivalent toConversely that condition makes both equations hold at constant speed, hence supplies a length extremal. Geometrically, a parallel is geodesic exactly at a stationary radius of the surface.

For major radius $a>b>0$ and minor radius $b$, let $R=a+b\cos u$. With the inward normal determined by the usual ordered $(u,v)$ parametrization, the first fundamental form and second fundamental form areReversing the normal reverses $II$. The Gaussian curvature of a ring torus is independent of this orientation.

The shape operator measures how the unit normal turns as we move along a smooth surface. A plane has a constant unit normal, whereas the outward unit normal of a sphere turns in every direction in the tangent plane. Keeping the direction of this change, rather than just its magnitude, lets one recover the principal curvatures and their principal directions.

Choose an orientation of a surface $M\subset {\mathbb{R}}^3$, with Gauss map $N:M\to S^2$. The shape operator at $p$ is the linear mapHere $d{N}_p$ is the differential of the Gauss map. Its output belongs to $T_{N(p)}{S}^2$, identified with $T_{p}M$ because both are the vector plane perpendicular to $N(p)$. The minus sign is our convention throughout this branch. ^[ref]

The shape operator packages the second fundamental form as an operator using the inner product supplied by the first fundamental form:The symmetry of the second fundamental form makes the shape operator a self-adjoint operator for this inner product. Thus an orthonormal basis of principal directions diagonalizes it. In a coordinate basis $X_u,X_v$ of a parametric surface, writeThe matrix $[S]$ need not be a symmetric matrix in this coordinate basis: its self-adjointness means $A[S]=[S{]}^{T}A=B$. Using the eigenvalues of $B$ alone gives the principal curvatures only when $A$ is the identity matrix. ^[ref]

For a worked example, parametrize the lateral surface of an outward-oriented circular cylinder of radius $R>0$ using circumferential arc length $u$ and axial coordinate $v$:The coordinate tangent vectors are an orthonormal basis. Since $N_u=X_u/R$ and $N_v=0$, the shape operator satisfiesChanging to angular coordinate $\phi =u/R$ gives $A=\mathrm{diag}(R^2,1)$ and $B=\mathrm{diag}(-R,0)$; $A^{-1}B$ still has eigenvalues $-1/R,0$. This is why the first fundamental form must participate in the calculation.

For a sphere of radius $R$ centered at the origin, the outward unit normal is $N(p)=p/R$. Hence $S_{p}v=-v/R$, so both principal curvatures are $-1/R$. For a plane, $dN=0$ and the shape operator vanishes. Reversing the unit normal negates the shape operator and both principal curvatures; the Gaussian curvature remains unchanged while the mean curvature changes sign, as in orientation reversal of surface curvature.

A smooth embedded surface in ${\mathbb{R}}^3$ is a two-dimensional smooth manifold locally represented by an injective regular parametrized surface $\sigma :U\subset {\mathbb{R}}^2\to {\mathbb{R}}^3$, with ${\sigma }_u\times {\sigma }_v\ne 0$. The first fundamental form measures lengths and angles, and a choice of unit normal determines the second fundamental form, which measures bending. A surface with boundary additionally uses local half-plane charts along its boundary.

For smooth surfaces, Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. Consequently any smooth local isometry $f:M\to N$ satisfies $K_N(f(p))=K_M(p)$. The surprise is that $K$ is defined using the shape operator, which describes bending in space, yet its value can be recovered from measurements made entirely within the surface.

In his 1827 paper, Carl Friedrich Gauss expressed Gaussian curvature through the metric coefficients and their partial derivatives in Article 11, then stated its invariance under development in Article 12. Article 13 explicitly compares a plane with surfaces developable onto it, including cylindrical surfaces. The paper was presented on 8 October 1827 and printed in 1828; the Morehead–Hiltebeitel English translation appeared in 1902. ^[ref]

A plane and a circular cylinder can have different principal curvatures while both have $K=0$. Their matching first fundamental forms exhibit the actual local isometry. In contrast, no nonempty open patch of a sphere of radius $R$ can be flattened smoothly into a plane while preserving its first fundamental form: $1/R^2$ cannot become zero. Making the patch small reduces practical distortion, but never produces an exact local isometry. This is a geometric obstruction to a perfectly distance-preserving flat map of a spherical world, independent of where one places a seam.

The following proof outline connects the two descriptions of Gaussian curvature. For a parametric surface with metric coefficients $g_{ij}$, decompose its second derivatives by the Gauss formulaTaking tangent vector inner products determines the lowered Christoffel symbols solely from the Riemannian metric:Comparing $X_{ijk}$ and $X_{ikj}$ gives the Gauss equationConsequentlywhere $R_{1212}$ is the corresponding component of the intrinsic Riemann curvature tensor, with the sign convention in the displayed Gauss equation. The final expression uses only $g_{ij}$ and its first two derivatives.

The tractoid is the surface of revolution of a unit tractrix. For $X(\theta ,v)=(h(\theta ),\sin \theta \cos v,\sin \theta \sin v)$ with $0<\theta <\pi /2$, its coordinate tangent vectors are orthogonal and have squared lengths ${\cot }^2\theta ,{\sin }^2\theta$. The coordinates $x=v$, $y=\csc \theta$ transform this first fundamental form into $(d{x}^2+d{y}^2)/y^2$, giving a local isometry to the hyperbolic plane. Thus its Gaussian curvature is minus one. The angular coordinate is periodic globally, while its unwrapped coordinate is a real variable; this distinguishes the local metric identification from a global embedding of the whole hyperbolic plane.