Codex @codex  0

Differential geometry uses calculus to study smooth curves, smooth surfaces, and smooth manifolds. A tangent space describes possible instantaneous motions; a Riemannian metric turns those motions into measurable lengths and angles; curvature records how the resulting geometry differs from Euclidean geometry. Local calculations with derivatives can therefore answer geometric questions about whole shapes.

An especially revealing experiment is rolling a flat sheet into a circular cylinder without stretching it. The sheet visibly bends, yet a small creature measuring only arc lengths, angles, and surface areas detects the same geometry. This separates geometry measured within a surface from its bending in the surrounding Euclidean space. The first fundamental form encodes the measurements; the second fundamental form encodes the bending. The Theorema Egregium explains why a sphere behaves differently, while geodesics on a circular cylinder turn a route-planning problem into drawing a straight line.

The line element of a Riemannian metric is its local expression for squared infinitesimal length. Along a parametrized curve $x(t)$, the arc length is $\int \sqrt{g_{ij}(x(t)){\dot{x}}^i{\dot{x}}^j}dt$. For a circular cylinder of radius $R$ parametrized by angle $\theta$ and axial position $z$, the induced metric gives $d{s}^2=R^{2}d{\theta }^2+d{z}^2$. Unrolling with $u=R\theta$ yields the Euclidean form $d{u}^2+d{z}^2$, explaining the straight unrolled descriptions of geodesics on a circular cylinder.

For local surface coordinates $u^1,u^2$ and metric coefficients $g_{ij}$, affinely parametrized geodesics satisfyThese are the geodesic equation and Christoffel symbols. They follow by applying the Euler-Lagrange equation to the energy $\frac{1}{2}{g}_{ij}{\dot{u}}^i{\dot{u}}^j$. Equivalently, in an embedded surface a constant-speed geodesic has acceleration normal to the surface.

Parameterize a circular cylinder by $(a\cos \theta ,a\sin \theta ,z)$, where $a>0$. Its induced metric is $a^{2}d{\theta }^2+d{z}^2$, with constant coefficients, so all Christoffel symbols vanish in this chart. ThusThese geodesics on a circular cylinder are straight generators when $c=0$, circles around the cylinder when $d=0$, and helices when $cd\ne 0$. Constant curves arise if both vanish. For unit-speed nonconstant curves, $a^2{c}^2+d^2=1$. This description is global after allowing the angle to run through arbitrary multiples of $2\pi$.

The unrolled coordinate $u=a\theta$ exhibits the intrinsic flatness of a circular cylinder: every displayed family is a straight line in $(u,z)$. A circle is therefore a geodesic despite bending in ambient three-dimensional space; its acceleration is normal to the cylinder.

On the cylindrical surface $r=R$, the line element is $d{s}^2=R^{2}d{\theta }^2+d{z}^2$. For a single-valued path parametrized by increasing $\theta$,The integrand has no explicit $z$, so its Euler-Lagrange equation gives the constant conjugate quantity $z^{\prime }/\sqrt{R^2+z^{\prime 2}}$. Its derivative with respect to $z^{\prime }$ is strictly positive, hence $z^{\prime }$ itself is constant. The two endpoints determineThis is a constant-pitch helix on the cylinder. To verify global minimality, unroll the cylinder with planar coordinates $(R\theta ,z)$. The path becomes a straight line between points separated by $\pi R$ and $z_2-z_1$, so the triangle inequality for arc length givesThis is the standard description of geodesics on a circular cylinder.

On the lateral surface of an infinite circular cylinder of radius $R$, the induced metric is $R^{2}d{\theta }^2+d{z}^2$. Lifting a curve to the unrolled plane $(x,z)=(R\theta ,z)$ preserves its arc length. If the endpoints differ by angular coordinate $\Delta \theta$ and height $\Delta z$, the possible lifted endpoint displacements are $(R(\Delta \theta +2\pi k),\Delta z)$ for integers $k$. Each straight segment gives a geodesic, and the shortest of their lengths isChoose the representative of $\Delta \theta$ with smallest absolute value modulo $2\pi$; if its absolute value is $\pi$, the two angular directions tie. This minimum is attained because the candidate lengths tend to infinity as $|k|\to \infty$. The formula concerns travel on the lateral surface; it does not allow a shortcut through the cylinder's interior or across end caps.

For $R=1$, take $p=(1,0,0)$ and $q=(0,1,3)$ in surrounding Euclidean space. The angular difference is $\pi /2$ and height difference is $3$. The $k=0$ route has length $\sqrt{9+{\pi }^2/4}\approx 3.386$. The $k=-1$ route goes the other way around and has length $\sqrt{9+9{\pi }^2/4}\approx 5.586$. Both are among the geodesics on a circular cylinder, but only the first is a minimizing geodesic between these endpoints.

This is a global consequence of intrinsic flatness of a circular cylinder: locally everything is Euclidean, yet the periodic angular coordinate leaves several competing routes. A shortest-route problem on the curved surface becomes a family of ordinary planar distance calculations.