11.8: Vectors

As we have seen numerous times in this book, Mathematics can be used to model and solve real-world problems. For many applications, real numbers suffice; that is, real numbers with the appropriate units attached can be used to answer questions like "How close is the nearest Sasquatch nest?'' There are other times though, when these kinds of quantities do not suffice. Perhaps it is important to know, for instance, how close the nearest Sasquatch nest is as well as the direction in which it lies. (Foreshadowing the use of bearings in the exercises, perhaps?) To answer questions like these which involve both a quantitative answer, or magnitude, along with a direction, we use the mathematical objects called vectors. The word 'vector' comes from the Latin vehere meaning 'to convey' or 'to carry.'

A vector is represented geometrically as a directed line segment where the magnitude of the vector is taken to be the length of the line segment and the direction is made clear with the use of an arrow at one endpoint of the segment. When referring to vectors in this text, we shall adopt \footnot{Other textbook authors use bold vectors such as \(\bf{v}\). We find that writing in bold font on the chalkboard is inconvenient at best, so we have chosen the 'arrow' notation.} the 'arrow' notation, so the symbol \(\vec{v}\) is read as 'the vector \(v\)'. Below is a typical vector \(\vec{v}\) with endpoints \(P\left(1, 2\right)\) and \(Q\left(4, 6\right)\). The point \(P\) is called the initial point or tail of \(\vec{v}\) and the point \(Q\) is called the terminal point or head of \(\vec{v}\). Since we can reconstruct \(\vec{v}\) completely from \(P\) and \(Q\), we write \(\vec{v} = \overrightarrow{PQ}\), where the order of points \(P\) (initial point) and \(Q\) (terminal point) is important. (Think about this before moving on.)

While it is true that \(P\) and \(Q\) completely determine \(\vec{v}\), it is important to note that since vectors are defined in terms of their two characteristics, magnitude and direction, any directed line segment with the same length and direction as \(\vec{v}\) is considered to be the same vector as \(\vec{v}\), regardless of its initial point. In the case of our vector \(\vec{v}\) above, any vector which moves three units to the right and four up\footnote{If this idea of 'over' and 'up' seems familiar, it should. The slope of the line segment containing \(\vec{v}\) is \(\frac{4}{3}\).} from its initial point to arrive at its terminal point is considered the same vector as \(\vec{v}\). The notation we use to capture this idea is the component form of the vector, \(\vec{v} = \left<3,4\right>\), where the first number, \(3\), is called the \(x\)-\textit{component} \index{vector ! \(x\)-component} of \(\vec{v}\) and the second number, \(4\), is called the \(y\)-\textit{component} \index{vector ! \(y\)-component} of \(\vec{v}\). If we wanted to reconstruct \(\vec{v} = \left<3,4\right>\) with initial point \(P'(-2,3)\), then we would find the terminal point of \(\vec{v}\) by adding \(3\) to the \(x\)-coordinate and adding \(4\) to the \(y\)-coordinate to obtain the terminal point \(Q'(1,7)\), as seen below.

The component form of a vector is what ties these very geometric objects back to Algebra and ultimately Trigonometry. We generalize our example in our definition below.

Definition

Suppose \(\vec{v}\) is represented by a directed line segment with initial point \(P\left(x_{0}, y_{0}\right)\) and terminal point \(Q\left(x_{1}, y_{1}\right)\). The component form of \(\vec{v}\) is given by \index{component form of a vector}

\[ \vec{v} = \overrightarrow{PQ} = \left< x_{1} - x_{0}, y_{1} - y_{0} \right> \label{componentformvector} \]

Using the language of components, we have that two vectors are equal if and only if their corresponding components are equal. That is, \(\left<v_{1}, v_{2}\right> = \left<v_{1}', v_{2}'\right>\) if and only if \(v_{1} = v_{1}'\) and \(v_{2} = v_{2}'\). (Again, think about this before reading on.) We now set about defining operations on vectors. Suppose we are given two vectors \(\vec{v}\) and \(\vec{w}\). The sum, or resultant vector \(\vec{v} + \vec{w}\) is obtained as follows. First, plot \(\vec{v}\). Next, plot \(\vec{w}\) so that its initial point is the terminal point of \(\vec{v}\). To plot the vector \(\vec{v} + \vec{w}\) we begin at the initial point of \(\vec{v}\) and end at the terminal point of \(\vec{w}\). It is helpful to think of the vector \(\vec{v} + \vec{w}\) as the 'net result' of moving along \(\vec{v}\) then moving along \(\vec{w}\).

Our next example makes good use of resultant vectors and reviews bearings and the Law of Cosines.\footnote{If necessary, review page \pageref{bearings} and Section \ref{LawofCosines}.}

Example \(\PageIndex{1}\):vectorbearingex

A plane leaves an airport with an airspeed, i.e., the speed of the plane relative to the air around it. If there were no wind, plane's airspeed would be the same as its speed as observed from the ground, of 175 miles per hour at a bearing of N\(40^{\circ}\)E. A 35 mile per hour wind is blowing at a bearing of S\(60^{\circ}\)E. Find the true speed of the plane, rounded to the nearest mile per hour, and the true bearing of the plane, rounded to the nearest degree.

Solution

Nor both the plane and the wind, we are given their speeds and their directions. Coupling speed (as a magnitude) with direction is the concept of \textit{velocity} which we've seen a few times before in this textbook.\footnote{See Section \ref{circularmotion}, for instance.} We let \(\vec{v}\) denote the plane's velocity and \(\vec{w}\) denote the wind's velocity in the diagram below. The 'true' speed and bearing is found by analyzing the resultant vector, \(\vec{v} + \vec{w}\). From the vector diagram, we get a triangle, the lengths of whose sides are the magnitude of \(\vec{v}\), which is 175, the magnitude of \(\vec{w}\), which is 35, and the magnitude of \(\vec{v} + \vec{w}\), which we'll call \(c\). From the given bearing information, we go through the usual geometry to determine that the angle between the sides of length 35 and 175 measures \(100^{\circ}\).

