PGD01C01
Module 4 · Vectors and Geometry of Space

Arc Length and Curvature

Core Titles
Key headlines and terms for quick recall
  • Arc length L=abr(t)dtL = \int_a^b \|\vec{r}'(t)\| \, dt
  • Arc-length parameter s(t)=atr(u)dus(t) = \int_a^t \|\vec{r}'(u)\| \, du
  • Unit tangent T(t)=r(t)/r(t)\vec{T}(t) = \vec{r}'(t)/\|\vec{r}'(t)\|
  • Curvature κ(t)=T(t)r(t)=r(t)×r(t)r(t)3\kappa(t) = \dfrac{\|\vec{T}'(t)\|}{\|\vec{r}'(t)\|} = \dfrac{\|\vec{r}'(t) \times \vec{r}''(t)\|}{\|\vec{r}'(t)\|^3}
  • Radius of curvature R=1/κR = 1/\kappa
Basic Idea
What it is, why it matters, how it works

Arc length

The length of the curve r(t)=f(t),g(t),h(t)\vec{r}(t) = \langle f(t), g(t), h(t) \rangle for atba \le t \le b is: L=abr(t)dt=abf2+g2+h2dt.L = \int_a^b \|\vec{r}'(t)\| \, dt = \int_a^b \sqrt{f'^2 + g'^2 + h'^2} \, dt. Why? Approximate the curve by small straight segments. Each has length r(t+Δt)r(t)r(t)Δt\|\vec{r}(t + \Delta t) - \vec{r}(t)\| \approx \|\vec{r}'(t)\| \Delta t. Sum and pass to the integral.

Arc-length parameter

s(t)=atr(u)du.s(t) = \int_a^t \|\vec{r}'(u)\| \, du. A reparametrisation by ss traces the curve at unit speed: r(s)=1\|\vec{r}'(s)\| = 1.

Unit tangent

T(t)=r(t)r(t).\vec{T}(t) = \frac{\vec{r}'(t)}{\|\vec{r}'(t)\|}.

Curvature

Curvature κ\kappa measures how sharply the curve is bending — the rate at which the unit tangent changes direction per unit arc length. κ=dTds=T(t)r(t).\kappa = \left\| \frac{d\vec{T}}{ds} \right\| = \frac{\|\vec{T}'(t)\|}{\|\vec{r}'(t)\|}.

A handy alternative formula: κ(t)=r(t)×r(t)r(t)3.\kappa(t) = \frac{\|\vec{r}'(t) \times \vec{r}''(t)\|}{\|\vec{r}'(t)\|^3}.

