The ebook Elementary Calculus is based on material originally written by H.J. Keisler. For more information please read the copyright pages.


Perpendiculars and Parallels - Theorem 3

DEFINITION

Two nonzero vectors A and B are said to be perpendicular (or orthogonal), AB, if the angle between them is π/2. A and B are said to be parallel, AB, if the angle between them is either 0 or π.

TEST FOR PERPENDICULARS

Let A and B be nonzero vectors. Then AB if and only if A · B = 0.

PROOF The following are equivalent:

A · B = 0, 10_vectors-146.gif, cos θ = 0, θ = π/2.

TEST FOR PARALLELS

Given two nonzero vectors A and B, the following are equivalent:

(i) AB.

(ii) |A · B| = |A| |B|.

(iii) A is a scalar multiple of B.

PROOF

To show that (i) is equivalent to (ii). we note that the following are equivalent.

10_vectors-147.gif

We now show that (i) implies (iii), and (iii) implies (i).

Assume (i), AB.

Case 1 θ = 0. Let U and V be the unit vectors of A and B. By the Law of Cosines,

10_vectors-148.gif

Case 2 θ = π. We see, by a similar proof, that

10_vectors-149.gif

In either case, A is a scalar multiple of B.

Finally, assume (iii), say A = tB. Then

10_vectors-150.gif

Therefore θ = 0 or θ = π, so AB.

Example 1: Test for AB and AB

We conclude this section with a theorem about perpendicular vectors, first in the plane and then in space.

THEOREM 3

Let A = a1i + a2j be a nonzero vector in the plane.

(i) The vector B = a2i - a1j is perpendicular to A.

(ii) Any vector perpendicular to A is parallel to B.

PROOF

(i) Wecompute A · B = a1a2 + a2(-a1) = 0.

(ii) If CA, then both B and C make angles of π/2 with A, so the angle between B and C is either 0 or π. Therefore BC.

Example 8: Finding a Perpendicular


Last Update: 2006-11-06