Non-Euclidean geometry

Unlike Euclid's other four postulates, which are self-evident about a bounded piece of the plane, the fifth speaks about lines extended indefinitely — a claim about infinity that cannot be checked by drawing. This made it feel less like an axiom and more like a theorem waiting to be proved from the others; that search occupied mathematicians for two thousand years.

Step 1 — Deduce Playfair's axiom from Euclid's fifth postulate. Let $\ell$ be a line and $P \notin \ell$ an external point. Drop a perpendicular $t$ from $P$ to $\ell$, and construct the line $m$ through $P$ perpendicular to $t$. By alternate interior angles, $m$ is parallel to $\ell$. Any other line through $P$ makes interior angles with $t$ whose sum on one side satisfies $\alpha + \beta < \pi$, so by Euclid's fifth postulate it must intersect $\ell$. Thus $m$ is the unique parallel through $P$.

Step 2 — Deduce the Euclidean triangle angle sum from Playfair's axiom. Given a triangle $\triangle ABC$, draw the unique line $m$ through $A$ parallel to $BC$. Alternate interior angles with the transversal $AB$ and $AC$ transfer $\angle B$ and $\angle C$ adjacent to $\angle A$ along the straight line $m$ where $\alpha + \beta = \pi$, yielding $\angle A + \angle B + \angle C = \pi$.

A sheet of paper (flat, $K=0$) can be rolled into a cylinder without stretching, and a cylinder still has $K=0$ intrinsically — a bug living on it, measuring only within the surface, would find ordinary Euclidean geometry, even though the cylinder looks curved from outside. But no flat sheet can be wrapped onto a sphere ($K>0$) without stretching or wrinkling — which is exactly why every flat map of the Earth distorts something. Gauss proved this in 1827 using a formula for $K$ built purely from the first fundamental form, so it never references how the surface sits in space.

Step 1 — Write the extrinsic formula in terms of fundamental forms. A smooth surface $\mathbf{x}(u,v)$ in $\mathbb{R}^3$ has first fundamental form $I = E\,du^2 + 2F\,du\,dv + G\,dv^2$ and second fundamental form $II = L\,du^2 + 2M\,du\,dv + N\,dv^2$. The shape operator has determinant equal to the Gaussian curvature $K = \kappa_1 \kappa_2 = \frac{LN - M^2}{EG - F^2}$.

Step 2 — Eliminate the normal vector via Gauss's equations. Differentiating the Gauss frame equations and imposing equality of mixed third partials $\mathbf{x}_{uuv} = \mathbf{x}_{uvu}$ expresses the numerator $LN - M^2$ solely in terms of the metric coefficients $E, F, G$ and their first and second partial derivatives (the Christoffel symbols).

Step 3 — Obtain the intrinsic Brioschi/orthogonal formula. In orthogonal coordinates ($F = 0$), the compatibility identity simplifies directly to $K = -\frac{1}{2\sqrt{EG}}\left(\frac{\partial}{\partial u}\frac{G_u}{\sqrt{EG}} + \frac{\partial}{\partial v}\frac{E_v}{\sqrt{EG}}\right)$. Because this expression depends only on $E, F, G$, any local isometry preserving $I$ automatically preserves $K$.

This is the precise, quantitative version of the ant-and-triangle idea from the introduction: angle excess (or defect) is not just a sign of curvature, it equals the total curvature enclosed. It is one of the deepest bridges in mathematics, linking geometry (curvature, a smooth, local, metric notion) to topology (the Euler characteristic, a discrete, global, purely combinatorial one) — a sphere ($\chi=2$) must have positive total curvature no matter how it is bent, while a torus ($\chi=0$) must have zero total curvature on average, however it curves locally.

Step 1 — Prove the local formula on a geodesic triangle. Let $T$ be a geodesic triangle bounded by three geodesic arcs forming $\partial T$. In an orthonormal frame along $\partial T$, the geodesic curvature along each smooth edge is zero, while the exterior jump angles at the three vertices sum to $(\pi - \alpha) + (\pi - \beta) + (\pi - \gamma) = 3\pi - (\alpha + \beta + \gamma)$. Applying Green's theorem to the connection form around $\partial T$ shows that the total turning angle $2\pi$ minus the exterior jumps equals the curvature integral, giving $\iint_T K\,dA = \alpha + \beta + \gamma - \pi$.

Step 2 — Sum over a geodesic triangulation of a closed surface. Triangulate a closed surface $M$ into $F$ geodesic triangles with $E$ edges and $V$ vertices. Because each triangle has 3 edges and each edge is shared by 2 triangles, we have $3F = 2E$. Summing the local formula over all triangles and noting that the angles around each of the $V$ vertices sum to $2\pi$ gives $\iint_M K\,dA = \sum_{i=1}^F (\alpha_i + \beta_i + \gamma_i - \pi) = 2\pi V - \pi F$. Substituting the edge-face relation yields $\iint_M K\,dA = 2\pi(V - E + F) = 2\pi \chi(M)$.