From the Law of Cosines, we determine \(c = \sqrt{31850 - 12250\cos(100^{\circ})} \approx 184\), which means the true speed of the plane is (approximately) \(184\) miles per hour. To determine the true bearing of the plane, we need to determine the angle \(\alpha\). Using the Law of Cosines once more,\footnote{Or, since our given angle, \(100^{\circ}\), is obtuse, we could use the Law of Sines without any ambiguity here.} we find \(\cos(\alpha) = \frac{c^2+29400}{350c}\) so that \(\alpha \approx 11^{\circ}\). Given the geometry of the situation, we add \(\alpha\) to the given \(40^{\circ}\) and find the true bearing of the plane to be (approximately) N\)51^{\circ}\)E.

Our next step is to define addition of vectors component-wise to match the geometric action.\footnote{Adding vectors 'component-wise' should seem hauntingly familiar. Compare this with how matrix addition was defined in section \ref{MatArithmetic}. In fact, in more advanced courses such as Linear Algebra, vectors are defined as \(1\times n\) or \(n \times 1\) matrices, depending on the situation.}

Definition: vectoradd

Suppose \(\vec{v} = \left<v_{1},v_{2}\right>\) and \(\vec{w} = \left<w_{1},w_{2}\right>\). The vector \(\vec{v} + \vec{w}\) is defined by \index{vector ! addition ! definition of}

\[ \vec{v} + \vec{w} = \left< v_{1} + w_{1}, v_{2} + w_{2} \right> \]

Example \(\PageIndex{1}\): vectoraddex

Let \(\vec{v} = \left<3,4\right>\) and suppose \(\vec{w} = \overrightarrow{PQ}\) where \(P(-3,7)\) and \(Q(-2,5)\). Find \(\vec{v} + \vec{w}\) and interpret this sum geometrically.

Solution

Before can add the vectors using Definition \ref{vectoradd}, we need to write \(\vec{w}\) in component form. Using Definition \ref{componentformvector}, we get \(\vec{w} = \left<-2-(-3),5-7\right> = \left<1,-2\right>\). Thus

\[ \begin{array}{rcl} \vec{v} + \vec{w} & = & \left<3,4\right> + \left<1,-2\right> \\ & = & \left< 3 + 1, 4 + (-2) \right> \\ & = & \left<4, 2\right> \\ \end{array} \]

To visualize this sum, we draw \(\vec{v}\) with its initial point at \((0,0)\) (for convenience) so that its terminal point is \((3,4)\). Next, we graph \(\vec{w}\) with its initial point at \((3,4)\). Moving one to the right and two down, we find the terminal point of \(\vec{w}\) to be \((4,2)\). We see that the vector \(\vec{v} + \vec{w}\) has initial point \((0,0)\) and terminal point \((4,2)\) so its component form is \(\left<4,2\right>\), as required.

In order for vector addition to enjoy the same kinds of properties as real number addition, it is necessary to extend our definition of vectors to include a 'zero vector', \(\vec{0} = \left<0, 0\right>\). Geometrically, \(\vec{0}\) represents a point, which we can think of as a directed line segment with the same initial and terminal points. The reader may well object to the inclusion of \(\vec{0}\), since after all, vectors are supposed to have both a magnitude (length) and a direction. While it seems clear that the magnitude of \(\vec{0}\) should be \(0\), it is not clear what its direction is. As we shall see, the direction of \(\vec{0}\) is in fact undefined, but this minor hiccup in the natural flow of things is worth the benefits we reap by including \(\vec{0}\) in our discussions. We have the following theorem.

Note: Properties of Vector Addition

• Commutative Property: For all vectors \(\vec{v} \text{ and } \vec{w}\), \(\vec{v} + \vec{w} = \vec{w} + \vec{v}\).
• Associative Property: For all vectors \(\vec{u}, \vec{v} \text{ and } \vec{w}\), \(\left(\vec{u} + \vec{v}\right) + \vec{w} = \vec{u} + \left(\vec{v} + \vec{w}\right)\).
• Identity Property: \index{vector ! additive identity} The vector \(\vec{0}\) acts as the additive identity for vector addition. That is, for all vectors \(\vec{v}\), \[\vec{v} + \vec{0} = \vec{0} + \vec{v} = \vec{v}.\]
• Inverse Property: \index{vector ! additive inverse} Every vector \(\vec{v}\) has a unique additive inverse, denoted \(-\vec{v}\). That is, for every vector \(\vec{v}\), there is a vector \(-\vec{v}\) so that \[\vec{v} + (-\vec{v}) = (-\vec{v}) + \vec{v} = \vec{0}.\]

The properties in Theorem \ref{vectoradditionprops} are easily verified using the definition of vector addition.\footnote{The interested reader is encouraged to compare Theorem \ref{vectoradditionprops} and the ensuing discussion with Theorem \ref{matrixadditionprops} in Section \ref{MatArithmetic} and the discussion there.} For the commutative property, we note that if \(\vec{v} = \left<v_{1},v_{2}\right>\) and \(\vec{w} = \left<w_{1},w_{2}\right>\) then

\[ \begin{array}{rcl} \vec{v} + \vec{w} & = & \left< v_{1}, v_{2} \right> + \left< w_{1}, w_{2} \right> \\ & = & \left< v_{1} + w_{1}, v_{2} + w_{2} \right> \\ & = & \left< w_{1} + v_{1}, w_{2} + v_{2} \right> \\ & = & \vec{w} + \vec{v} \end{array} \]

Geometrically, we can 'see' the commutative property by realizing that the sums \(\vec{v}+\vec{w}\) and \(\vec{w} + \vec{v}\) are the same directed diagonal determined by the parallelogram below.

