1. Crowell and Slesnick's Calculus with Analytic Geometry
  2. Geometry in the Plane
  3. Vectors in the Plane
Revision as of 00:35, 21 November 2024 by Admin
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Vectors in the Plane

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

A vector in the plane is an ordered pair [math](P, Q)[/math] of points in the plane. The point [math]P[/math] is called the initial point of the vector and [math]Q[/math] the terminal point. Geometrically, the vector [math](P, Q)[/math] will be represented as a directed line segment, or arrow, from [math]P[/math] to [math]Q[/math], as illustrated in Figure 10. We shall use boldface lower-case letters to denote vectors. For example, if [math]\mbox'''{v'''}[/math] is the vector with initial point [math]P[/math] and terminal point [math]Q[/math], then [math]\mbox'''{v'''=== = (P, Q)[/math].

File:Guide c5467 scanfig10 10.png

Having identified the plane with the set [math]R^2[/math] of all ordered pairs of real numbers, we see that a vector is determined by four real numbers: two coordinates of its initial point, and two of its terminal point. Let [math]\mbox'''{v'''}[/math] be a vector with initial point [math]P = (a, b)[/math] and terminal point [math]Q = (c, d)[/math]. Then the two numbers [math]v_1[/math] and [math]v_2[/math] given by the equations

[[math]] \begin{eqnarray*} v_1 &=& c - a,\\ v_2 &=& d - b, (1) \label{eq10.3.1} \end{eqnarray*} [[/math]]


are defined to be first and second coordinates, respectively, of the vector [math]\mbox'''{v'''}[/math] in [math]R^2[/math]. Thus we have defined coordinates of a vector in [math]R^2[/math] as well as coordinates of a point in [math]R^2[/math]. The definitions are not the same, although the concepts are certainly related. If a vector [math]\mbox'''{v'''}[/math] has initial point [math]P = (a, b)[/math] and coordinates [math]v_1[/math] and [math]v_2[/math], then equations (1) tell us that the terminal point [math]Q = (c, d)[/math] is given by

[[math]] Q = (a + v_1, b + v_2). [[/math]]

It follows that a vector is completely determined by its initial point and its coordinates. Hence, another notation for a vector, which we shall use, is \setcounter{equation}{1}

[[math]] \begin{equation} \mbox'''{v'''} = (v_1, v_2)_P . \label{eq10.3.2} \end{equation} [[/math]]

[Although it would be consistent with this notation, we shall not write [math](v_1, v_2)_{(a,b)}[/math] for the vector with initial point [math](a, b)[/math] and coordinates [math]v_1[/math] and [math]v_2[/math].] The length of a vector [math]\mbox'''{v'''} = (P, Q)[/math] in [math]R^2[/math] is denoted by [math]|\mbox'''{v'''}|[/math] and defined by

[[math]] |\mbox'''{v'''}| = distance(P, Q). [[/math]]

If [math]P = (a, b)[/math] and [math]Q = (c, d)[/math], then the formula for the distance between two points implies that

[[math]] |\mbox'''{v'''}| = \sqrt{(c - a)^2 + (d - b)^2} . [[/math]]

From equations (1) it follows that the coordinates of the vector [math]\mbox'''{v'''}[/math] are the two numbers [math]v_1 = c - a[/math] and [math]v_2 = d - b[/math]. Hence

Theorem

The length of any vector [math]\mbox'''{v'''} = (v_1, v_2)_P[/math] is given by

[[math]] |\mbox'''{v'''}|= \sqrt {v_1^2 + v_2^2} . [[/math]]

Thus the length of a vector depends only on its coordinates.

Example

Find the terminal point of each of the following vectors. Draw each one as an arrow in the [math]xy[/math]-plane, and compute its length.

  • [math]\textbf{v}\; = (1, 2)_P, \;\;\mathrm{where}\; P = (1, 1),[/math]
  • [math]\textbf{u}\; = (4, -1)_P, \;\;\mathrm{where}\; P = (1, 1),[/math]
  • [math]\textbf{w}\; = (-2, 5)_Q,\;\;\mathrm{where}\; Q = (0, -1),[/math]
  • [math]\textbf{x}\; = (3, -4)_O, \;\;\mathrm{where}\; O = (0, 0).[/math]

