Differential Geometry of Curves in 3D

⚡ Key Takeaways

Differential geometry of curves in 3D studies space curves via the calculus of their parametrizations, capturing shape through two scalar invariants: curvature $\kappa$ (how sharply the curve bends) and torsion $\tau$ (how it twists out of a plane). The central result is the Frenet–Serret apparatus: a moving orthonormal frame $\{\mathbf{T},\mathbf{N},\mathbf{B}\}$ whose rotation is governed by a tidy system of ODEs. Applied throughout physics (particle trajectories, optics), engineering (roads, robotics), and graphics. Developed by Frenet (1847) and Serret (1851).

💡 The Core Insight

Attach to each point of a curve a tiny rigid frame of three perpendicular unit vectors that ride along with the curve. As you slide along, this frame rotates. The rate and axes of that rotation are precisely curvature and torsion. Geometry becomes the study of how a frame turns — an idea that scales up to the whole of modern differential geometry.

DefinitionParametrized curve and regularity

A parametrized differentiable curve is a smooth map $\boldsymbol{\gamma}: I \to \mathbb{R}^3$ , $t \mapsto (x(t), y(t), z(t))$ . It is regular if its velocity never vanishes:

1

\quad \boldsymbol{\gamma}'(t) \neq \mathbf{0} \quad \text{for all } t \in I.

Derivation hint: regularity guarantees a well-defined tangent direction $\boldsymbol{\gamma}'/\|\boldsymbol{\gamma}'\|$ at every point; without it cusps and stops are allowed. The arc length measured from $t_0$ is

2

\quad s(t) = \int_{t_0}^{t} \|\boldsymbol{\gamma}'(u)\|\, du, \qquad \frac{ds}{dt} = \|\boldsymbol{\gamma}'(t)\| =: v(t).

Derivation hint: the length of an infinitesimal chord is $\|\boldsymbol{\gamma}'(u)\|\,du$ by the Pythagorean theorem applied to $(dx,dy,dz)$ ; integrate. A curve is unit speed (parametrized by arc length) if $\|\boldsymbol{\gamma}'(s)\| = 1$ for all $s$ . Symbols: $t$ a general parameter, $s$ arc length, $v$ speed, prime $'$ denotes $d/dt$ or $d/ds$ as indicated.

DefinitionThe Frenet frame, curvature, torsion

Let $\boldsymbol{\gamma}(s)$ be unit speed with $\boldsymbol{\gamma}''(s) \neq \mathbf{0}$ . Define:

3

