Grade by Grade
C. Geometry and Algebra of Vectors ยท Vectors in Two-Space and Three-Space

Properties of Vector Addition and Scalar Multiplication

C2.2About 65 minutes
Learning goals
  • I can state the commutative, associative and distributive properties and the zero, opposite and identity properties of vector operations.
  • I can investigate a property with examples, and disprove a false statement with a counterexample.
  • I can prove properties algebraically (with components) and geometrically (with diagrams).
  • I can simplify vector expressions and solve vector equations using the properties.

Words to know

commutative property
Order doesn't matter: ๐ฎ + ๐ฏ = ๐ฏ + ๐ฎ.
associative property
Grouping doesn't matter: (๐ฎ + ๐ฏ) + ๐ฐ = ๐ฎ + (๐ฏ + ๐ฐ), and a(b๐ฎ) = (ab)๐ฎ.
distributive property
a(๐ฎ + ๐ฏ) = a๐ฎ + a๐ฏ and (a + b)๐ฎ = a๐ฎ + b๐ฎ.
counterexample
One example that shows a general statement is false.
vector equation
An equation in which the unknown is a vector, such as 2๐ฑ + ๐ฎ = ๐ฏ.

Why rules matter

In algebra you rearrange 3(x + 2) โˆ’ x without a second thought, because you trust rules like the distributive property. Can you do the same with vectors? Can you write 3(2๐ฎ โˆ’ ๐ฏ) โˆ’ 2(๐ฎ + 4๐ฏ) = 4๐ฎ โˆ’ 11๐ฏ? Yes, but only because vector addition and scalar multiplication obey a set of properties that we can check and prove. These properties are what make vectors part of linear algebra, a first-year university course in mathematics, engineering, computer science and economics.

PropertyStatement (for all vectors ๐ฎ, ๐ฏ, ๐ฐ and scalars a, b)
Commutative (addition)๐ฎ + ๐ฏ = ๐ฏ + ๐ฎ
Associative (addition)(๐ฎ + ๐ฏ) + ๐ฐ = ๐ฎ + (๐ฏ + ๐ฐ)
Zero vector (identity)๐ฎ + ๐ŸŽ = ๐ฎ
Opposite (inverse)๐ฎ + (โˆ’๐ฎ) = ๐ŸŽ
Associative (scalars)a(b๐ฎ) = (ab)๐ฎ
Distributive over vector additiona(๐ฎ + ๐ฏ) = a๐ฎ + a๐ฏ
Distributive over scalar addition(a + b)๐ฎ = a๐ฎ + b๐ฎ
Scalar identity1๐ฎ = ๐ฎ
The properties of vector addition and scalar multiplication. They hold in two-space and three-space.

Investigating the properties

You can investigate a property by testing it on examples (by hand, with a spreadsheet, or with free graphing or geometry software). Examples can't prove a property is always true, but one counterexample proves that a statement is false.

To prove a property, use either

  • geometry: draw the vectors and use facts about parallelograms, triangles and similar figures; or
  • algebra: write the vectors in components and use the properties of real numbers, one component at a time.
๐ฎ๐ฏ๐ฏ๐ฎbottom path: ๐ฎ then ๐ฏtop path: ๐ฏ then ๐ฎsame diagonal (dashed):๐ฎ + ๐ฏ = ๐ฏ + ๐ฎ
Commutative property: going along ๐ฎ then ๐ฏ, or along ๐ฏ then ๐ฎ, ends at the same corner of the parallelogram.
Worked example

Example 1: Testing the distributive property

For ๐ฎ = [2, โˆ’1, 3], ๐ฏ = [0, 4, 1] and a = 3, check that a(๐ฎ + ๐ฏ) = a๐ฎ + a๐ฏ.

  1. Left side: ๐ฎ + ๐ฏ = [2, 3, 4], so 3(๐ฎ + ๐ฏ) = [6, 9, 12].
  2. Right side: 3๐ฎ = [6, โˆ’3, 9] and 3๐ฏ = [0, 12, 3], so 3๐ฎ + 3๐ฏ = [6, 9, 12].
  3. The sides agree for this example. (That supports the property but does not prove it.)

Both sides equal [6, 9, 12].

Worked example

Example 2: An algebraic proof

Prove that ๐ฎ + ๐ฏ = ๐ฏ + ๐ฎ for all vectors in three-space.

  1. Let ๐ฎ = [uโ‚, uโ‚‚, uโ‚ƒ] and ๐ฏ = [vโ‚, vโ‚‚, vโ‚ƒ].
  2. ๐ฎ + ๐ฏ = [uโ‚ + vโ‚, uโ‚‚ + vโ‚‚, uโ‚ƒ + vโ‚ƒ].
  3. Addition of real numbers is commutative, so each component can be swapped: = [vโ‚ + uโ‚, vโ‚‚ + uโ‚‚, vโ‚ƒ + uโ‚ƒ].
  4. This is ๐ฏ + ๐ฎ by the definition of vector addition. โˆŽ

Proved for every pair of vectors, because the argument used only letters, not particular numbers.