The proofs of the associative and identity properties proceed similarly, and the reader is encouraged to verify them and provide accompanying diagrams. The existence and uniqueness of the additive inverse is yet another property inherited from the real numbers. Given a vector \(\vec{v} = \left<v_{1}, v_{2}\right>\), suppose we wish to find a vector \(\vec{w} = \left<w_{1},w_{2}\right>\) so that \(\vec{v} + \vec{w} = \vec{0}\). By the definition of vector addition, we have \(\left<v_{1} + w_{1}, v_{2} + w_{2}\right> = \left<0,0\right>\), and hence, \(v_{1} + w_{1} = 0\) and \(v_{2} + w_{2} = 0\). We get \(w_{1} = -v_{1}\) and \(w_{2} = -v_{2} \( so that \(\vec{w} = \left<-v_{1} , -v_{2} \right>\). Hence, \(\vec{v}\) has an additive inverse, and moreover, it is unique and can be obtained by the formula \(-\vec{v} = \left<-v_{1} ,-v_{2} \right>\). Geometrically, the vectors \(\vec{v} = \left<v_{1}, v_{2}\right>\) and \(-\vec{v} = \left<-v_{1}, -v_{2}\right>\) have the same length, but opposite directions. As a result, when adding the vectors geometrically, the sum \(\vec{v} + (-\vec{v})\) results in starting at the initial point of \(\vec{v}\) and ending back at the initial point of \(\vec{v}\), or in other words, the net result of moving \(\vec{v}\) then \(-\vec{v}\) is not moving at all.

Using the additive inverse of a vector, we can define the difference of two vectors, \(\vec{v} - \vec{w} = \vec{v} + (-\vec{w})\). If \(\vec{v} = \left<v_{1},v_{2}\right>\) and \(\vec{w} = \left<w_{1},w_{2}\right>\) then

\[\begin{array}{rcl} \vec{v} - \vec{w} & = & \vec{v} + (-\vec{w}) \\ & = & \left<v_{1},v_{2}\right> + \left<-w_{1},-w_{2}\right> \\ & = & \left<v_{1} + \left(-w_{1}\right),v_{2} + \left(-w_{2}\right) \right>\\ & = & \left<v_{1} -w_{1},v_{2} - w_{2}\right> \\ \end{array} \]

In other words, like vector addition, vector subtraction works component-wise. To interpret the vector \(\vec{v} - \vec{w}\) geometrically, we note

\[ \begin{array}{rcll} \vec{w} + \left(\vec{v} - \vec{w}\right) & = & \vec{w} + \left(\vec{v} +(-\vec{w})\right) & \text{Definition of Vector Subtraction} \\ & = & \vec{w} + \left((-\vec{w})+\vec{v}\right) & \text{Commutativity of Vector Addition} \\ & = & (\vec{w} + (-\vec{w})) + \vec{v} & \text{Associativity of Vector Addition} \\ & = & \vec{0} + \vec{v} & \text{Definition of Additive Inverse}\\ & = & \vec{v} & \text{Definition of Additive Identity} \\ \end{array} \]

This means that the 'net result' of moving along \(\vec{w}\) then moving along \(\vec{v} - \vec{w}\) is just \(\vec{v}\) itself. From the diagram below, we see that \(\vec{v}-\vec{w}\) may be interpreted as the vector whose initial point is the terminal point of \(\vec{w}\) and whose terminal point is the terminal point of \(\vec{v}\) as depicted below. It is also worth mentioning that in the parallelogram determined by the vectors \(\vec{v}\) and \(\vec{w}\), the vector \(\vec{v}-\vec{w}\) is one of the diagonals -- the other being \(\vec{v} + \vec{w}\).

Next, we discuss scalar multiplication -- that is, taking a real number times a vector. We define scalar multiplication for vectors in the same way we defined it for matrices in Section \ref{MatArithmetic}.

Definition: Scalar Multiplication

If \(k\) is a real number and \(\vec{v} = \left<v_{1},v_{2}\right>\), we define \(k\vec{v}\) by

\[k\vec{v} = k\left<v_{1},v_{2}\right> =\left<k v_{1},k v_{2}\right> \]

Scalar multiplication by \(k\) in vectors can be understood geometrically as scaling the vector (if \(k > 0\)) or scaling the vector and reversing its direction (if \(k < 0\)) as demonstrated below.

Note that, by definition \ref{scalarmultvector}, \((-1)\vec{v} = (-1)\left<v_{1},v_{2}\right> = \left<(-1)v_{1}, (-1)v_{2}\right> = \left<-v_{1},-v_{2}\right> = -\vec{v}\). This, and other properties of scalar multiplication are summarized below.

Note: Properties of Scalar Multiplication

1. Associative Property: \index{vector ! scalar multiplication ! associative property of} \index{scalar multiplication ! vector ! associative property of} \index{associative property ! vector ! scalar multiplication} For every vector \(\vec{v}\) and scalars \(k\) and \(r\), \((kr)\vec{v} = k(r\vec{v})\).
2. Identity Property: \index{vector ! scalar multiplication ! identity for} For all vectors \(\vec{v}\), \(1\vec{v} = \vec{v}\).
3. Additive Inverse Property: For all vectors \(\vec{v}\), \(-\vec{v} = (-1)\vec{v}\). \index{vector ! additive inverse}
4. Distributive Property of Scalar Multiplication over Scalar Addition: \index{vector ! scalar multiplication ! distributive properties} \index{distributive property ! vector ! scalar multiplication} \index{scalar multiplication ! vector ! distributive properties of} For every vector \(\vec{v}\) and scalars \(k\) and \(r\), \[(k+r)\vec{v} = k\vec{v} + r\vec{v}\]
5. Distributive Property of Scalar Multiplication over Vector Addition: For all vectors \(\vec{v}\) and \(\vec{w}\) and scalars \(k\), \[k(\vec{v}+\vec{w}) = k\vec{v} + k\vec{w}\]
6. Zero Product Property:} \index{vector ! scalar multiplication ! zero product property} If \(\vec{v}\) is vector and \(k\) is a scalar, then \[k\vec{v} = \vec{0} \quad \text{if and only if} \quad k=0 \quad \text{or} \quad \vec{v} =\vec{0}\]

The proof of Theorem \ref{vectorscalarmultprops}, like the proof of Theorem \ref{vectoradditionprops}, ultimately boils down to the definition of scalar multiplication and properties of real numbers. For example, to prove the associative property, we let \(\vec{v} = \left<v_{1},v_{2}\right>\). If \(k\) and \(r\) are scalars then

\[\begin{array}{rcll} (kr) \vec{v} & = & (kr) \left<v_{1},v_{2}\right> & \\ & = & \left<(kr) v_{1}, (kr) v_{2}\right> & \text{Definition of Scalar Multiplication} \\ & = & \left<k (r v_{1}), k (r v_{2})\right> & \text{Associative Property of Real Number Multiplication} \\ & = & k\left<r v_{1}, r v_{2}\right> & \text{Definition of Scalar Multiplication} \\ & = & k\left(r\left<v_{1}, v_{2}\right>\right) & \text{Definition of Scalar Multiplication} \\ & = & k(r\vec{v}) & \\ \end{array} \]

The remaining properties are proved similarly and are left as exercises.

Our next example demonstrates how Theorem \ref{vectorscalarmultprops} allows us to do the same kind of algebraic manipulations with vectors as we do with variables -- multiplication and division of vectors notwithstanding. If the pedantry seems familiar, it should. This is the same treatment we gave Example \ref{matrixaddscalarex} in Section \ref{MatArithmetic}. As in that example, we spell out the solution in excruciating detail to encourage the reader to think carefully about why each step is justified.

Example \(\PageIndex{1}\):vectoreqnex

Solve \(5\vec{v} - 2\left(\vec{v} + \left<1,-2\right>\right) = \vec{0}\) for \(\vec{v}\).

Solution

\[ \begin{array}{rcl} 5\vec{v} - 2\left(\vec{v} +\ \left<1,-2\right>\right) & = & \vec{0} \\ 5\vec{v} + (-1)\left[ 2\left(\vec{v} +\left<1,-2\right>\right)\right] & = & \vec{0}\\ 5\vec{v} + [(-1)(2)]\left(\vec{v} + \left<1,-2\right>\right) & = & \vec{0}\\ 5\vec{v} + (-2)\left(\vec{v} + \left<1,-2\right>\right) & = & \vec{0}\\ 5\vec{v} + \left[(-2)\vec{v} + (-2)\left<1,-2\right> \right] & = & \vec{0}\\ 5\vec{v} + \left[(-2)\vec{v} + \left<(-2)(1),(-2)(-2)\right> \right] & = & \vec{0}\\ \left[5\vec{v} + (-2)\vec{v}\right] + \left<-2,4\right> & = & \vec{0}\\ (5 + (-2)) \vec{v} + \left<-2,4\right> & = & \vec{0}\\ 3\vec{v} + \left<-2,4\right> & = & \vec{0}\\ \left(3\vec{v} + \left<-2,4\right>\right) + \left(- \left<-2,4\right>\right) & = & \vec{0} + \left(- \left<-2,4\right>\right)\\ 3\vec{v} + \left[\left<-2,4\right> + \left(- \left<-2,4\right>\right)\right] & = & \vec{0} + (-1) \left<-2,4\right>\\ 3\vec{v} + \vec{0} & = & \vec{0} + \left<(-1)(-2),(-1)(4)\right>\\ 3\vec{v} & = & \left<2,-4\right>\\ \frac{1}{3} \left(3\vec{v} \right) & = & \frac{1}{3} \left(\left<2,-4\right>\right)\\ \left[\left(\frac{1}{3}\right) (3) \right]\vec{v} & = & \left< \left(\frac{1}{3}\right)(2), \left(\frac{1}{3}\right)(-4)\right>\\ 1 \vec{v} & = & \left< \frac{2}{3}, -\frac{4}{3} \right> \\ \vec{v} & =& \left< \frac{2}{3}, -\frac{4}{3} \right> \\ \end{array} \]

A vector whose initial point is \((0,0)\) is said to be in \index{vector ! standard position} \index{standard position of a vector} \textbf{standard position}. If \(\vec{v} = \left<v_{1},v_{2}\right>\) is plotted in standard position, then its terminal point is necessarily \(\left(v_{1},v_{2}\right)\). (Once more, think about this before reading on.)

Plotting a vector in standard position enables us to more easily quantify the concepts of magnitude and direction of the vector. We can convert the point \(\left(v_{1},v_{2}\right)\) in rectangular coordinates to a pair \((r,\theta)\) in polar coordinates where \(r \geq 0\). The magnitude of \(\vec{v}\), which we said earlier was length of the directed line segment, is \(r = \sqrt{v_{1}^2 + v_{2}^2}\) and is denoted by \(\| \vec{v} \|\). From Section \ref{IntroPolar}, we know \(v_{1} = r \cos(\theta) = \| \vec{v} \| \cos(\theta)\) and \(v_{2} = r \sin(\theta) = \| \vec{v} \| \sin(\theta)\). From the definition of scalar multiplication and vector equality, we get

\[ \begin{array}{rcl} \vec{v} & = & \left< v_{1} , v_{2} \right> \\ & = & \left< \| \vec{v} \| \cos(\theta), \| \vec{v} \| \sin(\theta) \right> \\ & = & \| \vec{v} \| \left< \cos(\theta),\sin(\theta) \right> \\ \end{array} \]

This motivates the following definition.

Definition: polarformvector

Suppose \(\vec{v}\) is a vector with component form \(\vec{v} =\left< v_{1} , v_{2} \right>\). Let \((r,\theta)\) be a polar representation of the point with rectangular coordinates \(\left(v_{1} ,v_{2} \right)\) with \(r \geq 0\).

1. The \index{vector ! magnitude ! definition of} \textbf{magnitude} of \(\vec{v}\), denoted \(\| \vec{v} \|\), is given by \(\| \vec{v} \| = r = \sqrt{v_{1}^2 + v_{2}^2}\)
2. If \(\vec{v} \neq \vec{0}\), \index{vector ! direction ! definition of} the \textbf{(vector) direction} of \(\vec{v}\), denoted \(\hat{v}\) is given by \(\hat{v} = \left< \cos(\theta), \sin(\theta) \right>\)

Taken together, we get \(\vec{v} = \left< \| \vec{v} \| \cos(\theta), \| \vec{v} \| \sin(\theta) \right>\).

A few remarks are in order. First, we note that if \(\vec{v} \neq 0\) then even though there are infinitely many angles \(\theta\) which satisfy Definition \ref{polarformvector}, the stipulation \(r>0\) means that all of the angles are coterminal. Hence, if \(\theta\) and \(\theta'\) both satisfy the conditions of Definition \ref{polarformvector}, then \(\cos(\theta) = \cos(\theta')\) and \(\sin(\theta) = \sin(\theta')\), and as such, \( \left< \cos(\theta), \sin(\theta) \right> = \left< \cos(\theta'), \sin(\theta') \right>\) making \(\hat{v}\) is well-defined.\footnote{If this all looks familiar, it should. The interested reader is invited to compare Definition \ref{polarformvector} to Definition \ref{modulusargumentdefn} in Section \ref{PolarComplex}.} If \(\vec{v} = \vec{0}\), then \(\vec{v} = \left< 0, 0 \right>\), and we know from Section \ref{IntroPolar} that \((0,\theta)\) is a polar representation for the origin for any angle \(\theta\). For this reason, \(\hat{0}\) is undefined. The following theorem summarizes the important facts about the magnitude and direction of a vector.

Note: Properties of Magnitude and Direction

Suppose \(\vec{v}\) is a vector. \index{vector ! magnitude ! properties of} \index{vector ! direction ! properties of}

• \(\| \vec{v} \| \geq 0\) and \(\| \vec{v} \| = 0\) if and only if \(\vec{v} = \vec{0}\)
• For all scalars \(k\), \(\| k \, \vec{v} \| = |k| \| \vec{v} \|\).
• If \(\vec{v} \neq \vec{0}\) then \(\vec{v} = \| \vec{v} \| \hat{v}\), so that \(\hat{v} = \left(\frac{1}{\|\vec{v}\|}\right) \vec{v}\).

The proof of the first property in Theorem \ref{magdirprops} is a direct consequence of the definition of \(\| \vec{v} \|\). If \(\vec{v} = \left< v_{1} ,v_{2}\right>\), then \(\| \vec{v} \| = \sqrt{v_{1}^2 + v_{2}^2}\) which is by definition greater than or equal to \(0\). Moreover, \(\sqrt{v_{1}^2 + v_{2}^2} = 0\) if and only of \(v_{1}^2 + v_{2}^2 = 0\) if and only if \(v_{1} = v_{2} = 0\). Hence, \(\| \vec{v} \| = 0\) if and only if \(\vec{v} = \left<0,0\right> = \vec{0}\), as required.

The second property is a result of the definition of magnitude and scalar multiplication along with a propery of radicals. If \(\vec{v} = \left< v_{1} ,v_{2}\right>\) and \(k\) is a scalar then

\[ \begin{array}{rcll} \| k \, \vec{v} \| & = & \| k \left< v_{1}, v_{2}\right> \| & \\ & = & \| \left<kv_{1},kv_{2}\right>\| & \text{Definition of scalar multiplication} \\ & = & \sqrt{\left(kv_{1}\right)^2 + \left(kv_{2}\right)^2} & \text{Definition of magnitude} \\ & = & \sqrt{k^2v_{1}^2 + k^2v_{2}^2} & \\ & = & \sqrt{k^2(v_{1}^2+v_{2}^2)} & \\ & = & \sqrt{k^2} \sqrt{v_{1}^2+v_{2}^2} & \text{Product Rule for Radicals} \\ & = & |k| \sqrt{v_{1}^2+v_{2}^2} & \text{Since \(\sqrt{k^2} = |k|\)} \\ & = & |k| \| \vec{v} \| & \\ \end{array} \]

The equation \(\vec{v} = \| \vec{v} \| \hat{v}\) in Theorem \ref{magdirprops} is a consequence of the definitions of \(\| \vec{v} \|\) and \(\hat{v}\) and was worked out in the discussion just prior to Definition \ref{polarformvector} on page \pageref{polarformvectorsection}. In words, the equation \(\vec{v} = \| \vec{v} \| \hat{v}\) says that any given vector is the product of its magnitude and its direction -- an important concept to keep in mind when studying and using vectors. The equation \(\hat{v} = \left(\frac{1}{\|\vec{v}\|}\right) \vec{v}\) is a result of solving \(\vec{v} = \| \vec{v} \| \hat{v}\) for \(\hat{v}\) by multiplying\footnote{Of course, to go from \(\vec{v} = \| \vec{v} \| \hat{v}\) to \(\hat{v} = \left( \frac{1}{\|\vec{v}\|}\right) \vec{v}\), we are essentially 'dividing both sides' of the equation by the scalar \(\| \vec{v} \|\). The authors encourage the reader, however, to work out the details carefully to gain an appreciation of the properties in play.} both sides of the equation by \(\frac{1}{\| \vec{v} \|}\) and using the properties of Theorem \ref{vectorscalarmultprops}. We are overdue for an example.

Example \(\PageIndex{1}\):

\label{polarformvecex} \(~\)

1. \label{resolvecomponents} Find the component form of the vector \(\vec{v}\) with \(\|\vec{v}\| = 5\) so that when \(\vec{v}\) is plotted in standard position, it lies in Quadrant II and makes a \(60^{\circ}\) angle\footnote{Due to the utility of vectors in 'real-world' applications, we will usually use degree measure for the angle when giving the vector's direction. However, since Carl doesn't want you to forget about radians, he's made sure there are examples and exercises which use them.} with the negative \(x\)-axis.
2. For \(\vec{v} = \left<3, -3\sqrt{3}\right>\), find \(\|\vec{v}\|\) and \(\theta\), \(0 \leq \theta < 2\pi\) so that \(\vec{v} = \| \vec{v} \| \left<\cos(\theta), \sin(\theta)\right>\).
3. For the vectors \(\vec{v} = \left<3,4\right>\) and \(\vec{w} = \left<1, -2\right>\), find the following.
4. \(\hat{v}\)
5. \(\| \vec{v} \| -2 \|\vec{w}\|\)
6. \(\| \vec{v} -2\vec{w}\|\)
7. \(\| \hat{w} \|\) \label{preludetounitvector}

Solution

1. We are told that \(\| \vec{v} \| = 5\) and are given information about its direction, so we can use the formula \(\vec{v} = \| \vec{v} \| \hat{v}\) to get the component form of \(\vec{v}\). To determine \(\hat{v}\), we appeal to Definition \ref{polarformvector}. We are told that \(\vec{v}\) lies in Quadrant II and makes a \(60^{\circ}\) angle with the negative \(x\)-axis, so the polar form of the terminal point of \(\vec{v}\), when plotted in standard position is \(\left(5, 120^{\circ}\right)\). (See the diagram below.) Thus \(\hat{v} = \left< \cos\left(120^{\circ}\right), \sin\left(120^{\circ}\right) \right> = \left< - \frac{1}{2} , \frac{\sqrt{3}}{2} \right>\), so \(\vec{v} = \| \vec{v} \| \hat{v} = 5 \left< - \frac{1}{2} , \frac{\sqrt{3}}{2} \right> = \left< - \frac{5}{2} , \frac{5\sqrt{3}}{2} \right>\).
3. For \(\vec{v} = \left<3, -3\sqrt{3}\right>\), we get \(\| \vec{v} \| = \sqrt{(3)^2+(-3\sqrt{3})^2} = 6\). In light of Definition \ref{polarformvector}, we can find the \(\theta\) we're after by converting the point with rectangular coordinates \((3, -3\sqrt{3})\) to polar form \((r,\theta)\) where \(r = \|\vec{v}\| >0\). From Section \ref{IntroPolar}, we have \(\tan(\theta) = \frac{-3\sqrt{3}}{3} = -\sqrt{3}\). Since \((3, -3\sqrt{3})\) is a point in Quadrant IV, \(\theta\) is a Quadrant IV angle. Hence, we pick \(\theta = \frac{5\pi}{3}\). We may check our answer by verifying \(\vec{v} = \left<3, -3\sqrt{3}\right> = 6\left<\cos\left(\frac{5\pi}{3}\right), \sin\left(\frac{5\pi}{3}\right) \right>\).
4. \begin{enumerate} Since we are given the component form of \(\vec{v}\), we'll use the formula \(\hat{v} = \left(\frac{1}{\|\vec{v}\|}\right) \vec{v}\). For \(\vec{v} = \left<3,4\right>\), we have \(\| \vec{v} \| = \sqrt{3^2+4^2} = \sqrt{25} = 5\). Hence, \(\hat{v} = \frac{1}{5} \left< 3, 4 \right> = \left<\frac{3}{5}, \frac{4}{5}\right>\).
5. We know from our work above that \(\| \vec{v} \| = 5\), so to find \(\| \vec{v} \| -2 \|\vec{w}\|\), we need only find \(\| \vec{w} \|\). Since \(\vec{w} = \left<1, -2\right>\), we get \(\| \vec{w} \| = \sqrt{1^2+(-2)^2} = \sqrt{5}\). Hence, \(\| \vec{v} \| -2 \|\vec{w}\| = 5 - 2\sqrt{5}\).
6. In the expression \(\| \vec{v} -2\vec{w}\|\), notice that the arithmetic on the vectors comes first, then the magnitude. Hence, our first step is to find the component form of the vector \(\vec{v} - 2\vec{w}\). We get \(\vec{v} - 2 \vec{w} = \left<3,4\right> - 2\left<1,-2\right> = \left<1, 8\right>\). Hence, \(\| \vec{v} -2\vec{w}\| = \| \left<1, 8\right>\| = \sqrt{1^2+8^2} = \sqrt{65}\).
7. To find \(\| \hat{w} \|\), we first need \(\hat{w}\). Using the formula \(\hat{w} = \left(\frac{1}{\| \vec{w} \|}\right) \vec{w}\) along with \(\| \vec{w} \| = \sqrt{5}\), which we found the in the previous problem, we get \(\hat{w} = \frac{1}{\sqrt{5}} \left<1, -2\right> = \left< \frac{1}{\sqrt{5}}, -\frac{2}{\sqrt{5}}\right> = \left< \frac{\sqrt{5}}{5}, -\frac{2\sqrt{5}}{5}\right>\). Hence, \(\| \hat{w} \| = \sqrt{\left( \frac{\sqrt{5}}{5}\right)^2 + \left(-\frac{2\sqrt{5}}{5}\right)^2} = \sqrt{\frac{5}{25} + \frac{20}{25}} = \sqrt{1} = 1\). \qed

The process exemplified by number \ref{resolvecomponents} in Example \ref{polarformvecex} above by which we take information about the magnitude and direction of a vector and find the component form of a vector is called \textbf{resolving} a vector into its components. As an application of this process, we revisit Example \ref{vectorbearingex} below.

Example \(\PageIndex{1}\): vectorbearingexresolve

A plane leaves an airport with an airspeed of 175 miles per hour with bearing N\)40^{\circ}\)E. A 35 mile per hour wind is blowing at a bearing of S\)60^{\circ}\)E. Find the true speed of the plane, rounded to the nearest mile per hour, and the true bearing of the plane, rounded to the nearest degree.

