The vectors in the TNB-frame form an orthonormal basis, that is, they are linearly independent, mutually orthogonal, and each of unit length. Hence, , that is, can be written as a linear combination of the vectors T, N, and B.
Since N is a unit vector, and , so
which implies and .
From and the following calculation, .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hence, . From and the following calculation, .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Consequently, .