๐ฎ๐ฏ๐ฐ๐ฎ + ๐ฏ๐ฏ + ๐ฐ๐ฎ + ๐ฏ + ๐ฐ(๐ฎ + ๐ฏ) + ๐ฐ= ๐ฎ + (๐ฏ + ๐ฐ)both end at the same point
Associative property: adding ๐ฎ + ๐ฏ first and then ๐ฐ, or adding ๐ฏ + ๐ฐ first, gives the same resultant from the tail of ๐ฎ to the head of ๐ฐ.
Worked example

Example 3: A geometric proof of the distributive property

Explain geometrically why 2(๐ฎ + ๐ฏ) = 2๐ฎ + 2๐ฏ.

  1. Draw ๐ฎ and then ๐ฏ tip to tail: a triangle with third side ๐ฎ + ๐ฏ.
  2. Draw 2๐ฎ and then 2๐ฏ tip to tail from the same starting point. Each side is twice as long and parallel to the matching side of the first triangle.
  3. Two sides in the ratio 2 : 1 with the same included angle make the triangles similar (SAS similarity), so the third side of the big triangle is parallel to ๐ฎ + ๐ฏ and twice as long.
  4. That third side is 2๐ฎ + 2๐ฏ, and it equals 2(๐ฎ + ๐ฏ). The same argument works for any positive scalar, and reversing every arrow (a half-turn) handles negative scalars. โˆŽ

2(๐ฎ + ๐ฏ) = 2๐ฎ + 2๐ฏ because the triangles are similar.

๐ฎ๐ฎ๐ฏ2๐ฏ๐ฎ + ๐ฏ2(๐ฎ + ๐ฏ)small triangle: ๐ฎ, ๐ฏ, ๐ฎ + ๐ฏbig triangle: 2๐ฎ, 2๐ฏ, 2(๐ฎ + ๐ฏ)similar triangles (scale 2)2(๐ฎ + ๐ฏ) = 2๐ฎ + 2๐ฏ
The big triangle is the small triangle scaled by 2, so its third side 2(๐ฎ + ๐ฏ) is the same as 2๐ฎ + 2๐ฏ.
Worked example

Example 4: Simplifying with the properties

Simplify 3(2๐ฎ โˆ’ ๐ฏ) โˆ’ 2(๐ฎ + 4๐ฏ).

  1. Distribute: 6๐ฎ โˆ’ 3๐ฏ โˆ’ 2๐ฎ โˆ’ 8๐ฏ.
  2. Use commutativity and associativity to group like vectors: (6๐ฎ โˆ’ 2๐ฎ) + (โˆ’3๐ฏ โˆ’ 8๐ฏ).
  3. Use (a + b)๐ฎ = a๐ฎ + b๐ฎ: 4๐ฎ โˆ’ 11๐ฏ.

4๐ฎ โˆ’ 11๐ฏ

Worked example

Example 5: Solving a vector equation

Solve 2๐ฑ + 3๐ฎ = 5๐ฏ โˆ’ ๐ฑ for ๐ฑ. Then find ๐ฑ if ๐ฎ = [1, 2] and ๐ฏ = [3, โˆ’3].

  1. Add ๐ฑ to both sides and subtract 3๐ฎ from both sides: 3๐ฑ = 5๐ฏ โˆ’ 3๐ฎ.
  2. Multiply both sides by 1/3: ๐ฑ = (5/3)๐ฏ โˆ’ ๐ฎ.
  3. Substitute: (5/3)[3, โˆ’3] โˆ’ [1, 2] = [5, โˆ’5] โˆ’ [1, 2] = [4, โˆ’7].
  4. Check: 2[4, โˆ’7] + 3[1, 2] = [11, โˆ’8], and 5[3, โˆ’3] โˆ’ [4, โˆ’7] = [11, โˆ’8] โœ“

๐ฑ = (5/3)๐ฏ โˆ’ ๐ฎ = [4, โˆ’7]

What does NOT work

Subtraction is not commutative: ๐ฎ โˆ’ ๐ฏ = โˆ’(๐ฏ โˆ’ ๐ฎ), which is different from ๐ฏ โˆ’ ๐ฎ unless ๐ฎ = ๐ฏ. Subtraction is not associative either. And you cannot divide by a vector: an equation like ๐ฎ๐ฑ = ๐ฏ has no meaning here. You can only multiply or divide by scalars. (Two different ways to "multiply" vectors together appear in the unit Dot and Cross Products, and they follow their own rules.)

Just for fun

Vectors are very easy-going about addition: ๐ฎ + ๐ฏ or ๐ฏ + ๐ฎ, they don't mind who goes first. Subtraction is another story. Ask for ๐ฎ โˆ’ ๐ฏ and ๐ฏ โˆ’ ๐ฎ and you get two arrows pointing in exactly opposite directions.

Hands-on activity

Dice-roll property checker

