Linear Algebra/Length and Angle Measures

Linear Algebra
 ← Vectors in Space Length and Angle Measures Reduced Echelon Form → 

We've translated the first section's results about solution sets into geometric terms for insight into how those sets look. But we must watch out not to be mislead by our own terms; labeling subsets of of the forms and as "lines" and "planes" doesn't make them act like the lines and planes of our prior experience. Rather, we must ensure that the names suit the sets. While we can't prove that the sets satisfy our intuition— we can't prove anything about intuition— in this subsection we'll observe that a result familiar from and , when generalized to arbitrary , supports the idea that a line is straight and a plane is flat. Specifically, we'll see how to do Euclidean geometry in a "plane" by giving a definition of the angle between two vectors in the plane that they generate.

Definition 2.1

The length of a vector is this.

Remark 2.2

This is a natural generalization of the Pythagorean Theorem. A classic discussion is in (Pólya 1954).

We can use that definition to derive a formula for the angle between two vectors. For a model of what to do, consider two vectors in .

Put them in canonical position and, in the plane that they determine, consider the triangle formed by , , and .

Apply the Law of Cosines, , where is the angle between the vectors. Expand both sides

and simplify.

In higher dimensions no picture suffices but we can make the same argument analytically. First, the form of the numerator is clear— it comes from the middle terms of the squares , , etc.

Definition 2.3

The dot product (or inner product, or scalar product) of two -component real vectors is the linear combination of their components.

Note that the dot product of two vectors is a real number, not a vector, and that the dot product of a vector from with a vector from is defined only when equals . Note also this relationship between dot product and length: dotting a vector with itself gives its length squared .

Remark 2.4

The wording in that definition allows one or both of the two to be a row vector instead of a column vector. Some books require that the first vector be a row vector and that the second vector be a column vector. We shall not be that strict.

Still reasoning with letters, but guided by the pictures, we use the next theorem to argue that the triangle formed by , , and in lies in the planar subset of generated by and .

Theorem 2.5 (Triangle Inequality)

For any ,

with equality if and only if one of the vectors is a nonnegative scalar multiple of the other one.

This inequality is the source of the familiar saying, "The shortest distance between two points is in a straight line."

Proof

