Skip to content
The Lumenary
Wonder TrailOptional · never gradedStarts from Introductory calculus

How sharply does a road bend?

1

The question

Driving along a winding road, how sharply does it bend at each point? Is there a circle that fits the road best at each point — and what is its radius?

Try the experiment before reading on. There’s no wrong way to explore.

2

Experiment

The curvature of a curve

A point travels along the curve. The osculating circle is the circle that fits the curve best at that point; its radius is 1/κ.

TN
Signed curvature
κ = 0.447
Radius of curvature
1/|κ| = 2.239

κ is positive where the curve bends to the left as you travel along it, and negative where it bends to the right. N is the tangent T turned 90° to the left; the centre of the osculating circle lies 1/|κ| away, on the side the curve bends towards.

∫ κ ds = 6.283 = 1.000 × 2π

Turning number 1: going once around, the tangent turns through 1 × 360° in total.

Hopf's Umlaufsatz: for a smooth closed curve, ∫ κ ds = 2π × (turning number). A simple closed curve — one that never crosses itself — traversed counter-clockwise always has turning number 1. The limaçon with an inner loop has 2; the figure eight has 0.

Arc length and ∫ κ ds are computed numerically from exact derivatives at thousands of points, so the last digit may wobble.

Signed curvature κ against arc length s

1.80−1.8κs = 9.95s = 0

The signed area under this graph is ∫ κ ds (teal above the axis counts as positive, terracotta below as negative). Very large values near a cusp are cut off.

3

Hints, if you want them

    4

    What’s going on

    What’s going on

    The circle that fits a curve best at a point — the limit of circles through three nearby points — is the osculating circle ("kissing circle"). If its radius is RR, the curvature of the curve there is κ=1/R\kappa = 1/R: a gentle bend has a large circle and small curvature, a hairpin has a small circle and large curvature, and a straight road has curvature 00.

    For the graph of y=f(x)y = f(x),

    κ=∣f′′(x)∣(1+f′(x)2)3/2.\kappa = \frac{|f''(x)|}{\bigl(1 + f'(x)^2\bigr)^{3/2}} .

    For the parabola y=x2y = x^2 at its lowest point, f′(0)=0f'(0) = 0 and f′′(0)=2f''(0) = 2, so κ=2\kappa = 2 and the osculating circle has radius 12\tfrac12.

    Curvature has a striking global property. Walk once around a simple closed curve, adding up the curvature as you go (counting bends to the left as positive and to the right as negative): the total is always 2π2\pi. Heinz Hopf proved this turning-tangent theorem in 1935. Road and railway engineers use curves whose curvature grows steadily — clothoids, or Euler spirals — so that the steering wheel turns smoothly instead of suddenly.

    Gauss extended curvature to surfaces, and found that the curvature of a surface can be measured by creatures living inside it, without leaving it. Riemann extended it to spaces of any dimension, and Einstein used that curvature to describe gravity.

    Computationally testedAI-drafted · awaiting human review
    5

    Where this leads