Serret-Frenet formulae

At a Glance

• Frequency: 2 sub-parts across 2 of 13 years (2023, 2024)
• Priority tier: T3
• Marks (count): 15 (1), 5 (1)
• Average solve time: ~10 min
• Difficulty mix: medium 2
• Section: B | Dominant type: proof

Why This Chapter Matters

The Frenet-Serret formulas sit at the heart of differential geometry of space curves, and UPSC tests them in two distinct ways: Lancret’s theorem (2023, 15 marks — the characterisation of helices) and the intersection of consecutive principal normals (2024, 5 marks — a scalar triple product argument). The 15-mark question is the highest-value single item in this sub-area. Both proofs reduce to differentiating the Frenet frame and using the three formulas fluently; knowing them cold is the entire preparation.

Minimum Theory

Frenet-Serret formulas. For a smooth space curve $\mathbf{r}(s)$ parameterised by arc length $s$, define the Frenet frame $(\mathbf{T}, \mathbf{N}, \mathbf{B})$ where $\mathbf{T} = d\mathbf{r}/ds$ (unit tangent), $\mathbf{N} = \mathbf{T}'/|\mathbf{T}'|$ (principal normal), $\mathbf{B} = \mathbf{T}\times\mathbf{N}$ (binormal). The three formulas are:

$\mathbf{T}' = \kappa\mathbf{N}$

$\mathbf{N}' = -\kappa\mathbf{T} + \tau\mathbf{B}$

$\mathbf{B}' = -\tau\mathbf{N}$

where $\kappa = |\mathbf{T}'| \ge 0$ is the curvature, $\rho = 1/\kappa$ is the radius of curvature, $\tau$ is the torsion, and $\sigma = 1/\tau$ is the radius of torsion. (Primes denote $d/ds$.)

Key facts. $\mathbf{T},\mathbf{N},\mathbf{B}$ form a right-handed orthonormal frame: $[\mathbf{T},\mathbf{N},\mathbf{B}]=1$, $\mathbf{T}\cdot\mathbf{N}=\mathbf{N}\cdot\mathbf{B}=\mathbf{B}\cdot\mathbf{T}=0$. A curve is planar iff $\tau \equiv 0$. A curve is a generalised helix (Lancret’s theorem) iff $\tau/\kappa =$ constant iff the tangent makes a constant angle with some fixed direction.

Question Archetypes

frenet-serret-proof (2 question(s); 2023, 2024)

Recognition Cues

• “Tangent makes a constant angle $\theta$ with a fixed line; prove $\sigma/\rho \propto \tan\theta$. Prove the converse.” — this is Lancret’s theorem.
• “Show the principal normals at two consecutive points of a curve do not intersect unless torsion is zero.” — scalar triple product argument.
• Both require differentiating the Frenet frame; the sign convention for $\mathbf{N}'$ is critical.

Solution Template (Lancret)

1. Let $\mathbf{d}$ be the fixed unit direction with $\mathbf{T}\cdot\mathbf{d} = \cos\theta$ (constant).
2. Differentiate: $\mathbf{T}'\cdot\mathbf{d} = 0 \Rightarrow \kappa\mathbf{N}\cdot\mathbf{d} = 0 \Rightarrow \mathbf{d}\perp\mathbf{N}$. So $\mathbf{d}$ lies in the $(\mathbf{T},\mathbf{B})$-plane.
3. Write $\mathbf{d} = \cos\theta\,\mathbf{T} + \sin\theta\,\mathbf{B}$; differentiate $\mathbf{N}\cdot\mathbf{d} = 0$ to get $\tau\sin\theta = \kappa\cos\theta$, hence $\sigma/\rho = \kappa/\tau = \tan\theta$.
4. Converse: let $\tau/\kappa = k$ (constant). Construct $\mathbf{d} = \mathbf{T} + (1/k)\mathbf{B}$; differentiate to show $\mathbf{d}' = \mathbf{0}$. Compute the angle $\mathbf{T}$ makes with the constant $\mathbf{d}$.

