The Frenet-Serret Formulas
So far, we have looked at three important types of vectors for curves $C$ defined by a vector-valued function. The first type of vector we looked were Unit Tangent Vectors denoted $\hat{T}$, and subsequently Unit Normal and Unit Binormal Vectors denoted $\hat{N}$ and $\hat{B}$ respectively.
Now let $\vec{r}(s)$ be an arc-length parameterization of $\vec{r}(t)$. Therefore:
- Unit Tangent Vector: $\hat{T}(s) = \vec{r'}(s)$.
- Unit Normal Vector: $\hat{N}(s) = \frac{\hat{T'}(s)}{\| \hat{T'}(s) \|}$.
- Unit Binormal Vector: $\hat{B}(s) = \hat{T}(s) \times \hat{N}(s)$.
This set of vectors has an important name which we will define.
Definition: Let $\vec{r}(s) = (x(s), y(s), z(s))$ be a vector-valued function with arc-length parameterization that traces the smooth curve $C$. Then the Frenet Frame of $C$ at $\vec{r}(s)$ is the set of right-handed mutually perpendicular unit vectors $\{ \hat{T}(s), \hat{N}(s), \hat{B}(s) \}$. |
Furthermore, the Frenet-Serret formulas are $\frac{d \hat{T}(s)}{ds} = \kappa(s) \hat{N}(s)$, $\frac{d\hat{N}(s)}{ds} = - \kappa(s) \hat{T}(s) + \tau (s) \hat{B}(s)$, and $\frac{d \hat{B}(s)}{ds} = -\tau(s) \hat{N}(s)$ where $\kappa (s)$ is the curvature at the point $\vec{r}(s)$, and $\tau (s)$ is the torsion at the point $\vec{r}(s)$. These formulas can be represented and memorized as the following matrix:
(1)We will prove the first of the Frenet-Serret formulas.
Theorem 1: Let $\vec{r}(s) = (x(s), y(s), z(s))$ be a vector-valued function with arc length parameterization that traces out the smooth curve $C$. Then $\frac{d}{ds} \hat{T}(s) = \kappa (s) \hat{N}(s)$. |
- Proof: We note that $\kappa (s) = \frac{ \| \hat{T'}(s) \| }{ \| \vec{r'}(s) \|}$ and that $\hat{N}(s) = \frac{\hat{T'}(s)}{\| \hat{T'}(s) \|}$. Therefore:
- Now notice that one of the properties of an arc length parameterization of a vector-valued function is that the curve $C$ is traced out at unit speed, that is, $\| \vec{r'}(s) \| = 1$. This can be seen since:
- Thus $\hat{T'}(s) = \frac{d}{ds} \hat{T}(s) = \kappa (s) \hat{N}(s)$. $\blacksquare$