The Normal and Binormal Vectors

Learning Outcomes

  • Describe the meaning of the normal and binormal vectors of a curve in space.

We have seen that the derivative [latex]{\bf{r}}'\,(t)[/latex] of a vector-valued function is a tangent vector to the curve defined by [latex]{\bf{r}}\,(t)[/latex], and the unit tangent vector [latex]{\bf{T}}\,(t)[/latex] can be calculated by dividing [latex]{\bf{r}}'\,(t)[/latex] by its magnitude. When studying motion in three dimensions, two other vectors are useful in describing the motion of a particle along a path in space: the principal unit vector and the binomial vector.

Definition


Let [latex]C[/latex] be a three-dimensional smooth curve represented [latex]{\bf{r}}[/latex] over an open interval [latex]I[/latex]. If [latex]{\bf{T}}'\,(t)\neq{0}[/latex], then the principal unit normal vector at [latex]t[/latex] is defined to be

[latex]{\bf{N}}\,(t)=\frac{{\bf{T}}'\,(t)}{\left\Vert{\bf{T}}'\,(t)\right\Vert}[/latex].

The binomial vector at [latex]t[/latex] is defined as

[latex]{\bf{B}}\,(t)={\bf{T}}\,(t)\,\times\,{\bf{N}}\,(t)[/latex],

where [latex]{\bf{T}}(t)[/latex] is the unit tangent vector.

Note that, by definition, the binormal vector is orthogonal to both the unit tangent vector and the normal vector. Furthermore, [latex]{\bf{B}}\,(t)[/latex] is always a unit vector. This cam be shown using the formula for the magnitude of a cross product

[latex]\left\Vert{\bf{B}}\,(t)\right\Vert=\left\Vert{\bf{T}}\,(t)\,\times\,{\bf{N}}\,(t)\right\Vert=\left\Vert{\bf{T}}\,(t)\right\Vert\,\left\Vert{\bf{N}}\,(t)\right\Vert\sin{\theta},[/latex]

where [latex]\theta[/latex] is the angle between [latex]{\bf{T}}\,(t)[/latex] and [latex]{\bf{N}}\,(t)[/latex]. Since [latex]{\bf{N}}\,(t)[/latex] is the derivative of a unit vector, property 7 of the derivative of a vector-valued function tells us that [latex]{\bf{T}}(t)[/latex] and [latex]{\bf{N}}(t)[/latex] are orthogonal to each other, so [latex]\theta=\pi/2[/latex]. Furthermore, they are both unit vectors, so their magnitude is [latex]1[/latex]. Therefore, [latex]\left\Vert{\bf{T}}\,(t)\right\Vert\,\left\Vert{\bf{N}}\,(t)\right\Vert\sin{\theta}=(1)(1)\sin{(\pi/2)}=1[/latex] and [latex]{\bf{B}}\,(t)[/latex] is a unit vector.

The principal unit normal vector can be challenging to calculate because the unit tangent vector involves a quotient, and this quotient often has a square root in the denominator. In the three-dimensional case, finding the cross product of the unit tangent vector and the unit normal vector can be even more cumbersome. Fortunately, we have alternative formulas for finding these two vectors, and they are presented in Motion in Space.

Example: finding the principal unit normal vector and binormal vector

For each of the following vector-valued functions, find the principal unit normal vector. Then, if possible, find the binormal vector.

    1. a. [latex]{\bf{r}}\,(t)=4\cos{t{\bf{i}}}-4\sin{t{\bf{j}}}[/latex]
      b. [latex]{\bf{r}}\,(t)=(6t+2)\,{\bf{i}}+5t^{2}\,{\bf{j}}-8t\,{\bf{k}}[/latex]

try it

Find the unit normal vector for the vector-valued function [latex]{\bf{r}}\,(t)=(t^{2}-3)\,{\bf{I}}+(4t+1)\,{\bf{j}}[/latex] and evaluate it at [latex]t=2[/latex].

Try It

For any smooth curve in three dimensions that is defined by a vector-valued function, we now have formulas for the unit tangent vector [latex]{\bf{T}}[/latex], the unit normal vector [latex]{\bf{N}}[/latex], and the binormal vector [latex]\bf{B}[/latex]. The unit normal vector and the binormal vector form a plane that is perpendicular to the curve at any point on the curve, called the normal plane. In addition, these three vectors form a frame of reference in three-dimensional space called the Frenet frame of reference (also called the TNB frame) (Figure 7). Lat, the plane determined by the vectors [latex]\bf{T}[/latex] and [latex]\bf{N}[/latex] forms the osculating plane of [latex]C[/latex] at any point [latex]P[/latex] on the curve.

This figure is the graph of a curve increasing and decreasing. Along the curve at 4 different points are 3 vectors at each point. The first vector is labeled “T” and is tangent to the curve at the point. The second vector is labeled “N” and is normal to the curve at the point. The third vector is labeled “B” and is orthogonal to T and N.

Figure 4. This figure depicts a Frenet frame of reference. At every point [latex]P[/latex] on a three-dimensional curve, the unit tangent, unit normal, and binormal vectors form a three-dimensional frame of reference.

Suppose we form a circle in the osculating plane of [latex]C[/latex] at point [latex]P[/latex] on the curve. Assume that the circle has the same curvature as the curve does at point [latex]P[/latex] and let the circle have radius [latex]r[/latex]. Then, the curvature of the circle is given by [latex]1/r[/latex]. We call [latex]r[/latex] the radius of curvature of the curve, and it is equal to the reciprocal of the curvature. If this circle lies on the concave side of the curve and is tangent to the curve at point [latex]P[/latex], then this circle is called the osculating circle of [latex]C[/latex] at [latex]P[/latex], as shown in the following figure.

This figure is the graph of a curve with a circle in the middle. The bottom of the circle is the same as part of the curve. Inside of the circle is a vector labeled “r”. It starts at point “P” on the circle and points towards the radius. There is also a line segment perpendicular to the radius and tangent to point P.

Figure 5. In this osculating circle, the circle is tangent to curve [latex]C[/latex] at point [latex]P[/latex] and shares the same curvature.

 

Interactive

For more information on osculating circles, see this demonstration on curvature and torsion, this article on osculating circles, and this discussion of Serret formulas.

To find the equation of an osculating circle in two dimensions, we need find only the center and radius of the circle.

Example: finding the Equation of an Osculating Circle

Find the equation of the osculating circle of the helix defined by the function [latex]y=x^{3}-3x+1[/latex] at [latex]x=1[/latex].

try it

Find the equation of the osculating circle of the curve defined by the vector-valued function [latex]y=2x^{2}-4x+5[/latex] at [latex]x=1[/latex].

Watch the following video to see the worked solution to the above Try It

You can view the transcript for “CP 3.13” here (opens in new window).