For a plane curve y=f(x)y = f(x): κ=f(x)(1+f(x)2)3/2.\kappa = \frac{|f''(x)|}{(1 + f'(x)^2)^{3/2}}.

Radius of curvature

R=1κR = \frac{1}{\kappa} — the radius of the circle that best approximates the curve locally (osculating circle).

Why this matters in Data Science

  • Manifold learning: estimating curvature of data manifolds.
  • Motion planning: minimising path length and curvature in robotics.
  • Information-geometry distances on statistical manifolds.
Mind Map
Visual structure of the concept
ARC LENGTH & CURVATURE
├── L = ∫ₐᵇ ‖r'(t)‖ dt
├── Arc-length parameter s(t) = ∫ ‖r'(u)‖ du
├── Unit tangent T(t) = r'/‖r'‖
├── Curvature κ
│   ├── κ = ‖dT/ds‖
│   ├── κ = ‖r'×r''‖ / ‖r'‖³
│   └── Plane y=f(x): κ = |f''| / (1 + f'²)^{3/2}
└── Radius of curvature R = 1 / κ
Exam Q&A
Part A (2 marks) and Part B (20 marks) style questions

Part A (2 marks each)

Q1. Write the formula for arc length of r(t)\vec{r}(t) on [a,b][a, b]. L=abr(t)dtL = \int_a^b \|\vec{r}'(t)\| \, dt.

Q2. Define curvature. The magnitude of the rate of change of the unit tangent with respect to arc length: κ=dT/ds\kappa = \|d\vec{T}/ds\|.

Q3. Find arc length of r(t)=(cost,sint,t)\vec{r}(t) = (\cos t, \sin t, t) on [0,2π][0, 2\pi]. r=2\|\vec{r}'\| = \sqrt{2}, L=2π2L = 2\pi\sqrt{2}.

Q4. State the formula for curvature using r\vec{r}' and r\vec{r}''. κ=r×rr3\kappa = \dfrac{\|\vec{r}' \times \vec{r}''\|}{\|\vec{r}'\|^3}.


Part B (20 marks)

Q. Derive the formula for arc length of a curve r(t)\vec{r}(t). Define curvature and derive both forms — κ=dT/ds\kappa = \|d\vec{T}/ds\| and κ=r×r/r3\kappa = \|\vec{r}' \times \vec{r}''\| / \|\vec{r}'\|^3. Compute the arc length and curvature of the helix r(t)=(acost,asint,bt)\vec{r}(t) = (a\cos t, a\sin t, bt).

Arc length. Approximate the curve by short chords. For a small change Δt\Delta t: r(t+Δt)r(t)r(t)Δt,\vec{r}(t + \Delta t) - \vec{r}(t) \approx \vec{r}'(t) \Delta t, so chord length r(t)Δt\approx \|\vec{r}'(t)\| \Delta t. Summing and taking the limit: L=abr(t)dt.L = \int_a^b \|\vec{r}'(t)\| \, dt.

Arc-length parameter. Define s(t)=atr(u)dus(t) = \int_a^t \|\vec{r}'(u)\| \, du. Then dsdt=r(t)\dfrac{ds}{dt} = \|\vec{r}'(t)\|, so reparametrising by ss gives unit speed.

Curvature.

First formula. The unit tangent is T=r/r\vec{T} = \vec{r}'/\|\vec{r}'\|. Curvature is the rate at which T\vec{T} turns per unit distance: κ=dTds=dT/dtds/dt=T(t)r(t).\kappa = \left\| \frac{d\vec{T}}{ds} \right\| = \frac{\|d\vec{T}/dt\|}{ds/dt} = \frac{\|\vec{T}'(t)\|}{\|\vec{r}'(t)\|}.

Second formula. From r=rT\vec{r}' = \|\vec{r}'\| \vec{T}, r=rT+rT.\vec{r}'' = \|\vec{r}'\|' \vec{T} + \|\vec{r}'\| \vec{T}'. Cross with r\vec{r}' (using T×T=0\vec{T} \times \vec{T} = 0): r×r=r2T×T.\vec{r}' \times \vec{r}'' = \|\vec{r}'\|^2 \, \vec{T} \times \vec{T}'. Since T\vec{T} and T\vec{T}' are perpendicular (as T=1|\vec{T}|=1 implies TT=0\vec{T} \cdot \vec{T}' = 0), r×r=r2TT=r×rr2.\|\vec{r}' \times \vec{r}''\| = \|\vec{r}'\|^2 \|\vec{T}'\| \Rightarrow \|\vec{T}'\| = \frac{\|\vec{r}' \times \vec{r}''\|}{\|\vec{r}'\|^2}. Hence κ=Tr=r×rr3.\kappa = \frac{\|\vec{T}'\|}{\|\vec{r}'\|} = \frac{\|\vec{r}' \times \vec{r}''\|}{\|\vec{r}'\|^3}. \quad \blacksquare

Helix r(t)=(acost,asint,bt)\vec{r}(t) = (a\cos t, a\sin t, bt) for t[0,2π]t \in [0, 2\pi].

r(t)=(asint,acost,b)\vec{r}'(t) = (-a\sin t, a\cos t, b), r=a2+b2\|\vec{r}'\| = \sqrt{a^2 + b^2} (constant).

Arc length: L=02πa2+b2dt=2πa2+b2L = \int_0^{2\pi} \sqrt{a^2 + b^2} \, dt = 2\pi\sqrt{a^2 + b^2}.

Curvature. r=(acost,asint,0)\vec{r}'' = (-a\cos t, -a\sin t, 0). r×r=i^j^k^asintacostbacostasint0=(absint,abcost,a2)\vec{r}' \times \vec{r}'' = \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ -a\sin t & a\cos t & b \\ -a\cos t & -a\sin t & 0 \end{vmatrix} = (ab\sin t,\, -ab\cos t,\, a^2) (after simplification). Magnitude: a2b2+a4=aa2+b2\sqrt{a^2 b^2 + a^4} = a\sqrt{a^2 + b^2}.

κ=aa2+b2(a2+b2)3/2=aa2+b2.\kappa = \frac{a\sqrt{a^2 + b^2}}{(a^2 + b^2)^{3/2}} = \frac{a}{a^2 + b^2}.

The helix has constant curvature — a defining property — and radius of curvature R=(a2+b2)/aR = (a^2 + b^2)/a.