Solution

We proceed as we did in Example \ref{vectorbearingex} and let \(\vec{v}\) denote the plane's velocity and \(\vec{w}\) denote the wind's velocity, and set about determining \(\vec{v} + \vec{w}\). If we regard the airport as being at the origin, the positive \(y\)-axis acting as due north and the positive \(x\)-axis acting as due east, we see that the vectors \(\vec{v}\) and \(\vec{w}\) are in standard position and their directions correspond to the angles \(50^{\circ}\) and \(-30^{\circ}\), respectively. Hence, the component form of \(\vec{v} = 175\left<\cos(50^{\circ}), \sin(50^{\circ})\right> = \left<175\cos(50^{\circ}), 175\sin(50^{\circ})\right>\) and the component form of \(\vec{w} = \left<35\cos(-30^{\circ}), 35\sin(-30^{\circ}) \right>\). Since we have no convenient way to express the exact values of cosine and sine of \(50^{\circ}\), we leave both vectors in terms of cosines and sines.\footnote{Keeping things 'calculator' friendly, for once!} Adding corresponding components, we find the resultant vector \(\vec{v} + \vec{w} = \left< 175\cos(50^{\circ}) + 35\cos(-30^{\circ}), 175\sin(50^{\circ}) + 35\sin(-30^{\circ})\right>\). To find the 'true' speed of the plane, we compute the magnitude of this resultant vector

