Example 15: for ,
If and , then show that the vectors and are perpendicular.
Two nonzero vectors are perpendicular if their scalar product is zero.
Both and are nonzero, and their scalar product is 0.
and are perpendicular. Hence proved.
Want the reason behind every step, the basics and the checks?
Two nonzero vectors are perpendicular if and only if their scalar product is zero: . So we build and in components and show that their scalar product is 0. Behind the numbers: , and here .
- Given
- , .
- To show
- and are perpendicular.
- Plan
- (1) Find and . (2) Compute their scalar product. (3) Check both are nonzero and conclude. (4) See why: .
Basics you need
(Section 10.5.1). Lesson: components
(Section 10.6.1). Lesson: the dot product
For nonzero , : (Section 10.6.1, Observation 2). Lesson: Examples 13–21
Solution
The sum and the difference
Add or subtract matching components. In the difference every component of changes sign: and .Sum and difference by components (Section 10.5.1 (i), (ii)). Lesson: componentsTheir scalar product
Multiply matching components and add. The positive product 24 is cancelled exactly by the two negative products and .(Section 10.6.1). Lesson: the dot productConclude
Both vectors are nonzero ( and have nonzero components), and their scalar product is 0. So and are perpendicular.
The test is stated for nonzero vectors: the scalar product of anything with is 0, but the zero vector has no direction, so "perpendicular" would mean nothing. That is why the book begins with "two nonzero vectors".Observation 2 (Section 10.6.1). Lesson: Examples 13–21Why it works: equal lengths
Expanding with the rules of the scalar product,
and here and , so the difference is 0.
The parallelogram on and , drawn in its own plane, true to scale. Its sides are equal ( each), so it is a rhombus, and its diagonals (length ) and (length 6) cross at right angles. The middle terms cancel because the scalar product is commutative: . Geometrically, and are the two diagonals of the parallelogram on and ; with equal sides it is a rhombus, and the diagonals of a rhombus are perpendicular.Distributivity and commutativity (Section 10.6.1, Property 1 and Observation 7); (Observation 3). Basics: dot products obey the same rule
with both vectors nonzero, so and are perpendicular.
(Textbook answer: , , and ; "Hence and are perpendicular vectors.")
The lengths: and . For perpendicular diagonals of a rhombus, half of each diagonal and a side form a right triangle: .
The angle between and themselves is not a right angle: , so .
- Sign slips in . , not ; bracket the components of before subtracting.
- Testing . The question is about and ; is not zero, and that is fine.
- Writing and stopping. It equals , which is zero only because the lengths are equal; that has to be checked.
- To show two nonzero vectors are perpendicular, show that their scalar product is 0.
- .
- So exactly when : the diagonals of a rhombus are perpendicular.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Sum and difference of vectors by components | Step 1 | Section 10.5.1 (Lesson: components) |
| Step 2 | Section 10.6.1 (Lesson: the dot product) | |
| for nonzero vectors | Step 3 | Section 10.6.1, Observation 2 |
| Distributivity; commutativity; | Step 4 | Section 10.6.1, Property 1, Observations 7 and 3 |
| Parallelogram law; diagonals of a rhombus are perpendicular | Step 4 | Section 10.4; school geometry |
| The book's working and answer | Result | Example 15, Section 10.6.2 (Lesson: Examples 13–21) |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →