# Linear Algebra/Length and Angle Measures

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.

## ExercisesEdit

*This exercise is recommended for all readers.*

- Problem 1

Find the length of each vector.

*This exercise is recommended for all readers.*

- Problem 2

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

*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

- Find the angle between the diagonal of the unit square in and one of the axes.
- Find the angle between the diagonal of the unit cube in and one of the axes.
- Find the angle between the diagonal of the unit cube in and one of the axes.
- 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.

- Is it right-distributive over addition: ?
- Is is left-distributive (over addition)?
- Does it commute?
- Associate?
- 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.

- Show that if is a negative scalar multiple of then and are less than or equal to zero.
- 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 .

## ReferencesEdit

- O'Hanian, Hans (1985),
*Physics*,**1**, W. W. Norton - Ivanoff, V. F. (proposer); Esty, T. C. (solver) (Feb. 1933), "Problem 3529",
*American Mathematical Mothly***39**(2): 118 - Pólya, G. (1954),
*Mathematics and Plausible Reasoning: Volume II Patterns of Plausible Inference*, Princeton University Press