\[ \| \vec{v} + \vec{w}\| = \sqrt{ (175\cos(50^{\circ}) + 35\cos(-30^{\circ}))^2 + (175\sin(50^{\circ}) + 35\sin(-30^{\circ}))^2} \approx 184\]

Hence, the 'true' speed of the plane is approximately 184 miles per hour. To find the true bearing, we need to find the angle \(\theta\) which corresponds to the polar form \((r,\theta)\), \(r>0\), of the point \((x,y) = (175\cos(50^{\circ}) + 35\cos(-30^{\circ}), 175\sin(50^{\circ}) + 35\sin(-30^{\circ}))\). Since both of these coordinates are positive,\footnote{Yes, a calculator approximation is the quickest way to see this, but you can also use good old-fashioned inequalities and the fact that \(45^{\circ} \leq 50^{\circ} \leq 60^{\circ}\).} we know \(\theta\) is a Quadrant I angle, as depicted below. Furthermore, \[\tan(\theta) = \frac{y}{x} = \frac{175\sin(50^{\circ}) + 35\sin(-30^{\circ})}{75\cos(50^{\circ}) + 35\cos(-30^{\circ})},\]

so using the arctangent function, we get \(\theta \approx 39^{\circ}\). Since, for the purposes of bearing, we need the angle between \(\vec{v} + \vec{w}\) and the positive \(y\)-axis, we take the complement of \(\theta\) and find the 'true' bearing of the plane to be approximately N\)51^{\circ}\)E.