Solution Template (consecutive normals)

1. Expand $Q-P = \mathbf{r}(s+ds) - \mathbf{r}(s) \approx \mathbf{T}\,ds$ and $\mathbf{N}(s+ds) \approx \mathbf{N} + (-\kappa\mathbf{T}+\tau\mathbf{B})\,ds$.
2. Two lines intersect iff the scalar triple product $[Q-P,\,\mathbf{N}(s),\,\mathbf{N}(s+ds)] = 0$.
3. Expand to leading order: the triple product equals $\tau\,ds^2$; vanishes iff $\tau = 0$.

Worked Example

2023 Paper 1, 2023-P1-Q7c (15 marks)

If the tangent to a curve makes a constant angle $\theta$ with a fixed line, prove $\sigma/\rho \propto \tan\theta$. Also prove that if $\sigma/\rho$ is constant, then the tangent makes a constant angle with a fixed direction.

Part 1 — Constant angle $\Rightarrow \sigma/\rho = \tan\theta$.

Let $\mathbf{d}$ be a fixed unit vector and $\mathbf{T}\cdot\mathbf{d} = \cos\theta$ (constant). Differentiate w.r.t. $s$:

$\mathbf{T}'\cdot\mathbf{d} = 0 \;\Rightarrow\; \kappa\mathbf{N}\cdot\mathbf{d} = 0 \;\Rightarrow\; \mathbf{N}\cdot\mathbf{d} = 0.$

So $\mathbf{d}\perp\mathbf{N}$, meaning $\mathbf{d}$ lies in the $(\mathbf{T},\mathbf{B})$-plane. Write $\mathbf{d} = \cos\theta\,\mathbf{T} + \sin\theta\,\mathbf{B}$.

Differentiate $\mathbf{N}\cdot\mathbf{d} = 0$:

$\mathbf{N}'\cdot\mathbf{d} = 0 \;\Rightarrow\; (-\kappa\mathbf{T}+\tau\mathbf{B})\cdot(\cos\theta\,\mathbf{T}+\sin\theta\,\mathbf{B}) = 0.$

$-\kappa\cos\theta + \tau\sin\theta = 0 \;\Rightarrow\; \frac{\tau}{\kappa} = \frac{\cos\theta}{\sin\theta} = \cot\theta.$

$\frac{\sigma}{\rho} = \frac{\kappa}{\tau} = \tan\theta.$

$\boxed{\frac{\sigma}{\rho} = \tan\theta.}$

Part 2 — Constant $\sigma/\rho \Rightarrow$ constant angle with a fixed direction.

Let $\tau/\kappa = k$ (constant). Construct $\mathbf{d} = \mathbf{T} + \dfrac{1}{k}\mathbf{B}$. Differentiate:

$\mathbf{d}' = \mathbf{T}' + \frac{1}{k}\mathbf{B}' = \kappa\mathbf{N} + \frac{1}{k}(-\tau\mathbf{N}) = \left(\kappa - \frac{\tau}{k}\right)\mathbf{N} = 0.$

(Since $\tau/k = \tau\cdot\kappa/\tau = \kappa$.) So $\mathbf{d}$ is a constant vector.

The angle $\Theta$ between $\mathbf{T}$ and $\mathbf{d}$:

$\cos\Theta = \frac{\mathbf{T}\cdot\mathbf{d}}{|\mathbf{d}|} = \frac{1}{\sqrt{1+1/k^2}} = \frac{k}{\sqrt{k^2+1}} = \text{constant}.$

$\boxed{\text{Tangent makes constant angle with the fixed direction }\mathbf{d} = \mathbf{T}+\frac{1}{k}\mathbf{B}.}$

(This is Lancret’s theorem: a curve is a generalised helix iff $\tau/\kappa$ is constant.)

Common Traps

