Prove that the torsion of a plane curve (with non-zero curvature) is equal to zero at each of its points.
Solution: Let the curve have a regular parametrization [tex]\vec{r}(t)[/tex] of class [tex]C^3[/tex] and lie in the plane through the point with position vector [tex]\vec{r}_0[/tex] and unit normal vector [tex]\vec{m}[/tex]. Then for every [tex]t[/tex]
[tex]\left(\vec{r}(t)-\vec{r}_0\right)\centerdot\vec{m}=0[/tex]
Since [tex]\vec{r}_0[/tex] and [tex]\vec{m}[/tex] are constant, differentiating three times gives
[tex]\vec{r}\,{}'\centerdot\vec{m}=0,\qquad \vec{r}\,{}''\centerdot\vec{m}=0,\qquad \vec{r}\,{}'''\centerdot\vec{m}=0[/tex]
So the vectors [tex]\vec{r}\,{}'[/tex], [tex]\vec{r}\,{}''[/tex], [tex]\vec{r}\,{}'''[/tex] are all perpendicular to [tex]\vec{m}[/tex], i.e. they are parallel to one plane. Hence they are linearly dependent and their scalar triple product is zero:
[tex]\left(\vec{r}\,{}',\vec{r}\,{}'',\vec{r}\,{}'''\right)=0[/tex]
The curvature [tex]\kappa=\frac{\left|\vec{r}\,{}'×\vec{r}\,{}''\right|}{\left|\vec{r}\,{}'\right|^3}[/tex] is non-zero, so [tex]\vec{r}\,{}'×\vec{r}\,{}''\ne\vec{0}[/tex] and the torsion is defined:
[tex]\tau=\frac{\left(\vec{r}\,{}',\vec{r}\,{}'',\vec{r}\,{}'''\right)}{\left|\vec{r}\,{}'×\vec{r}\,{}''\right|^2}=0[/tex]