We have seen that, if [math]P = (a, b)[/math], then the terminal point of the vector [math](v_1, v_2)_P[/math] is the ordered pair [math](a + v_1, b + v_2)[/math]. It follows that

[[math]] \begin{array}{l} \mathrm{terminal~point~of~\bf{v}} = (1 + 1, 1 + 2) = (2, 3), \\ \mathrm{terminal~point~of~\bf{u}} = (1 + 4, 1 + (-1)) = (5, 0), \\ \mathrm{terminal~point~of~\bf{w}} = (0 + (-2), -1 + 5 ) = (-2, 4),\\ \mathrm{terminal~point~of~\bf{x}} = (0 + 3, 0 + (-4)) = (3, -4). \end{array} [[/math]]

File:Guide c5467 scanfig10 11.png

The vectors are drawn in Figure 11. Their respective lengths, computed from the formula in (3.1), are


[[math]] \begin{eqnarray*} |\mbox'''{v'''}| &=& \sqrt{1^2 + 2^2} = \sqrt{5}, \\ |\mbox'''{u'''}| &=& \sqrt{4^2 + (-1)^2} = \sqrt{17}, \\ |\mbox'''{w'''}| &=& \sqrt{(-2)^2 + 5^2} = \sqrt{29},\\ |\mbox'''{x'''}| &=& \sqrt{3^2 + (-4)^2} = \sqrt{25} = 5. \end{eqnarray*} [[/math]]


We shall denote the set of all vectors in [math]R^2[/math] by [math]\mathcal{V}[/math]. For every point [math]P[/math] in [math]R^2[/math], the subset of [math]\mathcal{V}[/math] consisting of all vectors with initial point [math]P[/math] will be denoted by [math]\mathcal{V}_P[/math]. We shall now define, in each set [math]\mathcal{V}_P[/math], an operation of addition of vectors and an operation of multiplication of vectors by real numbers. Addition in [math]\mathcal{V}_P[/math] is defined as follows: If [math]\mbox'''{u'''} = (u_1, u_2)_P[/math] and [math]\mbox'''{v'''} = (v_1, v_2)_P[/math] are any two vectors in [math]\mathcal{V}_P[/math], then their sum [math]\mbox'''{u'''} + \mbox'''{v'''}[/math] is the vector defined by

[[math]] \begin{equation} \mbox'''{u''' + \bf{v}} = (u_1 +v_1,u_2 + v_2)_P. \label{eq10.3.3} \end{equation} [[/math]]

Note that the sum of two vectors in [math]\mathcal{V}_P[/math] is again a vector in [math]\mathcal{V}_P[/math]. Furthermore, if [math]\mbox'''{u'''}[/math] is in [math]\mathcal{V}_P[/math] and [math]\mbox'''{v'''}[/math] is in [math]\mathcal{V}_Q[/math], then their sum is not defined unless [math]P = Q[/math]. That is, the sum of two vectors is defined if and only if they have the same initial point. For every vector [math]\mbox'''{v'''} = (v_1, v_2)_P[/math], we denote the vector [math](-v_1, -v_2)_P[/math] by [math]-\mbox'''{v'''}[/math]. In this way, subtraction of vectors in [math]\mathcal{V}_P[/math] is defined by the equation

[[math]] \mbox'''{u'''} - \mbox'''{v'''} = \mbox'''{u'''} + (-\mbox'''{v'''}), [[/math]]

which implies the following companion formula to (3):

[[math]] \begin{equation} \mbox'''{u'''} - \mbox'''{v'''} = (u_1 - v_1, u_2 - v_2)_P. \label{eq10.3.4} \end{equation} [[/math]]

The unique vector in [math]\mathcal{V}_P[/math] with both coordinates equal to zero is called the zero vector and will be denoted by [math]\mbox'''{0'''}[/math]. Thus

[[math]] \mbox'''{0'''} = (0, 0)_P = (P, P). [[/math]]

Obviously, the equations

