Since is a unit vector, , so that is orthogonal to B. That puts somewhere in the osculating plane, that is, the plane formed by T and N.
Now B is orthogonal to T, so . Differentiating gives . Rearranging gives
|
|
|
|
|
|
|
|
where is the basis for the definition of the curvature .
Thus, , already in the osculating plane, is now orthogonal to T. Hence, it must be along N, which was to be established. Incidentally, since is along N, it must be that it is a multiple of N, and that multiple is taken as a measure of the torsion by writing .