• The constructed $\mathbf{d} = \mathbf{T} + (1/k)\mathbf{B}$ is not a unit vector. Its magnitude is $\sqrt{1+1/k^2}$. Divide when computing $\cos\Theta$.
• The sign in $\mathbf{N}' = -\kappa\mathbf{T} + \tau\mathbf{B}$: the minus sign on $\kappa\mathbf{T}$ is essential. Using $+\kappa\mathbf{T}$ gives the wrong result.
• State the theorem name “Lancret’s theorem” (or “generalised helix characterisation”) for full credit.
• In Part 1, $\mathbf{d} = \cos\theta\,\mathbf{T} + \sin\theta\,\mathbf{B}$ uses the orthonormal expansion with $\mathbf{d}\perp\mathbf{N}$; justify why $\mathbf{d}$ has no $\mathbf{N}$ component before writing this.

2024 Paper 1, 2024-P1-Q5e-ii (5 marks)

Show that the principal normals at two consecutive points of a curve do not intersect unless torsion $\tau$ is zero.

Step 1 — Setup. At $P = \mathbf{r}(s)$, the principal normal line is $\{P + \lambda\mathbf{N}(s)\}$. At $Q = \mathbf{r}(s+ds)$:

$Q - P \approx \mathbf{T}\,ds, \qquad \mathbf{N}(s+ds) \approx \mathbf{N} + (-\kappa\mathbf{T}+\tau\mathbf{B})\,ds.$

Step 2 — Intersection criterion. The two lines intersect iff $[Q-P,\;\mathbf{N}(s),\;\mathbf{N}(s+ds)] = 0$.

Step 3 — Expand to leading order.

$[\mathbf{T}\,ds,\;\mathbf{N},\;\mathbf{N}+(-\kappa\mathbf{T}+\tau\mathbf{B})\,ds]$

$= [\mathbf{T},\mathbf{N},\mathbf{N}]\,ds + ds^2[-\kappa[\mathbf{T},\mathbf{N},\mathbf{T}]+\tau[\mathbf{T},\mathbf{N},\mathbf{B}]] = 0 + ds^2[0 + \tau\cdot 1] = \tau\,ds^2.$

Using $[\mathbf{T},\mathbf{N},\mathbf{T}] = 0$ (two equal vectors) and $[\mathbf{T},\mathbf{N},\mathbf{B}] = +1$ (right-handed frame).

Step 4 — Conclusion. The triple product vanishes iff $\tau = 0$.

$\boxed{\text{Principal normals at consecutive points intersect only if } \tau = 0.}$

Common Traps

• $[\mathbf{T},\mathbf{N},\mathbf{B}] = +1$ for a right-handed frame; confirm sign convention.
• Expand the triple product to leading order in $ds$ — the zeroth-order term vanishes identically, and the first order gives $\tau\,ds^2$.
• The argument is “to leading order” (infinitesimally consecutive); make this explicit.
• For a plane curve ($\tau\equiv 0$) all principal normals are in the plane and meet at the centre of curvature — consistent with the result.

Marks-Aware Writing

A 15-mark Lancret proof must: differentiate $\mathbf{T}\cdot\mathbf{d}=\text{const}$ to get $\mathbf{d}\perp\mathbf{N}$; expand $\mathbf{d}$ in the $(\mathbf{T},\mathbf{B})$-plane; differentiate again to get $\tau/\kappa = \cot\theta$; state $\sigma/\rho = \tan\theta$; then for the converse construct $\mathbf{d} = \mathbf{T}+(1/k)\mathbf{B}$, differentiate to show it is constant, and compute the angle. Each step is 2–3 marks.

A 5-mark answer on consecutive normals must: write the expansion; state the intersection criterion; compute the triple product; identify $\tau$; conclude. All five steps in under a page.

Practice Set

• 2024-P1-Q5e-i (5 m) — Related Frenet-Serret computation. ()
• 2019-P1-Q7b (15 m) — Space curve differential geometry using Frenet-Serret. ()
• 2018-P1-Q7b (12 m) — Frenet-Serret application. ()