In part \ref{preludetounitvector} of Example \ref{polarformvecex}, we saw that \(\| \hat{w} \| = 1\). Vectors with length 1 have a special name and are important in our further study of vectors.

Definition: Unit Vectors:

Let \(\vec{v}\) be a vector. If \(\| \vec{v} \| = 1\), we say that \(\vec{v}\) is a \textbf{unit vector}.

If \(\vec{v}\) is a unit vector, then necessarily, \(\vec{v} = \| \vec{v} \| \hat{v} = 1 \cdot \hat{v} = \hat{v}\). Conversely, we leave it as an exercise\footnote{One proof uses the properties of scalar multiplication and magnitude. If \(\vec{v} \neq \vec{0}\), consider \(\| \hat{v} \| = \left| \left| \left( \frac{1}{\|\vec{v} \|} \right) \vec{v} \right| \right|\). Use the fact that \(\| \vec{v} \| \geq 0\) is a scalar and consider factoring.} to show that \(\hat{v} = \left( \frac{1}{\| \vec{v} \|} \right) \vec{v}\) is a unit vector for any nonzero vector \(\vec{v}\). In practice, if \(\vec{v}\) is a unit vector we write it as \(\hat{v}\) as opposed to \(\vec{v}\) because we have reserved the '\)\hat{~}\)' notation for unit vectors. The process of multiplying a nonzero vector by the factor \(\frac{1}{\| \vec{v} \|}\) to produce a unit vector is called \index{vector ! normalization} '\textbf{normalizing} the vector,' and the resulting vector \(\hat{v}\) is called the 'unit vector in the \textbf{direction} of \(\vec{v}\)'. The terminal points of unit vectors, when plotted in standard position, lie on the Unit Circle. (You should take the time to show this.) As a result, we visualize normalizing a nonzero vector \(\vec{v}\) as shrinking\footnote{\ldots if \(\| \vec{v} \| > 1\) \ldots} its terminal point, when plotted in standard position, back to the Unit Circle.