[[math]] \begin{eqnarray*} \mbox'''{v'''} + \mbox'''{0'''} &=& \mbox'''{v'''}, \\ \mbox'''{v'''} - \mbox'''{v'''} &=& \mbox'''{0'''} \end{eqnarray*} [[/math]]


are true for every vector [math]\mbox'''{v'''}[/math] in [math]\mathcal{V}_P[/math]. Geometrically the zero vector in [math]\mathcal{V}_P[/math] is represented simply by the point [math]P[/math]. Of course, there are as many different zero vectors as there are points in the plane, and one cannot tell from the notation [math]\mbox'''{0'''}[/math] to which set [math]\mathcal{V}_P[/math] a given zero vector belongs. It is obvious that every zero vector has length zero. Conversely, the length of a nonzero vector must be positive, since at least one of its coordinates is not zero. Hence

Theorem

A vector [math]\mbox'''{v'''}[/math] is a zero vector if and only if [math]|\mbox'''{v'''}| = 0[/math].

Geometrically, the sum [math]\mbox'''{u'''} + \mbox'''{v'''}[/math] of two nonzero vectors [math]\mbox'''{u'''}[/math] and [math]\mbox'''{v'''}[/math] in [math]\mathcal{V}_P[/math] is the vector in [math]\mathcal{V}_P[/math] which is a diagonal of the parallelogram which has [math]\mbox'''{u'''}[/math] and [math]\mbox'''{v'''}[/math] as sides. This is the famous Parallelogram Law and is illustrated in Figure 12(a). It can be verified in a straightforward way by computing the slopes of the various line segments, and we omit the details. Similarly, the vector [math]-\mbox'''{v'''}[/math] is represented geometrically as a directed line segment Iying in the same straight line as [math]\mbox'''{v'''}[/math], but in the opposite direction, as shown in Figure 12(b). Moreover, the vectors [math]\mbox'''{v'''}[/math] and [math]-\mbox'''{v'''}[/math] have the same length, since

[[math]] |\mbox'''{v'''}| = \sqrt{v_1^2+v_2^2} = \sqrt{(-v_1)^2 + (-v_2)^2} = |- \mbox'''{v'''}|. [[/math]]

File:Guide c5467 scanfig10 12.png

The second algebraic operation in [math]\mathcal{V}_P[/math] is defined as follows: For every real number [math]a[/math] and every vector [math]\mbox'''{v'''} = (v_1, v_2)_P[/math] in [math]\mathcal{V}_P[/math], we define a vector [math]a\mbox'''{v'''}[/math], called the product of [math]a[/math] and [math]\mbox'''{v'''}[/math], by the equation

[[math]] \begin{equation} a\mbox'''{v'''} = (av_1, av_2)_P . \label{eq10.3.5} \end{equation} [[/math]]

In traditional vector terminology, the real number [math]a[/math] is called a scalar. Note that we have not defined a product of two vectors. If we compute the length of the vector [math]a\mbox'''{v'''}[/math], we find that

[[math]] \begin{eqnarray*} |a\mbox'''{v'''}| &=& \sqrt{(av_1)^2 + (av_2)^2} = \sqrt{a^2(v_1^2 + v_2^2)}\\ &=& |a| \sqrt{v_1^2 + v_2^2} = |a| |\mbox'''{v'''}|, \end{eqnarray*} [[/math]]


a result which we summarize in the statement

Theorem

[math]|a\mbox'''{v'''}| = |a| \; |\mbox'''{v'''}|[/math], for every real num ber [math]a[/math] and every vector [math]\mbox'''{v'''}[/math].

If [math]\mbox'''{v'''}[/math] is an arbitrary nonzero vector in [math]\mathcal{V}_P[/math] and if [math]a \neq 0[/math], then the slope of the line segment joining [math]P[/math] to the terminal point of [math]\mbox'''{v'''}[/math] is the same as that joining [math]P[/math] to the terminal point of [math]a\mbox'''{v'''}[/math]. Hence [math]P[/math] and the terminal points of [math]\mbox'''{v'''}[/math] and [math]a\mbox'''{v'''}[/math] lie on the same straight line. In addition, it is easy to check that the arrows representing [math]\mbox'''{v'''}[/math] and [math]a\mbox'''{v'''}[/math] are in the same or opposite direction according as a is positive or negative.