\quad \mathbf{T}(s) = \boldsymbol{\gamma}'(s), \qquad \kappa(s) = \|\mathbf{T}'(s)\| = \|\boldsymbol{\gamma}''(s)\|, \qquad \mathbf{N}(s) = \frac{\mathbf{T}'(s)}{\kappa(s)}, \qquad \mathbf{B}(s) = \mathbf{T}(s) \times \mathbf{N}(s).

Derivation hint: differentiating $\mathbf{T}\cdot\mathbf{T}=1$ gives $\mathbf{T}\cdot\mathbf{T}'=0$ , so $\mathbf{T}'\perp\mathbf{T}$ ; its length is $\kappa$ and its unit direction is $\mathbf{N}$ ; $\mathbf{B}$ completes a right-handed frame. $\mathbf{T}$ is the unit tangent, $\mathbf{N}$ the principal normal, $\mathbf{B}$ the binormal; $\{\mathbf{T},\mathbf{N},\mathbf{B}\}$ is a positively-oriented orthonormal basis. Torsion $\tau(s)$ is defined by

4

\quad \mathbf{B}'(s) = -\tau(s)\,\mathbf{N}(s).

Derivation hint: $\mathbf{B}'\perp\mathbf{B}$ (unit length) and $\mathbf{B}'\perp\mathbf{T}$ (from $\mathbf{B}\cdot\mathbf{T}=0$ differentiated, using $\mathbf{T}'=\kappa\mathbf{N}$ ); hence $\mathbf{B}'$ is parallel to $\mathbf{N}$ , with the sign convention giving torsion.

TheoremFrenet–Serret formulas

For a unit-speed curve with $\kappa > 0$ , the moving frame satisfies

5

\quad \begin{pmatrix} \mathbf{T}' \\ \mathbf{N}' \\ \mathbf{B}' \end{pmatrix} = \begin{pmatrix} 0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0 \end{pmatrix} \begin{pmatrix} \mathbf{T} \\ \mathbf{N} \\ \mathbf{B} \end{pmatrix}.

Derivation hint: $\mathbf{T}'=\kappa\mathbf{N}$ and $\mathbf{B}'=-\tau\mathbf{N}$ are definitions; for $\mathbf{N}'$ write $\mathbf{N}'=a\mathbf{T}+b\mathbf{N}+c\mathbf{B}$ and use orthonormality to read off $a=-\kappa$ , $b=0$ , $c=\tau$ . The coefficient matrix is skew-symmetric, reflecting that the frame's evolution is an instantaneous rotation. The rotation axis is the Darboux vector $\boldsymbol{\omega} = \tau\,\mathbf{T} + \kappa\,\mathbf{B}$ , with $\mathbf{T}'=\boldsymbol{\omega}\times\mathbf{T}$ , etc.

TheoremFundamental Theorem of Space Curves

Given smooth functions $\kappa(s) > 0$ and $\tau(s)$ on an interval $I$ , there exists a unit-speed curve $\boldsymbol{\gamma}(s)$ with exactly these curvature and torsion. Moreover the curve is unique up to a rigid motion (rotation + translation) of $\mathbb{R}^3$ .

ProofExistence and uniqueness

Step 1. Treat the Frenet system [5] as a linear ODE for the nine components of $(\mathbf{T},\mathbf{N},\mathbf{B})$ . By the Picard–Lindelöf theorem (smooth, in fact linear, coefficients), a unique solution exists given an initial orthonormal frame at $s_0$ .

Step 2 (orthonormality preserved). Let $G(s)$ be the $3\times 3$ matrix of inner products of the frame vectors. Differentiating and using skew-symmetry of the coefficient matrix $A$ gives $G' = AG + GA^{\!\top}$ ; since $A^{\!\top}=-A$ , $G\equiv I$ is a solution, and uniqueness forces $G(s)=I$ for all $s$ . So the frame stays orthonormal.

Step 3 (recover the curve). Define $\boldsymbol{\gamma}(s) = \boldsymbol{\gamma}(s_0) + \int_{s_0}^{s}\mathbf{T}(u)\,du$ . Then $\boldsymbol{\gamma}' = \mathbf{T}$ is unit length, $\boldsymbol{\gamma}''=\mathbf{T}'=\kappa\mathbf{N}$ gives curvature $\kappa$ , and the Frenet equations reproduce $\tau$ .

Step 4 (uniqueness). If two curves share $\kappa,\tau$ , apply the rigid motion taking the first frame at $s_0$ onto the second. Both then satisfy the same ODE with the same initial data; by uniqueness their frames coincide for all $s$ , hence (Step 3) the curves coincide. $\blacksquare$

∎

Figure

The Frenet frame riding along a helix, showing T, N, B at one point

ProofCurvature and torsion for a general (non-unit-speed) parametrization

Often a curve comes with an arbitrary parameter $t$ . Using the chain rule $\frac{d}{ds} = \frac{1}{v}\frac{d}{dt}$ and $\mathbf{r}'=\boldsymbol{\gamma}'(t)$ :

Step 1. $\mathbf{T} = \mathbf{r}'/v$ , and $\mathbf{r}' \times \mathbf{r}'' = v^3\,\kappa\,\mathbf{B}$ after expanding $\mathbf{r}'' = v'\mathbf{T} + v^2\kappa\mathbf{N}$ .

Step 2. Taking magnitudes gives the curvature formula

6

\quad \kappa = \frac{\|\mathbf{r}' \times \mathbf{r}''\|}{\|\mathbf{r}'\|^3}.

Derivation hint: $\mathbf{r}'=v\mathbf{T}$ and $\mathbf{r}''=v'\mathbf{T}+v^2\kappa\mathbf{N}$ ; cross them, the $\mathbf{T}\times\mathbf{T}$ term dies, leaving $v^3\kappa(\mathbf{T}\times\mathbf{N})=v^3\kappa\mathbf{B}$ .

Step 3. Differentiate once more and project onto $\mathbf{B}$ to isolate torsion:

7

\quad \tau = \frac{(\mathbf{r}' \times \mathbf{r}'') \cdot \mathbf{r}'''}{\|\mathbf{r}' \times \mathbf{r}''\|^2}.

Derivation hint: $\mathbf{r}'''$ has a component $v^3\kappa\tau\,\mathbf{B}$ ; dotting with $\mathbf{r}'\times\mathbf{r}''=v^3\kappa\mathbf{B}$ extracts $\tau$ after dividing by $\|\mathbf{r}'\times\mathbf{r}''\|^2 = v^6\kappa^2$ . $\blacksquare$

∎

mathematician · Jean Frédéric Frenet | 1816–1900

French mathematician and astronomer who, in his 1847 doctoral thesis at Toulouse, derived six of the formulas now bearing his name, expressing the derivatives of the moving frame. He later directed the Lyon observatory. Working independently and slightly later (1851), Joseph Alfred Serret published the complete system, which is why the equations carry both names. Their compact "frame rotation" viewpoint became a template for Cartan's method of moving frames decades later.

🧠 Intuition

Imagine driving a car along the curve at unit speed. The direction you face is $\mathbf{T}$ . Curvature is how hard you turn the steering wheel: a sharp bend means large $\kappa$ , a straight road means $\kappa=0$ . The vector $\mathbf{N}$ points toward the inside of the turn — the direction the car accelerates sideways. Now imagine the car's plane (the windshield's plane) can also bank, like an airplane rolling: torsion measures how fast that plane tilts out of the current bending plane. A flat racetrack has $\tau=0$ (a planar curve); a corkscrew on-ramp has $\tau \neq 0$ . The osculating plane spanned by $\mathbf{T},\mathbf{N}$ is the plane that best hugs the curve locally; torsion is exactly the rate at which the curve lifts off it.

ExampleCircular helix

Given: $\boldsymbol{\gamma}(t) = (a\cos t,\ a\sin t,\ b t)$ with $a = 3$ , $b = 4$ (units: metres), $t\in\mathbb{R}$ .

Step 1 — derivatives. $\mathbf{r}' = (-3\sin t, 3\cos t, 4)$ , so $v = \sqrt{9+16}=5$ . $\mathbf{r}'' = (-3\cos t, -3\sin t, 0)$ , $\mathbf{r}''' = (3\sin t, -3\cos t, 0)$ .

Step 2 — curvature (eq. 6). $\mathbf{r}'\times\mathbf{r}'' = (12\sin t, -12\cos t, 9)$ , magnitude $\sqrt{144+81}=15$ . $\kappa = 15 / 5^3 = 15/125 = 0.12\ \text{m}^{-1}.$ (General formula: $\kappa = a/(a^2+b^2) = 3/25$ .)

Step 3 — torsion (eq. 7). $(\mathbf{r}'\times\mathbf{r}'')\cdot\mathbf{r}''' = (12\sin t)(3\sin t)+(-12\cos t)(-3\cos t)+0 = 36$ . $\tau = 36 / 15^2 = 36/225 = 0.16\ \text{m}^{-1}.$ (General: $\tau = b/(a^2+b^2)=4/25$ .)

\boxed{\kappa = 0.12\ \text{m}^{-1},\qquad \tau = 0.16\ \text{m}^{-1}\ \text{(both constant)}}

A helix is the only curve with both $\kappa$ and $\tau$ constant and nonzero.

ExamplePlane parabola — torsion vanishes

Given: $\boldsymbol{\gamma}(t)=(t,\ t^2,\ 0)$ , evaluate at $t=1$ (dimensionless).

Step 1. $\mathbf{r}'=(1,2t,0)$ , $\mathbf{r}''=(0,2,0)$ , $\mathbf{r}'''=(0,0,0)$ .

Step 2 — curvature. $\mathbf{r}'\times\mathbf{r}''=(0,0,2)$ , magnitude $2$ . At $t=1$ , $\|\mathbf{r}'\|=\sqrt{5}$ , so $\kappa = 2/(\sqrt5)^3 = 2/(5\sqrt5) \approx 0.179.$

Step 3 — torsion. Numerator $(\mathbf{r}'\times\mathbf{r}'')\cdot\mathbf{r}''' = 0$ since $\mathbf{r}'''=\mathbf{0}$ . $\tau = 0.$

\boxed{\kappa \approx 0.179,\qquad \tau = 0\ \text{(curve lies in the }xy\text{-plane)}}

Zero torsion everywhere $\iff$ the curve is planar.

⚠️ Common mistake

Curvature and torsion are NOT parametrization-dependent. A common error is computing $\|\boldsymbol{\gamma}''(t)\|$ and calling it the curvature — this only works for unit-speed curves. For general $t$ you must use eq. [6]. Likewise, do not confuse the second derivative's magnitude with $\kappa$ unless $v=1$ .

Torsion can be negative. Unlike $\kappa \ge 0$ , torsion is a signed quantity. Its sign distinguishes a right-handed from a left-handed helix and is physically meaningful (chirality of DNA, screw threads).

The Frenet frame fails where $\kappa = 0$ . If the curve momentarily straightens, $\mathbf{N}$ is undefined (division by zero in eq. [3]). Use the Bishop (parallel-transport) frame to avoid this discontinuity.

Counterexample

Consider a curve that is a straight segment, then bends, then a straight segment again, joined smoothly. On each straight piece $\kappa=0$ , so $\mathbf{N}$ and $\mathbf{B}$ are undefined, and torsion is meaningless there. A naive numerical Frenet frame will flip $\mathbf{N}$ by 180° as $\kappa$ passes through zero, producing spurious infinite torsion spikes — a real bug in CAD/animation pipelines. This shows the Frenet frame is a local construction requiring $\kappa>0$ , not a global one.

connection

The curve theory here is the one-dimensional ancestor of Differential Geometry of Surfaces, where the single curvature $\kappa$ branches into principal, Gaussian, and mean curvatures. The skew-symmetric Frenet matrix is a baby case of a Connection (Differential Geometry) / Cartan's moving frames. Arc length and the variational principle of geodesics connect to Calculus of Variations: straight lines (and geodesics) extremize length. The Darboux vector links to the Angular Velocity of a rigid body, since the frame rotates like a spinning top. In complex analysis and physics, curvature of integral curves underlies Vector Fields and Flows.

🔬 Where this appears

⏳ History

- c. 1731 — Alexis Clairaut studies space curves ("courbes à double courbure"), introducing two curvatures.

- 1771 — Leonhard Euler and others develop curvature of plane curves and the radius of curvature.

- 1775 — Gaspard Monge applies analysis to curves and surfaces, founding descriptive/differential geometry.

- 1806 — A.-J. Lancret recognizes that a space curve has two independent invariants (the "first and second curvature").

- 1847 — Jean Frédéric Frenet derives the frame-derivative formulas in his thesis.

- 1851 — Joseph Alfred Serret independently publishes the full system; the equations become "Frenet–Serret."

- 1853 — Bertrand studies curves sharing principal normals (Bertrand mates), enriching the theory.

- 1894 — Gaston Darboux's Leçons systematizes the moving-frame viewpoint (Darboux vector).

- 1900s–1930s — Élie Cartan generalizes to the method of moving frames, the foundation of modern differential geometry.

- 1975 — Richard Bishop introduces the relatively parallel (Bishop) frame, defined even where

\kappa=0

.

open-problem

Several subtleties bound the elementary theory. (1) Frame at inflection points: the Frenet frame is undefined when $\kappa=0$ ; the global existence of a smooth alternative frame relates to topological obstructions and the self-linking / writhe of the curve. (2) Total curvature inequalities: the Fenchel theorem ( $\int\kappa\,ds \ge 2\pi$ for closed curves) and the Fáry–Milnor theorem ( $\int\kappa\,ds > 4\pi$ for knotted curves) connect local invariants to global knot topology — quantitative refinements (optimal ropelength, ideal knot shapes) remain active research. (3) Inverse/reconstruction stability: recovering a curve from noisy measured $\kappa(s),\tau(s)$ is ill-conditioned; robust algorithms are an applied open problem. (4) Generalization to higher dimensions (Frenet frames in $\mathbb{R}^n$ ) requires $n-1$ "generalized curvatures" and degenerates when intermediate derivatives become linearly dependent.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also