Of all of the unit vectors, two deserve special mention.

Definition: The Principal Unit Vectors:

• The vector \(\hat{\imath}\) is defined by \(\hat{\imath} = \left<1,0\right>\)
• The vector \(\hat{\jmath}\) is defined by \(\hat{\imath} = \left<0,1\right>\)

We can think of the vector \(\hat{\imath}\) as representing the positive \(x\)-direction, while \(\hat{\jmath}\) represents the positive \(y\)-direction. We have the following 'decomposition' theorem.\footnote{We will see a generalization of Theorem \ref{ijdecomp} in Section \ref{DotProduct}. Stay tuned!}

Note" Principal Vector Decomposition Theorem:

Let \(\vec{v}\) be a vector with component form \(\vec{v} = \left< v_{1} ,v_{2}\right>\). Then \(\vec{v} = v_{1} \hat{\imath} + v_{2} \hat{\jmath}\). \index{vector ! Decomposition Theorem ! Principal}

The proof of Theorem \ref{ijdecomp} is straightforward. Since \(\hat{\imath} = \left<1,0\right>\) and \(\hat{\jmath} = \left< 0,1\right>\), we have from the definition of scalar multiplication and vector addition that

\[v_{1} \hat{\imath} + v_{2} \hat{\jmath} = v_{1}\left<1,0\right> + v_{2}\left<0,1\right> = \left<v_{1},0\right> + \left<0,v_{2}\right> = \left<v_{1},v_{2}\right> = \vec{v}\]

