11.4: Unit Tangent and Normal Vectors

Unit Tangent Vector

Given a smooth vector-valued function \(\vecs r(t)\), we defined in Definition 71 that any vector parallel to \(\vecs r^\prime(t_0)\) is tangent to the graph of \(\vecs r (t)\) at \(t=t_0\). It is often useful to consider just the direction of \(\vecs r^\prime(t)\) and not its magnitude. Therefore we are interested in the unit vector in the direction of \(\vecs r^\prime(t)\). This leads to a definition.

Definition \(\PageIndex{1}\): Unit Tangent Vector

Let \(\vecs r (t)\) be a smooth function on an open interval \(I\). The unit tangent vector \(\vecs T(t)\) is

\[\vecs T(t) = \dfrac{1}{\norm{\vecs r^\prime(t)}}\vecs r^\prime(t).\]

Example \(\PageIndex{1}\): Computing the unit tangent vector

Let \(\vecs r (t) = \langle 3\cos t, 3\sin t, 4t\rangle\). Find \(\vecs T(t)\) and compute \(\vecs T(0)\) and \(\vecs T(1)\).

Solution

We apply Definition \(\PageIndex{1}\) to find \(\vecs T(t)\).

\[\begin{align*}
\vecs T(t) &= \dfrac{1}{\norm{\vecs r^\prime(t)}}\vecs r^\prime(t) \\[4pt]
&=\dfrac{1}{\sqrt{\left(-3\sin t\right) ^2+\left(3\cos t\right) ^2+ 4^2}}\langle -3\sin t,3\cos t, 4\rangle \\[4pt]
&= \langle -\dfrac35\sin t,\dfrac35\cos t,\dfrac45\rangle.
\end{align*}\]

We can now easily compute \(\vecs T(0)\) and \(\vecs T(1)\):

\[\begin{align*} \vecs T(0) &= \langle 0,\dfrac35,\dfrac45\rangle\, \\[4pt] \vecs T(1) &= \langle -\dfrac35\sin 1,\dfrac35\cos 1,\dfrac45\rangle \approx \langle -0.505,0.324,0.8\rangle.\end{align*}\]

These are plotted in Figure \(\PageIndex{1}\) with their initial points at \(\vecs r(0)\) and \(\vecs r(1)\), respectively. (They look rather "short'' since they are only length 1.)

Figure \(\PageIndex{1}\): Plotting unit tangent vectors in Example \(\PageIndex{1}\).

The unit tangent vector \(\vecs T(t)\) always has a magnitude of 1, though it is sometimes easy to doubt that is true. We can help solidify this thought in our minds by computing \(\norm{\vecs T(1)}\):

\[\norm{\vecs T(1)} \approx \sqrt{(-0.505)^2+0.324^2+0.8^2} = 1.000001. \nonumber\]

We have rounded in our computation of \(\vecs T(1)\), so we don't get 1 exactly. We leave it to the reader to use the exact representation of \(\vecs T(1)\) to verify it has length 1.

In many ways, the previous example was "too nice.'' It turned out that \(\vecs r^\prime(t)\) was always of length 5. In the next example the length of \(\vecs r^\prime(t)\) is variable, leaving us with a formula that is not as clean.

Example \(\PageIndex{2}\): Computing the unit tangent vector

Let \(\vecs r (t)=\langle t^2-t,t^2+t\rangle\). Find \(\vecs T(t)\) and compute \(\vecs T(0)\) and \(\vecs T(1)\).

Solution

We find \(\vecs r^\prime(t) = \langle 2t-1,2t+1\rangle\), and

\[\norm{\vecs r^\prime(t)} = \sqrt{(2t-1)^2+(2t+1)^2} = \sqrt{8t^2+2}.\]

Therefore

\[\vecs T(t) = \dfrac{1}{\sqrt{8t^2+2}}\langle 2t-1,2t+1\rangle = \langle \dfrac{2t-1}{\sqrt{8t^2+2}},\dfrac{2t+1}{\sqrt{8t^2+2}}\rangle.\]

When \(t=0\), we have \(\vecs T(0) = \langle -1/\sqrt{2},1/\sqrt{2}\rangle\); when \(t=1\), we have \(\vecs T(1) = \langle 1/\sqrt{10}, 3/\sqrt{10}\rangle.\) We leave it to the reader to verify each of these is a unit vector. They are plotted in Figure \(\PageIndex{2}\).

Figure \(\PageIndex{2}\): Plotting unit tangent vectors in Example \(\PageIndex{2}\).

Unit Normal Vector

Just as knowing the direction tangent to a path is important, knowing a direction orthogonal to a path is important. When dealing with real-valued functions, we defined the normal line at a point to the be the line through the point that was perpendicular to the tangent line at that point. We can do a similar thing with vector-valued functions. Given \(\vecs r (t)\) in \(\mathbb{R}^2\), we have 2 directions perpendicular to the tangent vector, as shown in Figure \(\PageIndex{3}\). It is good to wonder "Is one of these two directions preferable over the other?''

Figure \(\PageIndex{3}\): Given a direction in the plane, there are always two directions orthogonal to it.

Given \(\vecs r (t)\) in \(\mathbb{R}^3\), there are infinite vectors orthogonal to the tangent vector at a given point. Again, we might wonder "Is one of these infinite choices preferable over the others? Is one of these the "right' choice?''

The answer in both \(\mathbb{R}^2\) and \(\mathbb{R}^3\) is "Yes, there is one vector that is not only preferable, it is the "right' one to choose.'' Recall Theorem 93, which states that if \(\vecs r (t)\) has constant length, then \(\vecs r (t)\) is orthogonal to \(\vecs r^\prime(t)\) for all \(t\). We know \(\vecs T(t)\), the unit tangent vector, has constant length. Therefore \(\vecs T(t)\) is orthogonal to \(\vecs T\,'(t)\).

