Chapter 2: Space Curves
Section 2.6: Binormal and Torsion
Essentials
The binormal vector B=T×N is a unit vector orthogonal to the osculating plane, the plane formed by the vectors T and N. (See Example 2.6.5 for a verification that B=1.) This author remembers the definition of the binormal vector by recalling the word button (BuTtoN). In fact, he would tell his students that if they remembered that word, they would be "right on the button" in their recollection of this construct. It got groans, but it worked!
The three vectors T, N, and B form the TNB-frame, and are called the Frenet (or Frenet-Serret) vectors.
The vector B′s is in the direction of N (see Example 2.6.6), so that B′s= −τ N, where the scalar of proportionality τ is called the torsion. Some texts omit the minus sign. The definition given here makes the torsion positive when, as T advances with increasing arc length, the osculating plane rotates clockwise around the tangent line, the rotation being viewed in the direction of T.
Table 2.6.1 lists formulas for the torsion τ. The formulas on the left are more on the order of definitions because in them, the vectors are considered functions of the arc length s, and the primes denote differentiation with respect to arc length. The formulas on the right are more practical, since in them the vectors are considered to be functions of a parameter p, other than arc length. The over-dot is used to denote differentiation with respect to this other parameter.
τ= −B′s·N
τ= −1ρB.p·N
τ=R′R″R‴/κ2
τ=R.R..R...R.×R..2
Table 2.6.1 Formulas for the torsion τ
As per Table 1.5.1, the notation ABC denotes the triple scalar (or box) product A·B×C for the vectors A, B, and C.
Examples
Example 2.6.1
For C, the helix defined by Rp=cosp i+sinp j+p k in Example 2.5.6,
Obtain the TNB-frame.
Calculate the torsion τ by both formulas on the right in Table 2.6.1.
Verify the equality T.p·B.p=−κ τ ρ2.
Graph C, along with the TNB-frame at p=π/3.
Example 2.6.2
For C, the curve defined by Rp=p i+3 p2 j+p3 k in Example 2.5.7,
Graph C, along with the TNB-frame at p=1.
Example 2.6.3
For C, the curve defined by Rp=lncosp i+lnsinp j+2p k, p∈0,π/2, in Example 2.5.8,
Graph C, along with the TNB-frame at p=π/4.
Example 2.6.4
For C, the curve defined by Rp=3 p−p3 i+3 p2 j+3 p+p3 k in Example 2.5.9,
Graph C, along with the TNB-frame at p=−1.
Example 2.6.5
Show that the definition B=T×N implies B=1.
Example 2.6.6
Prove that B′s is necessarily along N.
Example 2.6.7
Obtain τ=R′R″R‴/κ2, the formula in the lower-left portion of Table 2.6.1.
Example 2.6.8
Obtain τ=R.R..R...R.×R..2, the formula in the lower-right portion of Table 2.6.1.
<< Previous Section Table of Contents Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document