Geometrically, the situation looks like this:

We conclude this section with a classic example which demonstrates how vectors are used to model forces. A 'force' is defined as a 'push' or a 'pull.' The intensity of the push or pull is the magnitude of the force, and is measured in Netwons (N) in the SI system or pounds (lbs.)\)\!\) in the English system.\footnote{See also Section \ref{harmomicmotion}.} The following example uses all of the concepts in this section, and should be studied in great detail.

Example \(\PageIndex{1}\): forc

A \(50\) pound speaker is suspended from the ceiling by two support braces. If one of them makes a \(60^{\circ}\) angle with the ceiling and the other makes a \(30^{\circ}\) angle with the ceiling, what are the tensions on each of the supports?

Solution

We represent the problem schematically below and then provide the corresponding vector diagram.

We have three forces acting on the speaker: the weight of the speaker, which we'll call \(\vec{w}\), pulling the speaker directly downward, and the forces on the support rods, which we'll call \(\vec{T_{\text{\tiny \(1\)}}}\) and \(\vec{T_{\text{\tiny \(2\)}}}\) (for 'tensions') acting upward at angles \(60^{\circ}\) and \(30^{\circ}\), respectively. We are looking for the tensions on the support, which are the magnitudes \(\| \vec{T_{\text{\tiny \(1\)}}} \|\) and \(\| \vec{T_{\text{\tiny \(2\)}}} \|\). In order for the speaker to remain stationary,\footnote{This is the criteria for 'static equilbrium'.} we require \(\vec{w} + \vec{T_{\text{\tiny \(1\)}}} + \vec{T_{\text{\tiny \(2\)}}} = \vec{0}\). Viewing the common initial point of these vectors as the origin and the dashed line as the \(x\)-axis, we use Theorem \ref{magdirprops} to get component representations for the three vectors involved. We can model the weight of the speaker as a vector pointing directly downwards with a magnitude of 50 pounds. That is, \(\| \vec{w} \| = 50\) and \(\hat{w} = -\hat{\jmath} = \left<0,-1\right>\). Hence, \(\vec{w} = 50\left<0,-1\right> = \left<0,-50\right>\). For the force in the first support, we get

\[ \begin{array}{rcl} \vec{T_{\text{\tiny \(1\)}}} & = & \| \vec{T_{\text{\tiny \(1\)}}} \|\left<\cos\left(60^{\circ}\right), \sin\left(60^{\circ}\right)\right> \\ & = & \left< \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|}{2} , \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|\sqrt{3}}{2}\right> \\ \end{array} \]

For the second support, we note that the angle \(30^{\circ}\) is measured from the negative \(x\)-axis, so the angle needed to write \(\vec{T_{\text{\tiny \(2\)}}}\) in component form is \(150^{\circ}\). Hence

\[ \begin{array}{rcl} \vec{T_{\text{\tiny \(2\)}}} & = & \| \vec{T_{\text{\tiny \(2\)}}} \|\left<\cos\left(150^{\circ}\right), \sin\left(150^{\circ}\right)\right>\\ & = & \left<-\dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|\sqrt{3}}{2}, \dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|}{2} \right> \\ \end{array} \]

The requirement \(\vec{w} + \vec{T_{\text{\tiny \(1\)}}} + \vec{T_{\text{\tiny \(2\)}}} = \vec{0}\) gives us this vector equation.

\[ \begin{array}{rcl} \vec{w} + \vec{T_{\text{\tiny \(1\)}}} + \vec{T_{\text{\tiny \(2\)}}} & = & \vec{0} \\ \left<0,-50\right> + \left< \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|}{2} , \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|\sqrt{3}}{2}\right> + \left<-\dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|\sqrt{3}}{2}, \dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|}{2} \right> & = & \left<0, 0\right> \\ \left< \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|}{2} -\dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|\sqrt{3}}{2}, \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|\sqrt{3}}{2} + \dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|}{2} -50 \right> & = & \left<0, 0\right> \\ \end{array} \]

Equating the corresponding components of the vectors on each side, we get a system of linear equations in the variables \(\| \vec{T_{\text{\tiny \(1\)}}} \| \( and \(\| \vec{T_{\text{\tiny \(2\)}}} \|\).

\[\left\{ \begin{array}{lrcl} (E1) & \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|}{2} -\dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|\sqrt{3}}{2} & = & 0 \\ (E2) & \dfrac{\| \vec{T_{\text{\tiny \(1\)}}} \|\sqrt{3}}{2} + \dfrac{\| \vec{T_{\text{\tiny \(2\)}}} \|}{2} -50 & = & 0 \\ \end{array} \right.\]

From \((E1)\), we get \(\| \vec{T_{\text{\tiny \(1\)}}} \| = \| \vec{T_{\text{\tiny \(2\)}}} \| \sqrt{3}\). Substituting that into \((E2)\) gives \(\frac{(\| \vec{T_{\text{\tiny \(2\)}}} \| \sqrt{3})\sqrt{3}}{2} + \frac{\| \vec{T_{\text{\tiny \(2\)}}} \|}{2} - 50 = 0\) which yields \(2\| \vec{T_{\text{\tiny \(2\)}}} \| - 50 =0\). Hence, \(\| \vec{T_{\text{\tiny \(2\)}}} \| = 25\) pounds and \(\| \vec{T_{\text{\tiny \(1\)}}} \| = \| \vec{T_{\text{\tiny \(2\)}}} \| \sqrt{3} = 25 \sqrt{3}\) pounds. \qed