Section 12.8 : Tangent, Normal and Binormal Vectors
In this section we want to look at an application of derivatives for vector functions. Actually, there are a couple of applications, but they all come back to needing the first one.
In the past we’ve used the fact that the derivative of a function was the slope of the tangent line. With vector functions we get exactly the same result, with one exception.
Given the vector function, \(\vec r\left( t \right)\), we call \(\vec r'\left( t \right)\) the tangent vector provided it exists and provided \(\vec r'\left( t \right) \ne \vec 0\). The tangent line to \(\vec r\left( t \right)\) at \(P\) is then the line that passes through the point \(P\) and is parallel to the tangent vector, \(\vec r'\left( t \right)\). Note that we really do need to require \(\vec r'\left( t \right) \ne \vec 0\) in order to have a tangent vector. If we had \[\vec r'\left( t \right) = \vec 0\]we would have a vector that had no magnitude and so couldn’t give us the direction of the tangent.
Also, provided \(\vec r'\left( t \right) \ne \vec 0\), the unit tangent vector to the curve is given by,
While, the components of the unit tangent vector can be somewhat messy on occasion there are times when we will need to use the unit tangent vector instead of the tangent vector.
First, by general formula we mean that we won’t be plugging in a specific \(t\) and so we will be finding a formula that we can use at a later date if we’d like to find the tangent at any point on the curve. With that said there really isn’t all that much to do at this point other than to do the work.
Here is the tangent vector to the curve.
\[\vec r'\left( t \right) = 2t\,\vec i + 2\cos t\,\vec j - 2\sin t\,\vec k\]To get the unit tangent vector we need the length of the tangent vector.
\[\begin{align*}\left\| {\vec r'\left( t \right)} \right\| & = \sqrt {4{t^2} + 4{{\cos }^2}t + 4{{\sin }^2}t} \\ & = \sqrt {4{t^2} + 4} \end{align*}\]The unit tangent vector is then,
\[\begin{align*}\vec T\left( t \right) & = \frac{1}{{\sqrt {4{t^2} + 4} }}\left( {2t\,\vec i + 2\cos \,t\,\vec j - 2\sin t\,\vec k} \right)\\ & = \frac{{2t}}{{\sqrt {4{t^2} + 4} }}\,\vec i + \frac{{2\cos t}}{{\sqrt {4{t^2} + 4} }}\vec j - \frac{{2\sin t}}{{\sqrt {4{t^2} + 4} }}\,\vec k\end{align*}\]First, we need the tangent vector and since this is the function we were working with in the previous example we can just reuse the tangent vector from that example and plug in \(t = \frac{\pi }{3}\).
\[\vec r'\left( {\frac{\pi }{3}} \right) = \frac{{2\pi }}{3}\,\vec i + 2\cos \left( {\frac{\pi }{3}} \right)\,\vec j - 2\sin \left( {\frac{\pi }{3}} \right)\,\vec k = \frac{{2\pi }}{3}\,\vec i + \vec j - \sqrt 3 \,\vec k\]We’ll also need the point on the line at \(t = \frac{\pi }{3}\) so,
\[\vec r\left( {\frac{\pi }{3}} \right) = \frac{{{\pi ^2}}}{9}\,\vec i + \sqrt 3 \,\vec j + \,\vec k\]The vector equation of the line is then,
\[\vec r\left( t \right) = \left\langle {\frac{{{\pi ^2}}}{9},\sqrt 3 ,1} \right\rangle + t\left\langle {\frac{{2\pi }}{3},1, - \sqrt 3 } \right\rangle \]Before moving on let’s note a couple of things about the previous example. First, we could have used the unit tangent vector had we wanted to for the parallel vector. However, that would have made for a more complicated equation for the tangent line.
Second, notice that we used \(\vec r\left( t \right)\) to represent the tangent line despite the fact that we used that as well for the function. Do not get excited about that. The \(\vec r\left( t \right)\) here is much like \(y\) is with normal functions. With normal functions, \(y\) is the generic letter that we used to represent functions and \(\vec r\left( t \right)\) tends to be used in the same way with vector functions.
Next, we need to talk about the unit normal and the binormal vectors.
The unit normal vector is defined to be,
The unit normal is orthogonal (or normal, or perpendicular) to the unit tangent vector and hence to the curve as well. We’ve already seen normal vectors when we were dealing with Equations of Planes. They will show up with some regularity in several Calculus III topics.
The definition of the unit normal vector always seems a little mysterious when you first see it. It follows directly from the following fact.
Fact
Suppose that \(\vec r\left( t \right)\) is a vector such that \(\left\| {\vec r\left( t \right)} \right\| = c\) for all \(t\). Then \(\vec r'\left( t \right)\) is orthogonal to \(\vec r\left( t \right)\).
To prove this fact is pretty simple. From the fact statement and the relationship between the magnitude of a vector and the dot product we have the following.
\[\vec r\left( t \right)\,\centerdot \,\vec r\left( t \right) = {\left\| {\vec r\left( t \right)} \right\|^2} = {c^2}\,\,\,\,\,\,\,\,\,\,\,\,\,{\mbox{for all }} t\]Now, because this is true for all \(t\) we can see that,
\[\frac{d}{{dt}}\left( {\vec r\left( t \right)\,\centerdot \,\vec r\left( t \right)} \right) = \frac{d}{{dt}}\left( {{c^2}} \right) = 0\]Also, recalling the fact from the previous section about differentiating a dot product we see that,
\[\frac{d}{{dt}}\left( {\vec r\left( t \right)\,\centerdot \,\vec r\left( t \right)} \right) = \vec r'\left( t \right)\,\centerdot \,\vec r\left( t \right) + \vec r\left( t \right)\,\centerdot \,\vec r'\left( t \right) = 2\vec r'\left( t \right)\,\centerdot \,\vec r\left( t \right)\]Or, upon putting all this together we get,
\[2\vec r'\left( t \right)\,\centerdot \,\vec r\left( t \right) = 0\hspace{0.25in}\hspace{0.25in} \Rightarrow \hspace{0.25in}\hspace{0.25in}\vec r'\left( t \right)\,\centerdot \,\vec r\left( t \right) = 0\]Therefore \(\vec r'\left( t \right)\) is orthogonal to \(\vec r\left( t \right)\).
The definition of the unit normal then falls directly from this. Because \(\vec T\left( t \right)\) is a unit vector we know that \(\left\| {\vec T\left( t \right)} \right\| = 1\) for all \(t\) and hence by the Fact \(\vec T'\left( t \right)\) is orthogonal to \(\vec T\left( t \right)\). However, because \(\vec T\left( t \right)\) is tangent to the curve, \(\vec T'\left( t \right)\) must be orthogonal, or normal, to the curve as well and so be a normal vector for the curve. All we need to do then is divide by \(\left\| {\vec T'\left( t \right)} \right\|\) to arrive at a unit normal vector.
Next, is the binormal vector. The binormal vector is defined to be,
Because the binormal vector is defined to be the cross product of the unit tangent and unit normal vector we then know that the binormal vector is orthogonal to both the tangent vector and the normal vector.
We first need the unit tangent vector so first get the tangent vector and its magnitude.
\[\begin{align*}\vec r'\left( t \right) & = \left\langle {1,3\cos t, - 3\sin t} \right\rangle \\ \left\| {\vec r'\left( t \right)} \right\| & = \sqrt {1 + 9{{\cos }^2}t + 9{{\sin }^2}t} = \sqrt {10} \end{align*}\]The unit tangent vector is then,
\[\vec T\left( t \right) = \left\langle {\frac{1}{{\sqrt {10} }},\frac{3}{{\sqrt {10} }}\cos t, - \frac{3}{{\sqrt {10} }}\sin t} \right\rangle \]The unit normal vector will now require the derivative of the unit tangent and its magnitude.
\[\begin{align*}\vec T'\left( t \right) & = \left\langle {0, - \frac{3}{{\sqrt {10} }}\sin t, - \frac{3}{{\sqrt {10} }}\cos t} \right\rangle \\ \left\| {\vec T'\left( t \right)} \right\| & = \sqrt {\frac{9}{{10}}{{\sin }^2}t + \frac{9}{{10}}{{\cos }^2}t} = \sqrt {\frac{9}{{10}}} = \frac{3}{{\sqrt {10} }}\end{align*}\]The unit normal vector is then,
\[\vec N\left( t \right) = \frac{{\sqrt {10} }}{3}\left\langle {0, - \frac{3}{{\sqrt {10} }}\sin t, - \frac{3}{{\sqrt {10} }}\cos t} \right\rangle = \left\langle {0, - \sin t, - \cos t} \right\rangle \]Finally, the binormal vector is,
\[\begin{align*}\vec B\left( t \right) & = \vec T\left( t \right) \times \vec N\left( t \right)\\ & = \left| {\begin{array}{*{20}{c}}{\vec i}&{\vec j}&{\vec k}\\{\frac{1}{{\sqrt {10} }}}&{\frac{3}{{\sqrt {10} }}\cos t}&{ - \frac{3}{{\sqrt {10} }}\sin t}\\0&{ - \sin t}&{ - \cos t}\end{array}} \right|\,\,\,\,\,\begin{array}{*{20}{c}}{\vec i}&{\vec j}\\{\frac{1}{{\sqrt {10} }}}&{\frac{3}{{\sqrt {10} }}\cos t}\\0&{ - \sin t}\end{array}\\ & = - \frac{3}{{\sqrt {10} }}{\cos ^2}t\,\vec i - \frac{1}{{\sqrt {10} }}\sin t\,\vec k + \frac{1}{{\sqrt {10} }}\cos t\,\,\vec j - \frac{3}{{\sqrt {10} }}{\sin ^2}t\,\vec i\\ & = - \frac{3}{{\sqrt {10} }}\,\vec i + \frac{1}{{\sqrt {10} }}\cos t\,\,\vec j - \frac{1}{{\sqrt {10} }}\sin t\,\,\vec k\end{align*}\]