Example

Let [math]P = (2, -1)[/math] and consider the two vectors [math]\mbox'''{u'''} = (1, 5)_P[/math] and [math]\mbox'''{v'''} = (2, -1)_P[/math]. Compute and draw each of the following vectors in the same plane with [math]\mbox'''{u'''}[/math] and [math]\mbox'''{v'''}[/math].

  • [math]\mbox'''{u'''} + \mbox'''{v'''}, [/math]
  • [math]-2\mbox'''{v'''},[/math]
  • [math]\mbox'''{u'''} - 2\mbox'''{v'''},[/math]
  • [math]\frac{1}{4}(\mbox'''{u'''} + \mbox'''{v'''}).[/math]

The computations are very simple:

[[math]] \begin{eqnarray*} \mbox'''{u''' + \bf{v}} &=& (1, 5)_P + (2, -1)_P = (3, 4)_P, \\ -2\mbox'''{v'''} &=& - 2(2, -1)_P = (-4, 2)_P, \\ \mbox'''{u'''} - 2\mbox'''{v'''} &=& (1, 5)_P - 2(2, -1)_P \\ &=& (1, 5)_P + (-4, 2)_P = (-3, 7)_P, \\ \frac{1}{4}(\mbox'''{u'''} + \mbox'''{v'''}) &=& \frac{1}{4}(3, 4)_P = (\frac{3}{4}, 1)_P. \end{eqnarray*} [[/math]]


File:Guide c5467 scanfig10 13.png

The directed line segments representing these vectors, as well as [math]\mbox'''{u'''}[/math] and [math]\mbox'''{v'''}[/math], are shown in Figure 13. The easiest way to draw them is to make a list of their terminal points. We recall that a vector with coordinates [math]v_1[/math] and [math]v_2[/math] and initial point [math]P = (a, b)[/math] has a terminal point equal to [math](a + v_1, b + v_2)[/math]. Hence

[[math]] \begin{array}{ll} \mathrm{terminal~point~of~\bf{u}} &= (2 + 1, -1 + 5) = (3, 4), \\ \mathrm{terminal~point~of~\bf{v}} &= (2 + 2, -1 - 1) = (4, -2), \\ \mathrm{terminal~point~of~\bf{u}} + \mathrm'''{v'''} &= (2 + 3, -1 + 4) = (5, 3), \\ \mathrm{terminal~point~of~ -2\bf{v}} &= (2 - 4, -1 + 2) = (-2, 1), \\ \mathrm{terminal~point~of~\bf{u}} - 2\mathrm'''{v'''} &= (2 - 3, -1 + 7) = (-1, 6), \\ \mathrm{terminal~point~of~} \frac{1}{4}(\mathrm'''{u''' + \bf{v}}) &= (2 + \frac{3}{4}, -1 + 1) = (2\frac{3}{4}, 0). \end{array} [[/math]]

The next theorem summarizes the algebraic facts about the set [math]\mathcal{V}_P[/math] of all vectors in the plane with initial point [math]P[/math].

Theorem

For each point [math]P[/math] in [math]R^2[/math], vector addition and scalar multiplication in [math]\mathcal{V}_P[/math] have the following properties:

  • ASSOCIATIVITY
    [[math]] \mbox'''{u'''} + (\mbox'''{v'''} + \mbox'''{w'''}) = (\mbox'''{u'''} + \mbox'''{v'''}) + \mbox'''{w'''}\;\;\; \mbox{and}\;\;\; (ab)\mbox'''{v'''} = a(b\mbox'''{v'''}). [[/math]]
  • COMMUTATIVITY
    [[math]] \mbox'''{u'''} + \mbox'''{v'''} = \mbox'''{v'''} + \mbox'''{u'''}. [[/math]]
  • EXISTENCE OF ADDITIVE IDENTITY There exists a vector [math]\mbox'''{0'''}[/math] in [math]\mathcal{V}_P[/math] with the property that [math]\mbox'''{v'''} + \mbox'''{0'''} = \mbox'''{v'''}[/math], for every vector [math]\mbox'''{v'''}[/math] in [math]\mathcal{V}_P[/math].
  • EXISTENCE OF SUBTRACTION For every vector [math]\mbox'''{v'''}[/math] in [math]\mathcal{V}_P[/math], there exists a vector [math]-\mbox'''{v'''}[/math] in [math]\mathcal{V}_P[/math] such that [math]\mbox'''{v'''} + (-\mbox'''{v'''}) = \mbox'''{0'''}[/math].
  • DISTRIBUTIVITY
    [[math]] a(\mbox'''{u'''} + \mbox'''{v'''}) = a\mbox'''{u'''} + a\mbox'''{v'''} \;\;\;\mbox{and}\;\;\; (a + b)\mbox'''{v'''} = a\mbox'''{v'''} + b\mbox'''{v'''}. [[/math]]
  • EXISTENCE OF SCALAR IDENTITY
    [[math]] 1\mbox'''{v'''} = \mbox'''{v'''}. [[/math]]


