Arc Length and Curvature in Space — Mathematics Knowledge System

Overview

A space curve traced by a vector-valued function r(t) = (x(t), y(t), z(t)) has a length that can be computed by integrating the speed |r'(t)| over the parameter interval — the natural 3D generalization of the arc-length formula from single-variable calculus. Beyond length, curvature κ measures how sharply a curve bends at each point: a straight line has curvature 0 everywhere, while a tight circle has large constant curvature. Together, arc length and curvature let us describe a curve's shape independent of how fast it happens to be traversed, forming the basis of the Frenet-Serret frame used in the differential geometry of curves.

Intuition

Think of arc length as the reading on an odometer as a car drives along a curved road: it accumulates distance traveled regardless of direction changes, computed by integrating speed over time. Curvature, meanwhile, measures how hard you'd have to turn the steering wheel to stay on the road — a straight highway needs no turning (curvature 0), while a tight hairpin turn demands a sharp twist of the wheel (large curvature). Formally, curvature is the rate at which the unit tangent vector T (the direction you're facing) changes direction per unit of distance traveled, not per unit of time — this is what makes curvature a property of the curve's SHAPE alone, unaffected by how fast you drive along it.

Formal Definition

Definition

For a smooth curve r(t) = (x(t), y(t), z(t)) on [a, b], the arc length is:

L = \int_a^b |\mathbf{r}'(t)|\, dt = \int_a^b \sqrt{x'(t)^2+y'(t)^2+z'(t)^2}\, dt

Arc length of a space curve

s(t) = \int_a^t |\mathbf{r}'(u)|\, du

Arc length measured from t=a up to a variable endpoint t

Arc length function

\kappa(t) = \frac{|\mathbf{r}'(t) \times \mathbf{r}''(t)|}{|\mathbf{r}'(t)|^3}

Equivalent to κ = |dT/ds|, but computable directly from r(t) without reparametrizing by arc length

Curvature formula

Notation

Notation	Meaning
$\mathbf{T}(t) = \frac{\mathbf{r}'(t)}{\|\mathbf{r}'(t)\|}$	Unit tangent vector — direction of motion
$\kappa = \left\|\frac{d\mathbf{T}}{ds}\right\|$	Curvature — rate at which the unit tangent turns per unit arc length
$ds = \|\mathbf{r}'(t)\|\, dt$	Arc-length differential

Derivation

The workable curvature formula κ = |r'×r''|/|r'|³ is derived from the definition κ=|dT/ds| by relating T and its derivative to r', r'' via the chain rule:

\mathbf{r}'(t) = |\mathbf{r}'(t)|\, \mathbf{T}(t)

The velocity vector is speed times the unit tangent direction

\mathbf{r}''(t) = \frac{d|\mathbf{r}'|}{dt}\mathbf{T} + |\mathbf{r}'|\,\mathbf{T}'(t)

Differentiate using the product rule

\mathbf{r}'\times\mathbf{r}'' = |\mathbf{r}'|\,\mathbf{T} \times \left(\frac{d|\mathbf{r}'|}{dt}\mathbf{T} + |\mathbf{r}'|\mathbf{T}'\right) = |\mathbf{r}'|^2 (\mathbf{T}\times\mathbf{T}')

T×T=0, so only the T×T' term survives

|\mathbf{r}'\times\mathbf{r}''| = |\mathbf{r}'|^2 |\mathbf{T}'| \text{ (since } \mathbf{T}\perp\mathbf{T}' \text{, so } |\mathbf{T}\times\mathbf{T}'|=|\mathbf{T}||\mathbf{T}'|\text{)}

T has constant length 1, so T·T'=0, meaning T ⊥ T'

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

Using ds/dt=|r'|, so |dT/ds|=|T'|/|r'|, and substituting the previous result

Properties

Reparametrization invariance

\kappa \text{ depends only on the curve's geometric shape, not on the speed of the parametrization } \mathbf{r}(t)

Straight lines have zero curvature

\text{If } \mathbf{r}(t) \text{ traces a straight line, } \mathbf{r}''(t) \parallel \mathbf{r}'(t) \text{ (or } \mathbf{r}''=0\text{), so } \mathbf{r}'\times\mathbf{r}''=\mathbf{0} \text{ and } \kappa=0

Radius of curvature

\rho = \frac{1}{\kappa} \text{ is the radius of the osculating (best-fit) circle at that point}

Theorems

Theorem 1: Curvature of a plane curve y=f(x)

\kappa(x) = \frac{|f''(x)|}{(1+f'(x)^2)^{3/2}} \quad \text{(special case of the space-curve formula for a graph in the xy-plane)}

Theorem 2: Curvature of a circle

\text{A circle of radius } R \text{ has constant curvature } \kappa = 1/R \text{ everywhere}

Applications

Highway and railway curve design uses curvature directly: the maximum safe speed on a curve is limited by κ, since centripetal acceleration is v²κ.

3D Visualization

Worked Examples

Compute the velocity vector and its magnitude.
$\mathbf{r}'(t) = (-\sin t, \cos t, 1), \qquad |\mathbf{r}'(t)| = \sqrt{\sin^2 t+\cos^2 t+1} = \sqrt{2}$
Integrate the constant speed √2 over the interval.
$L = \int_0^{2\pi} \sqrt{2}\, dt = 2\pi\sqrt{2}$

Answer: L = 2π√2

Practice Problems

Difficulty 5/10

Find the arc length of r(t) = (3t, 4t, 0) for 0 ≤ t ≤ 2.

Difficulty 6/10

Find the curvature of the circle r(t) = (2cos t, 2sin t, 0) at any t, and compare to the formula κ=1/R for a circle of radius R=2.

Difficulty 7/10

A roller coaster track follows y = x³ (x in units of 10 meters). Find the curvature at x=1, and state whether the curve bends more sharply there than at x=0 (where κ=0, since f''(0)=0).

Common Mistakes

Common Mistake

Confusing arc length (a scalar, total distance traveled) with the arc length FUNCTION s(t) (a running total up to parameter t).

L = ∫ₐᵇ|r'(t)|dt is a single number (total length), while s(t) = ∫ₐᵗ|r'(u)|du is itself a function of t, used to reparametrize a curve by arc length.

Common Mistake

Believing curvature depends on how fast a curve is traversed (the parametrization's speed).

Curvature κ = |dT/ds| is defined per unit of ARC LENGTH, not per unit of parameter t, making it a purely geometric property of the curve's shape — a slow and a fast parametrization of the same circle have the same κ.

Common Mistake

Using the plane-curve curvature formula κ=|f''|/(1+f'²)^(3/2) for a curve given parametrically in 3D.

That formula only applies to a curve written as a graph y=f(x); for a general parametrized space curve r(t), use κ = |r'×r''|/|r'|³ instead.

Quiz

Flashcards

1 / 4

Summary

Arc length L = ∫|r'(t)|dt integrates speed over the parameter interval to give total distance traveled along a space curve.
Curvature κ = |dT/ds| = |r'×r''|/|r'|³ measures how sharply a curve bends, independent of how fast it's traversed.
A circle of radius R has constant curvature κ=1/R; straight lines have κ=0 everywhere.
The plane-curve formula κ=|f''|/(1+f'²)^(3/2) is a special case for graphs y=f(x).
Applications range from highway curve-speed limits to camera-path smoothing in computer graphics.

References

BookStewart, J. Calculus: Early Transcendentals, 8th ed. Ch. 13.3.
WebsiteWikipedia — Arc length
WebsiteWikipedia — Curvature