You need: two dice (or a free dice app), paper and a pencil.

  1. Make vectors in three-space by rolling: for each component, roll one die and subtract 3, so components are โˆ’2 to 3. Make ๐ฎ, ๐ฏ and ๐ฐ this way. Roll once more (no subtraction) for a scalar a and again for b.
  2. Check each property in the table for your vectors: compute the left side and the right side separately.
  3. Now test two false statements: is ๐ฎ โˆ’ ๐ฏ = ๐ฏ โˆ’ ๐ฎ? Is (๐ฎ โˆ’ ๐ฏ) โˆ’ ๐ฐ = ๐ฎ โˆ’ (๐ฏ โˆ’ ๐ฐ)?
  4. Repeat with new rolls. Write a sentence explaining why examples can support a property, but one counterexample is enough to disprove a statement.

What to look for: all eight properties should check out every time. For the false statements, the two sides should differ. In fact ๐ฎ โˆ’ ๐ฏ and ๐ฏ โˆ’ ๐ฎ agree only if ๐ฎ = ๐ฏ, and (๐ฎ โˆ’ ๐ฏ) โˆ’ ๐ฐ differs from ๐ฎ โˆ’ (๐ฏ โˆ’ ๐ฐ) by exactly 2๐ฐ, so they agree only if you rolled ๐ฐ = ๐ŸŽ.

Your turn

1

Name the property: ๐ฎ + (๐ฏ + ๐ฐ) = (๐ฎ + ๐ฏ) + ๐ฐ.

2

Name the property: 3(๐ฎ + ๐ฏ) = 3๐ฎ + 3๐ฏ.

3

Name the property: (2 + 5)๐ฎ = 2๐ฎ + 5๐ฎ.

4

Simplify 2(๐ฎ + 3๐ฏ) โˆ’ 4(๐ฎ โˆ’ ๐ฏ).

5

Solve 4๐ฑ โˆ’ ๐ฎ = 2๐ฑ + 3๐ฎ for ๐ฑ.

6

Check the commutative property for ๐ฎ = [1, 3] and ๐ฏ = [โˆ’2, 5].

7

Is (๐ฎ โˆ’ ๐ฏ) โˆ’ ๐ฐ = ๐ฎ โˆ’ (๐ฏ โˆ’ ๐ฐ) always true? Give a counterexample or a reason.

More practice: warm-up

1

Simplify ๐ฎ + ๐ŸŽ.

2

Simplify ๐ฎ + (โˆ’๐ฎ).

3

Simplify 1๐ฎ.

4

Simplify 5(2๐ฎ).

5

Simplify โˆ’(๐ฎ โˆ’ ๐ฏ).

More practice: on your own

1

Simplify 3(๐š โˆ’ 2๐›) + 2(2๐š + ๐›) โˆ’ (๐š โˆ’ ๐›).

2

Solve 3(๐ฑ + ๐ฎ) = 2(๐ฑ โˆ’ ๐ฏ) for ๐ฑ.

3

Prove (a + b)๐ฎ = a๐ฎ + b๐ฎ for ๐ฎ = [uโ‚, uโ‚‚].

4

๐ฎ = [2, โˆ’1, 0] and ๐ฏ = [1, 1, 3]. Find ๐ฑ if 2๐ฑ โˆ’ 3๐ฎ = ๐ฏ + ๐ฑ.

5

Use components to show that |โˆ’3๐ฎ| = 3|๐ฎ| for ๐ฎ = [a, b, c].

Challenge

1

Prove the associative property (๐ฎ + ๐ฏ) + ๐ฐ = ๐ฎ + (๐ฏ + ๐ฐ) for vectors in three-space.

2

Use the properties (not components) to prove that (โˆ’1)๐ฎ = โˆ’๐ฎ.

3

Prove: if a๐ฎ = ๐ŸŽ and a โ‰  0, then ๐ฎ = ๐ŸŽ.

Check your understanding

Quiz

1.

Which property is shown by (๐ฎ + ๐ฏ) + ๐ฐ = ๐ฎ + (๐ฏ + ๐ฐ)?

2.

Which property is shown by 4(๐ฎ โˆ’ ๐ฏ) = 4๐ฎ โˆ’ 4๐ฏ?

3.

What is 2(3๐ฎ + ๐ฏ) โˆ’ (๐ฎ โˆ’ ๐ฏ)?

4.

Which statement is NOT true for all vectors?

5.

Solve 3๐ฑ + ๐ฎ = ๐ฑ โˆ’ ๐ฏ for ๐ฑ.

6.

|๐ฎ| = 4. What is |โˆ’2.5๐ฎ|?

For parents and teachers

Big idea (C2.2): vector addition and scalar multiplication follow the same kinds of rules as ordinary arithmetic (commutative, associative, distributive, zero and identity), so students can simplify vector expressions and solve vector equations with confidence. Subtraction is not commutative, and you can't divide by a vector.

How to help: The dice activity is quick and makes a good conversation about proof: "Does checking ten examples prove it? What would?" Ask your teen to say the name of the property they use at each step when simplifying.

Common difficulties:

  • Treating vectors like numbers and "dividing by ๐ฎ".
  • Sign errors when distributing a negative: โˆ’2(๐ฎ โˆ’ 4๐ฏ) = โˆ’2๐ฎ + 8๐ฏ.
  • Thinking examples prove a property; a proof must use general components or a general diagram.
  • Mixing up the two distributive properties.