(We'll use some algebraic properties of dot product that we have not yet checked, for instance that and that . See Problem 8.) The desired inequality holds if and only if its square holds.

That, in turn, holds if and only if the relationship obtained by multiplying both sides by the nonnegative numbers and

and rewriting

is true. But factoring

shows that this certainly is true since it only says that the square of the length of the vector is not negative.

As for equality, it holds when, and only when, is . The check that if and only if one vector is a nonnegative real scalar multiple of the other is easy.

This result supports the intuition that even in higher-dimensional spaces, lines are straight and planes are flat. For any two points in a linear surface, the line segment connecting them is contained in that surface (this is easily checked from the definition). But if the surface has a bend then that would allow for a shortcut (shown here grayed, while the segment from to that is contained in the surface is solid).

Because the Triangle Inequality says that in any , the shortest cut between two endpoints is simply the line segment connecting them, linear surfaces have no such bends.

Back to the definition of angle measure. The heart of the Triangle Inequality's proof is the "" line. At first glance, a reader might wonder if some pairs of vectors satisfy the inequality in this way: while is a large number, with absolute value bigger than the right-hand side, it is a negative large number. The next result says that no such pair of vectors exists.

Corollary 2.6 (Cauchy-Schwarz Inequality)

For any ,

with equality if and only if one vector is a scalar multiple of the other.

Proof

The Triangle Inequality's proof shows that so if is positive or zero then we are done. If is negative then this holds.

The equality condition is Problem 9.

The Cauchy-Schwarz inequality assures us that the next definition makes sense because the fraction has absolute value less than or equal to one.

Definition 2.7

The angle between two nonzero vectors is

(the angle between the zero vector and any other vector is defined to be a right angle).

Thus vectors from are orthogonal (or perpendicular) if and only if their dot product is zero.

Example 2.8

These vectors are orthogonal.

The arrows are shown away from canonical position but nevertheless the vectors are orthogonal.

Example 2.9

The angle formula given at the start of this subsection is a special case of the definition. Between these two

the angle is

approximately . Notice that these vectors are not orthogonal. Although the -plane may appear to be perpendicular to the -plane, in fact the two planes are that way only in the weak sense that there are vectors in each orthogonal to all vectors in the other. Not every vector in each is orthogonal to all vectors in the other.

Exercises

edit
This exercise is recommended for all readers.
Problem 1

Find the length of each vector.

  1.  
  2.  
  3.  
  4.  
  5.  
This exercise is recommended for all readers.
Problem 2

Find the angle between each two, if it is defined.

  1.  
  2.  
  3.  
This exercise is recommended for all readers.
Problem 3

During maneuvers preceding the Battle of Jutland, the British battle cruiser Lion moved as follows (in nautical miles):   miles north,   miles   degrees east of south,   miles at   degrees east of north, and   miles at   degrees east of north. Find the distance between starting and ending positions (O'Hanian 1985).

Problem 4

Find   so that these two vectors are perpendicular.

 
Problem 5

Describe the set of vectors in   orthogonal to this one.

 
This exercise is recommended for all readers.
Problem 6
  1. Find the angle between the diagonal of the unit square in   and one of the axes.
  2. Find the angle between the diagonal of the unit cube in   and one of the axes.
  3. Find the angle between the diagonal of the unit cube in   and one of the axes.
  4. What is the limit, as   goes to  , of the angle between the diagonal of the unit cube in   and one of the axes?
Problem 7

Is any vector perpendicular to itself?

This exercise is recommended for all readers.
Problem 8

Describe the algebraic properties of dot product.

  1. Is it right-distributive over addition:  ?
  2. Is is left-distributive (over addition)?
  3. Does it commute?
  4. Associate?
  5. How does it interact with scalar multiplication?

As always, any assertion must be backed by either a proof or an example.

Problem 9

Verify the equality condition in Corollary 2.6, the Cauchy-Schwarz Inequality.

  1. Show that if   is a negative scalar multiple of   then   and   are less than or equal to zero.
  2. Show that   if and only if one vector is a scalar multiple of the other.
Problem 10

Suppose that   and  . Must  ?

This exercise is recommended for all readers.
Problem 11

Does any vector have length zero except a zero vector? (If "yes", produce an example. If "no", prove it.)

This exercise is recommended for all readers.
Problem 12

Find the midpoint of the line segment connecting   with   in  . Generalize to  .

Problem 13

Show that if   then   has length one. What if  ?

Problem 14

Show that if   then   is   times as long as  . What if  ?

This exercise is recommended for all readers.
Problem 15

A vector   of length one is a unit vector. Show that the dot product of two unit vectors has absolute value less than or equal to one. Can "less than" happen? Can "equal to"?

Problem 16

Prove that  

Problem 17

Show that if   for every   then  .

Problem 18

Is  ? If it is true then it would generalize the Triangle Inequality.

Problem 19

What is the ratio between the sides in the Cauchy-Schwarz inequality?

Problem 20

Why is the zero vector defined to be perpendicular to every vector?

Problem 21

Describe the angle between two vectors in  .

Problem 22

Give a simple necessary and sufficient condition to determine whether the angle between two vectors is acute, right, or obtuse.

This exercise is recommended for all readers.
Problem 23

Generalize to   the converse of the Pythagorean Theorem, that if   and   are perpendicular then  .

Problem 24

Show that   if and only if   and   are perpendicular. Give an example in  .

Problem 25

Show that if a vector is perpendicular to each of two others then it is perpendicular to each vector in the plane they generate. (Remark. They could generate a degenerate plane— a line or a point— but the statement remains true.)

Problem 26

Prove that, where   are nonzero vectors, the vector

 

bisects the angle between them. Illustrate in  .

Problem 27

Verify that the definition of angle is dimensionally correct: (1) if   then the cosine of the angle between   and   equals the cosine of the angle between   and  , and (2) if   then the cosine of the angle between   and   is the negative of the cosine of the angle between   and  .

This exercise is recommended for all readers.
Problem 28

Show that the inner product operation is linear: for   and  ,  .

This exercise is recommended for all readers.
Problem 29

The geometric mean of two positive reals   is  . It is analogous to the arithmetic mean  . Use the Cauchy-Schwarz inequality to show that the geometric mean of any   is less than or equal to the arithmetic mean.

? Problem 30

A ship is sailing with speed and direction  ; the wind blows apparently (judging by the vane on the mast) in the direction of a vector  ; on changing the direction and speed of the ship from   to   the apparent wind is in the direction of a vector  .

Find the vector velocity of the wind (Ivanoff & Esty 1933).

Problem 31

Verify the Cauchy-Schwarz inequality by first proving Lagrange's identity:

 

and then noting that the final term is positive. (Recall the meaning

 

and

 

of the   notation.) This result is an improvement over Cauchy-Schwarz because it gives a formula for the difference between the two sides. Interpret that difference in  .

Solutions

References

edit
  • O'Hanian, Hans (1985), Physics, vol. 1, W. W. Norton
  • Ivanoff, V. F. (proposer); Esty, T. C. (solver) (1933), "Problem 3529", American Mathematical Monthly, 39 (2): 118 {{citation}}: Unknown parameter |month= ignored (help)
  • Pólya, G. (1954), Mathematics and Plausible Reasoning: Volume II Patterns of Plausible Inference, Princeton University Press
Linear Algebra
 ← Vectors in Space Length and Angle Measures Reduced Echelon Form →