The proof of this theorem follows easily from the definitions of vector addition and scalar multiplication, from the definitions of [math]\mbox'''{0'''}[/math] and [math]-\mbox'''{v'''}[/math], and from the corresponding properties of addition and multiplication of real numbers given on page 2. The importance of the theorem is that every algebraic fact about vectors can be derived from the six properties listed. In fact, in abstract algebra, these properties are taken as a set of axioms: An arbitrary set [math]\mbox'''{V'''}[/math] is called a vector space and its elements are called vectors if, for every pair of elements [math]\mbox'''{u'''}[/math] and [math]\mbox'''{v'''}[/math] in [math]\mbox'''{V'''}[/math] and for every real number a, an element [math]\mbox'''{u'''} + \mbox'''{v'''}[/math] and an element [math]a\mbox'''{v'''}[/math] in [math]\mbox'''{V'''}[/math] are defined so that conditions (i) through (vi) are satisfied. This definition has proved to be of enormous value in mathematics and examples of vector spaces occur over and over again. In particular, Theorem (3.4) asserts that, for each point [math]P[/math] in [math]R^2[/math], the set [math]\mathcal{V}_P[/math] is a vector space.

Example

Let [math]\mbox'''{v'''}[/math] be a nonzero vector in [math]R^2[/math]. Then the set, which we shall denote by [math]R\mbox'''{v'''}[/math], consisting of all products [math]t\mbox'''{v'''}[/math], where [math]t[/math] is a real number, is an example of a vector space. For, if [math]P[/math] is the initial point of [math]\mbox'''{v'''}[/math], then [math]\mbox'''{v'''}[/math] lies in [math]\mathcal{V}_P[/math], and it follows that every product [math]t\mbox'''{v'''}[/math] also lies in [math]\mathcal{V}_P[/math]. Hence the sum of any two vectors in [math]R\bf{v}[/math] is defined, and, since

[[math]] t\mbox'''{v'''} + s\mbox'''{v'''} = (t + s)\mbox'''{v'''}, [[/math]]

the sum is again in [math]R\mbox'''{v'''}[/math]. Similarly, if [math]t\mbox'''{v'''}[/math] is in [math]R\mbox'''{v'''}[/math] and if [math]s[/math] is any real number, then

[[math]] s(t \mbox'''{v'''})= (st)\mbox'''{v'''}, [[/math]]

and [math](st)\mbox'''{v'''}[/math] is by definition in [math]R\mbox'''{v'''}[/math]. Thus vector addition and scalar multiplication are defined in the set [math]R\mbox'''{v'''}[/math]. Conditions (i), (ii), (v), and (vi) are automatically satisfied because they hold in the larger set [math]\mathcal{V}_P[/math]. Finally, conditions (iii) and (iv) are also satisfied, since

[[math]] \mbox'''{0'''} = 0\mbox'''{v'''} \;\;\;\mbox{and}\;\;\; - \mbox'''{v'''} = (-1)\mbox'''{v'''}. [[/math]]

This completes the proof that [math]R\mbox'''{v'''}[/math] is a vector space. The terminal points of all the vectors in [math]R\mbox'''{v'''}[/math] form the straight line containing the initial and terminal points of the vector [math]\mbox'''{v'''}[/math].

General references

Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.