We'll see that \(\vecs T\,'(t)\) is more than just a convenient choice of vector that is orthogonal to \(\vecs r^\prime(t)\); rather, it is the "right'' choice. Since all we care about is the direction, we define this newly found vector to be a unit vector.

Note: \(\vecs T(t)\) is a unit vector, by definition. This does not imply that \(\vecs T\,'(t)\) is also a unit vector.

Definition \(\PageIndex{2}\): Unit Normal Vector

Let \(\vecs r (t)\) be a vector-valued function where the unit tangent vector, \(\vecs T(t)\), is smooth on an open interval \(I\). The unit normal vector \(\vecs N(t)\) is

\[\vecs N(t) = \dfrac1{\norm{\vecs T\,'(t)}}\vecs T\,'(t).\]

Example \(\PageIndex{3}\): Computing the unit normal vector

Let \(\vecs r (t) = \langle 3\cos t, 3\sin t, 4t\rangle\) as in Example 11.4.1. Sketch both \(\vecs T(\pi/2)\) and \(\vecs N(\pi/2)\) with initial points at \(\vecs r(\pi/2)\).

Solution

In Example \(\PageIndex{1}\), we found \(\vecs T(t) = \langle (-3/5)\sin t,(3/5)\cos t,4/5\rangle\). Therefore

\[\vecs T\,'(t) = \langle -\dfrac35\cos t,-\dfrac35\sin t,0\rangle\quad \text{and} \quad \norm{\vecs T\,'(t)} = \dfrac35.\]

Thus

\[\vecs N(t) = \dfrac{\vecs T\,'(t)}{3/5} = \langle -\cos t,-\sin t,0\rangle.\]

We compute \(\vecs T(\pi/2) = \langle -3/5,0,4/5\rangle\) and \(\vecs N(\pi/2) = \langle 0,-1,0\rangle\). These are sketched in Figure \(\PageIndex{4}\).

Figure \(\PageIndex{4}\): Plotting unit tangent and normal vectors in Example \(\PageIndex{3}\).

The previous example was once again "too nice.'' In general, the expression for \(\vecs T(t)\) contains fractions of square-roots, hence the expression of \(\vecs T\,'(t)\) is very messy. We demonstrate this in the next example.

Example \(\PageIndex{4}\): Computing the unit normal vector

Let \(\vecs r (t)=\langle t^2-t,t^2+t\rangle\) as in Example \(\PageIndex{2}\). Find \(\vecs N(t)\) and sketch \(\vecs r (t)\) with the unit tangent and normal vectors at \(t=-1,0\) and 1.

Solution

In Example \(\PageIndex{2}\), we found

\[\vecs T(t) = \langle \dfrac{2t-1}{\sqrt{8t^2+2}},\dfrac{2t+1}{\sqrt{8t^2+2}}\rangle.\]

Finding \(\vecs T\,'(t)\) requires two applications of the Quotient Rule:

\[\begin{align*}
T'(t) &= \langle \dfrac{\sqrt{8t^2+2}(2)-(2t-1)\left(\dfrac12(8t^2+2)^{-1/2}(16t)\right)}{8t^2+2},\\[4pt]
&\quad \dfrac{\sqrt{8t^2+2}(2)-(2t+1)\left(\dfrac12(8t^2+2)^{-1/2}(16t)\right)}{8t^2+2} \rangle \\[4pt]
&= \langle \dfrac{4 (2 t+1)}{\left(8 t^2+2\right)^{3/2}},\dfrac{4(1-2 t)}{\left(8 t^2+2\right)^{3/2}}\rangle
\end{align*}\]

This is not a unit vector; to find \(\vecs N(t)\), we need to divide \(\vecs T\,'(t)\) by it's magnitude.

\[\begin{align*}
\norm{\vecs T\,'(t)} &= \sqrt{\dfrac{16(2t+1)^2}{(8t^2+2)^3}+\dfrac{16(1-2t)^2}{(8t^2+2)^3}}\\[4pt]
&= \sqrt{\dfrac{16(8t^2+2)}{(8t^2+2)^3}}\\[4pt]
&= \dfrac{4}{8t^2+2}.
\end{align*}\]

Finally,

\[\begin{align*}
\vecs N(t) &= \dfrac1{4/(8t^2+2)}\langle \dfrac{4 (2 t+1)}{\left(8 t^2+2\right)^{3/2}},\dfrac{4
(1-2 t)}{\left(8 t^2+2\right)^{3/2}}\rangle\\[4pt]
&= \langle \dfrac{2t+1}{\sqrt{8t^2+2}},-\dfrac{2t-1}{\sqrt{8t^2+2}}\rangle.
\end{align*}\]

Using this formula for \(\vecs N(t)\), we compute the unit tangent and normal vectors for \(t=-1,0\) and 1 and sketch them in Figure \(\PageIndex{5}\).

Figure \(\PageIndex{5}\): Plotting unit tangent and normal vectors in Example \(\PageIndex{4}\).

The final result for \(\vecs N(t)\) in Example \(\PageIndex{4}\) is suspiciously similar to \(\vecs T(t)\). There is a clear reason for this. If \(\vecs u = \langle u_1,u_2\rangle \) is a unit vector in \(\mathbb{R}^2\), then the only unit vectors orthogonal to \(\vecs u\) are \(\langle -u_2,u_1\rangle \) and \(\langle u_2,-u_1\rangle\). Given \(\vecs T(t)\), we can quickly determine \(\vecs N(t)\) if we know which term to multiply by \((-1)\).

Consider again Figure 11.24, where we have plotted some unit tangent and normal vectors. Note how \(\vecs N(t)\) always points "inside'' the curve, or to the concave side of the curve. This is not a coincidence; this is true in general. Knowing the direction that \(\vecs r(t)\) "turns'' allows us to quickly find \(\vecs N(t)\).

THEOREM \(\PageIndex{1}\): Unit Normal Vectors in \(\mathbb{R}^2\)

Let \(\vecs r(t)\) be a vector-valued function in \(\mathbb{R}^2\) where \(\vecs T\,'(t)\) is smooth on an open interval \(I\). Let \(t_0\) be in \(I\) and \(\vecs T(t_0) = \langle t_1,t_2\rangle\) Then \(\vecs N(t_0)\) is either

\[\vecs N(t_0) = \langle -t_2,t_1\rangle \quad \text{or}\quad \vecs N(t_0) = \langle t_2,-t_1\rangle,\]

whichever is the vector that points to the concave side of the graph of \(\vecs r\).

Application to Acceleration

Let \(\vecs r (t)\) be a position function. It is a fact (stated later in Theorem \(\PageIndex{2}\)) that acceleration, \vecs a (t), lies in the plane defined by \(\vecs T\) and \(\vecs N\). That is, there are scalars \(a_{\text{T}}\) and \(a_{\text{N}}\) such that

\[\vecs a (t) = a_{\text{T}}\vecs T(t) + a_{\text{N}}\vecs N(t).\]

The scalar \(a_{\text{T}}\) measures "how much'' acceleration is in the direction of travel, that is, it measures the component of acceleration that affects the speed. The scalar \(a_{\text{N}}\) measures "how much'' acceleration is perpendicular to the direction of travel, that is, it measures the component of acceleration that affects the direction of travel.

We can find \(a_{\text{T}}\) using the orthogonal projection of \(\vecs a(t)\) onto \(\vecs T(t)\) (review Definition 59 in Section 10.3 if needed).

Recalling that since \(\vecs T(t)\) is a unit vector, \(\vecs T(t)\cdot\vecs T(t)=1\), so we have

\[\text{proj}_{T(t)}\vecs a(t) = \dfrac{\vecs a(t)\cdot\vecs T(t)}{\vecs T(t)\cdot\vecs T(t)}\vecs T(t) = \underbrace{\left(\vecs a(t)\cdot\vecs T(t)\right) }_{a_{\text{T}}}\vecs T(t).\]

Thus the amount of \(\vecs a (t)\) in the direction of \(\vecs T(t)\) is \(a_{\text{T}}=\vecs a (t)\cdot\vecs T(t)\). The same logic gives \(a_{\text{N}} = \vecs a (t)\cdot\vecs N(t)\).

While this is a fine way of computing \(a_{\text{T}}\), there are simpler ways of finding \(a_{\text{N}}\) (as finding \(\vecs N\) itself can be complicated). The following theorem gives alternate formulas for \(a_{\text{T}}\) and \(a_{\text{N}}\).

Note: Keep in mind that both \(a_\text{T}\) and \(a_\text{N}\) are functions of \(t\); that is, the scalar changes depending on \(t\). It is convention to drop the "\((t)\)'' notation from \(a_\text{T}(t)\) and simply write \(a_\text{T}\).

THEOREM \(\PageIndex{2}\): Acceleration in the Plane Defined by \(\vecs T\) and \(\vecs N\)

Let \(\vecs r (t)\) be a position function with acceleration \(\vecs a (t)\) and unit tangent and normal vectors \(\vecs T(t)\) and \(\vecs N(t)\). Then \(\vecs a (t)\) lies in the plane defined by \(\vecs T(t)\) and \(\vecs N(t)\); that is, there exists scalars \(a_\text{T}\) and \(a_\text{N}\) such that

\[\vecs a (t) = a_\text{T}\vecs T(t) + a_\text{N}\vecs N(t).\]

Moreover,

\[\begin{align*}
a_\text{T} &= \vecs a (t)\cdot\vecs T(t) = \dfrac{d}{dt}\left(\norm{\vecs v(t)}\right) \\[4pt]
a_\text{N} &= \vecs a (t)\cdot \vecs N(t) = \sqrt{\norm{\vecs a(t)}^2-a_\text{T}^2} = \dfrac{\norm{\vecs a (t)\times\vecs v (t)}}{\norm{\vecs v (t)}} = \norm{\vecs v (t)}\,\norm{\vecs T\,'(t)}
\end{align*}\]

Note the second formula for \(a_\text{T}\): \( \dfrac{d}{dt}\left(\norm{\vecs v (t)}\right) \). This measures the rate of change of speed, which again is the amount of acceleration in the direction of travel.

Example \(\PageIndex{5}\): Computing \(a_\text{T}\) and \(a_\text{N}\)

Let \(\vecs r (t) = \langle 3\cos t, 3\sin t, 4t\rangle\) as in Examples 11.4.1 and 11.4.3. Find \(a_\text{T}\) and \(a_\text{N}\).

Solution

The previous examples give \(\vecs a (t) = \langle -3\cos t,-3\sin t,0\rangle\) and

\[\vecs T(t) = \langle -\dfrac35\sin t,\dfrac35\cos t,\dfrac45\rangle \quad \text{and}\quad \vecs N(t) = \langle -\cos t,-\sin t,0\rangle.\]

We can find \(a_\text{T}\) and \(a_\text{N}\) directly with dot products:

\[\begin{align*}
a_\text{T} &= \vecs a (t)\cdot \vecs T(t) = \dfrac95\cos t\sin t-\dfrac95\cos t\sin t+0 = 0.\\[4pt]
a_\text{N} &= \vecs a (t)\cdot \vecs N(t) = 3\cos^2t+3\sin^2t + 0 = 3.
\end{align*}\]

Thus \(\vecs a (t) = 0\vecs T(t) + 3\vecs N(t) = 3\vecs N(t)\), which is clearly the case.

What is the practical interpretation of these numbers? \(a_\text{T}=0\) means the object is moving at a constant speed, and hence all acceleration comes in the form of direction change.

Example \(\PageIndex{6}\): Computing \(a_\text{T}\) and \(a_\text{N}\)

Let \(\vecs r (t)=\langle t^2-t,t^2+t\rangle\) as in Examples \(\PageIndex{2}\) and \(\PageIndex{4}\). Find \(a_\text{T}\) and \(a_\text{N}\).

Solution

The previous examples give \(\vecs a(t) = \langle 2,2\rangle\) and

\[\vecs T(t) = \langle \dfrac{2t-1}{\sqrt{8t^2+2}},\dfrac{2t+1}{\sqrt{8t^2+2}}\rangle \nonumber\]

and

\[ \vecs N(t) = \langle \dfrac{2t+1}{\sqrt{8t^2+2}},-\dfrac{2t-1}{\sqrt{8t^2+2}}\rangle. \nonumber\]

While we can compute \(a_\text{N}\) using \(\vecs N(t)\), we instead demonstrate using another formula from Theorem \(\PageIndex{2}\).

\[\begin{align*}
a_\text{T} &= \vecs a (t)\cdot\vecs T(t) = \dfrac{4t-2}{\sqrt{8t^2+2}}+\dfrac{4t+2}{\sqrt{8t^2+2}} = \dfrac{8t}{\sqrt{8t^2+2}}.\\[4pt]
a_\text{N} &= \sqrt{\norm{\vecs a (t)}^2-a_\text{T}^2} = \sqrt{8-\left(\dfrac{8t}{\sqrt{8t^2+2}}\right)^2}=\dfrac{4}{\sqrt{8t^2+2}}
\end{align*}\]

When \(t=2\), \( a_\text{T} = \dfrac{16}{\sqrt{34}}\approx 2.74\) and \( a_\text{N} = \dfrac{4}{\sqrt{34}} \approx 0.69\). We interpret this to mean that at \(t=2\), the particle is accelerating mostly by increasing speed, not by changing direction. As the path near \(t=2\) is relatively straight, this should make intuitive sense. Figure \(\PageIndex{6}\) gives a graph of the path for reference.

Figure \(\PageIndex{6}\): Graphing \(\vecs{r}(t)\) in Example \(\PageIndex{6}\).

Contrast this with \(t=0\), where \(a_\text{T} = 0\) and \(a_\text{N} = 4/\sqrt{2}\approx 2.82\). Here the particle's speed is not changing and all acceleration is in the form of direction change.

Example \(\PageIndex{7}\): Analyzing projectile motion

A ball is thrown from a height of 240ft with an initial speed of 64ft/s and an angle of elevation of \(30^\circ\). Find the position function \(\vecs r (t)\) of the ball and analyze \(a_\text{T}\) and \(a_\text{N}\).

Solution

Using Key Idea 53 of Section 11.3 we form the position function of the ball:

\[\vecs r (t) = \langle \left(64\cos 30^\circ\right) t, -16t^2+\left(64\sin 30^\circ\right) t+240\rangle,\]

which we plot in Figure \(\PageIndex{7}\).

Figure \(\PageIndex{7}\): Plotting the position of a thrown ball, with 1s increments shown.

From this we find \(\vecs v (t) = \langle 64\cos 30^\circ, -32t+64\sin 30^\circ\rangle\) and \(\vecs a (t) = \langle 0,-32\rangle\). Computing \(\vecs T(t)\) is not difficult, and with some simplification we find

\[\vecs T(t) = \langle \dfrac{\sqrt{3}}{\sqrt{t^2-2t+4}}, \dfrac{1-t}{\sqrt{t^2-2t+4}}\rangle.\]

With \(\vecs a (t)\) as simple as it is, finding \(a_\text{T}\) is also simple:

\[a_\text{T} = \vecs a (t)\cdot \vecs T(t) = \dfrac{32t-32}{\sqrt{t^2-2t+4}}.\]

We choose to not find \(\vecs N(t)\) and find \(a_\text{N}\) through the formula \(a_\text{N} = \sqrt{\norm{\vecs a (t)}^2-a_\text{T}^2\,}\):

\[a_\text{N} = \sqrt{32^2-\left(\dfrac{32t-32}{\sqrt{t^2-2t+4}}\right)^2} = \dfrac{32\sqrt{3}}{\sqrt{t^2-2t+4}}.\]

Figure \(\PageIndex{8}\) gives a table of values of \(a_\text{T}\) and \(a_\text{N}\). When \(t=0\), we see the ball's speed is decreasing; when \(t=1\) the speed of the ball is unchanged. This corresponds to the fact that at \(t=1\) the ball reaches its highest point.

After \(t=1\) we see that \(a_\text{N}\) is decreasing in value. This is because as the ball falls, it's path becomes straighter and most of the acceleration is in the form of speeding up the ball, and not in changing its direction.

Figure \(\PageIndex{8}\): A table of values of \(a_T\) and \(a_N\) in Example \(\PageIndex{7}\).

Our understanding of the unit tangent and normal vectors is aiding our understanding of motion. The work in Example \(\PageIndex{7}\) gave quantitative analysis of what we intuitively knew.

The next section provides two more important steps towards this analysis. We currently describe position only in terms of time. In everyday life, though, we often describe position in terms of distance ("The gas station is about 2 miles ahead, on the left.''). The arc length parameter allows us to reference position in terms of distance traveled.

We also intuitively know that some paths are straighter than others - and some are "curvier" than others, but we lack a measurement of "curviness.'' The arc length parameter provides a way for us to compute curvature, a quantitative measurement of how curvy a curve is.