Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 2 / 26G / a / Solution

Let $\gamma$ be a $C^3$ regular curve parametrized by arc length, so $|{\gamma }^{\prime }(s)|=1$. Define the Frenet frameand define the torsion byThus curvature requires two derivatives, while $N,B,$ and torsion require $\kappa >0$; the displayed classical torsion requires three derivatives. At a point where $\kappa =0$, $N,B,$ and $\tau$ are not defined by this construction.

Since $(T,N,B)$ is an orthonormal frame, differentiating its inner products shows that its derivative matrix is skew-symmetric. The definition gives $T^{\prime }=\kappa N$. Next,so $N^{\prime }=-\kappa T+cB$. As $B^{\prime }=T\times N^{\prime }$ and $T\times B=-N$, we have $B^{\prime }=-cN$; hence $c=-B^{\prime }\cdot N=\tau$. The Frenet-Serret formulas are therefore