Theorem
Ifis a curve with tangent
unit normal
and 'binormal'
then
1.where
is a scalar (called the radius of curvature)
2.where
is a scalar called the torsion.
3.
Proof
The tangent vector tois
the derivative of
and the rate of change of
is
1. Ifis the length along the curve, then
and
Henceand
is perpendicular to
so must be parallel to vec N , so
where
is a scalar.
2.so
Now take the dot product of (1) on with vec T to giveso
is perpendicular to
(since
and
are perpendicular ubit vectors) so
and
and
is then perpendicular to both
and
so
3. Vectors vec N , vec B , vec T form a right handed coordinate system and
Differentiatinggives