PGD01C01
Module 4 · Vectors and Geometry of Space

Arc Length and Curvature

Core Titles
Key headlines and terms for quick recall
  • Arc length L=∫ab∥r⃗′(t)∥ dtL = \int_a^b \|\vec{r}'(t)\| \, dt
  • Arc-length parameter s(t)=∫at∥r⃗′(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 a≤t≤ba \le t \le b is: L=∫ab∥r⃗′(t)∥ dt=∫abf′2+g′2+h′2 dt.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)=∫at∥r⃗′(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. κ=∥dT⃗ds∥=∥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=∫ab∥r⃗′(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)=(cos⁡t,sin⁡t,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⃗′×r⃗′′∥∥r⃗′∥3\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⃗′′∥/∥r⃗′∥3\kappa = \|\vec{r}' \times \vec{r}''\| / \|\vec{r}'\|^3. Compute the arc length and curvature of the helix r⃗(t)=(acos⁡t,asin⁡t,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=∫ab∥r⃗′(t)∥ dt.L = \int_a^b \|\vec{r}'(t)\| \, dt.

Arc-length parameter. Define s(t)=∫at∥r⃗′(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: κ=∥dT⃗ds∥=∥dT⃗/dt∥ds/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⃗′=∥r⃗′∥T⃗\vec{r}' = \|\vec{r}'\| \vec{T}, r⃗′′=∥r⃗′∥′T⃗+∥r⃗′∥T⃗′.\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⃗′′=∥r⃗′∥2 T⃗×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 T⃗⋅T⃗′=0\vec{T} \cdot \vec{T}' = 0), ∥r⃗′×r⃗′′∥=∥r⃗′∥2∥T⃗′∥⇒∥T⃗′∥=∥r⃗′×r⃗′′∥∥r⃗′∥2.\|\vec{r}' \times \vec{r}''\| = \|\vec{r}'\|^2 \|\vec{T}'\| \Rightarrow \|\vec{T}'\| = \frac{\|\vec{r}' \times \vec{r}''\|}{\|\vec{r}'\|^2}. Hence κ=∥T⃗′∥∥r⃗′∥=∥r⃗′×r⃗′′∥∥r⃗′∥3.■\kappa = \frac{\|\vec{T}'\|}{\|\vec{r}'\|} = \frac{\|\vec{r}' \times \vec{r}''\|}{\|\vec{r}'\|^3}. \quad \blacksquare

Helix r⃗(t)=(acos⁡t,asin⁡t,bt)\vec{r}(t) = (a\cos t, a\sin t, bt) for t∈[0,2π]t \in [0, 2\pi].

r⃗′(t)=(−asin⁡t,acos⁡t,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+b2 dt=2πa2+b2L = \int_0^{2\pi} \sqrt{a^2 + b^2} \, dt = 2\pi\sqrt{a^2 + b^2}.

Curvature. r⃗′′=(−acos⁡t,−asin⁡t,0)\vec{r}'' = (-a\cos t, -a\sin t, 0). r⃗′×r⃗′′=∣i^j^k^−asin⁡tacos⁡tb−acos⁡t−asin⁡t0∣=(absin⁡t, −abcos⁡t, 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.