Class 12 Maths, Worked in Full Past papersGet updates
Chapter 10 · Vector Algebra

Exercise 10.4 · Q4: (a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a-\vec b)\times(\vec a+\vec b)=2(\vec a\times\vec b)

Exercise 10.4Properties of the vector product · Section 10.6.3
The question

Show that

(a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b)
Exam answer

Using the distributive law of the vector product,

(a⃗−b⃗)×(a⃗+b⃗)=a⃗×a⃗+a⃗×b⃗−b⃗×a⃗−b⃗×b⃗\begin{aligned} &(\vec a - \vec b)\times(\vec a + \vec b) \\ &= \vec a\times\vec a + \vec a\times\vec b \\ &\quad - \vec b\times\vec a - \vec b\times\vec b \end{aligned}

Now a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0⁠, b⃗×b⃗=0⃗\vec b\times\vec b = \vec 0 and b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b⁠. So

(a⃗−b⃗)×(a⃗+b⃗)=0⃗+a⃗×b⃗+a⃗×b⃗−0⃗=2(a⃗×b⃗)\begin{aligned} &(\vec a - \vec b)\times(\vec a + \vec b) \\ &= \vec 0 + \vec a\times\vec b + \vec a\times\vec b - \vec 0 \\ &= 2(\vec a\times\vec b) \end{aligned}

∴ (a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)\therefore\ (\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b)⁠. Hence proved.

Want the reason behind every step, the basics and the checks?

The one idea this problem is built on

The vector product can be expanded over brackets like ordinary multiplication, with two differences: order matters, b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b⁠, and a vector times itself is 0⃗\vec 0⁠. So the "square" terms vanish and the two cross terms, instead of cancelling, add up.

Given, to show, and the plan
Given
Any two vectors a⃗\vec a and b⃗\vec b⁠.
To show
(a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b)⁠.
Plan
(1) Expand the product with the distributive law, keeping the order of every factor. (2) Use a⃗×a⃗=b⃗×b⃗=0⃗\vec a\times\vec a = \vec b\times\vec b = \vec 0⁠. (3) Use b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b and collect. (4) Check with numbers and see what it means for areas.

Basics you need

1Distributive law

a⃗×(b⃗+c⃗)=a⃗×b⃗+a⃗×c⃗\vec a\times(\vec b + \vec c) = \vec a\times\vec b + \vec a\times\vec c and λ(a⃗×b⃗)=(λa⃗)×b⃗=a⃗×(λb⃗)\lambda(\vec a\times\vec b) = (\lambda\vec a)\times\vec b = \vec a\times(\lambda\vec b) (Section 10.6.3, Property 3). Lesson: the cross product

2A vector crossed with itself

a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0⁠: the angle is 0 and sin⁡0=0\sin 0 = 0 (Section 10.6.3, Observation 2). Basics: cos θ is a shadow, sin θ is a height

3Swapping the order changes the sign

b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b (Section 10.6.3, Observation 6). Lesson: Examples 22–25

4Expanding brackets in algebra

(x−y)(x+y)=x2+xy−yx−y2(x - y)(x + y) = x^2 + xy - yx - y^2⁠, term by term, before any simplifying. Basics: expanding brackets

Solution

  1. Expand, keeping the order

    (a⃗−b⃗)×(a⃗+b⃗)=(a⃗−b⃗)×a⃗+(a⃗−b⃗)×b⃗=a⃗×a⃗−b⃗×a⃗+a⃗×b⃗−b⃗×b⃗.\begin{aligned} &(\vec a - \vec b)\times(\vec a + \vec b) \\ &= (\vec a - \vec b)\times\vec a + (\vec a - \vec b)\times\vec b \\ &= \vec a\times\vec a - \vec b\times\vec a + \vec a\times\vec b - \vec b\times\vec b. \end{aligned}
    The first line uses the distributive law on the right-hand bracket. For the left-hand bracket we need (u⃗+v⃗)×w⃗=u⃗×w⃗+v⃗×w⃗(\vec u + \vec v)\times\vec w = \vec u\times\vec w + \vec v\times\vec w⁠, which follows from the stated law and the sign rule: (u⃗+v⃗)×w⃗=−w⃗×(u⃗+v⃗)(\vec u + \vec v)\times\vec w = -\vec w\times(\vec u + \vec v) =−w⃗×u⃗−w⃗×v⃗= -\vec w\times\vec u - \vec w\times\vec v =u⃗×w⃗+v⃗×w⃗= \vec u\times\vec w + \vec v\times\vec w⁠. Also (−b⃗)×a⃗=−(b⃗×a⃗)(-\vec b)\times\vec a = -(\vec b\times\vec a) by the scalar rule with λ=−1\lambda = -1⁠. In every term the factor from the first bracket stays on the left.
    Distributivity and the scalar rule (Section 10.6.3, Property 3). Lesson: the cross product
  2. The "square" terms are zero

    a⃗×a⃗=0⃗,b⃗×b⃗=0⃗.\vec a\times\vec a = \vec 0, \qquad \vec b\times\vec b = \vec 0.
    A vector is parallel to itself, so the angle between them is 0 and ∣a⃗×a⃗∣=∣a⃗∣∣a⃗∣sin⁡0=0|\vec a\times\vec a| = |\vec a||\vec a|\sin 0 = 0⁠. (If a⃗=0⃗\vec a = \vec 0⁠, the product is 0⃗\vec 0 by definition.) This is the big difference from numbers, where x⋅x=x2x \cdot x = x^2 is not 0.
    a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0 (Section 10.6.3, Observation 2). Lesson: the cross product
  3. The cross terms add up

    Since b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b⁠, the term −b⃗×a⃗-\vec b\times\vec a equals +a⃗×b⃗+\vec a\times\vec b⁠. So

    (a⃗−b⃗)×(a⃗+b⃗)=0⃗+a⃗×b⃗+a⃗×b⃗−0⃗=2(a⃗×b⃗).\begin{aligned} &(\vec a - \vec b)\times(\vec a + \vec b) \\ &= \vec 0 + \vec a\times\vec b + \vec a\times\vec b - \vec 0 \\ &= 2(\vec a\times\vec b). \end{aligned}
    With numbers, −yx+xy-yx + xy would cancel to 0, because yx=xyyx = xy⁠. The vector product is not commutative: reversing the order turns the vector round, so −b⃗×a⃗-\vec b\times\vec a points the same way as a⃗×b⃗\vec a\times\vec b and the two terms double instead of cancelling.
    b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b (Section 10.6.3, Observation 6). Lesson: Examples 22–25
  4. Check with numbers, and what it means

    Take a⃗=i^+2j^+3k^\vec a = \hat i + 2\hat j + 3\hat k⁠, b⃗=2i^−j^+k^\vec b = 2\hat i - \hat j + \hat k⁠. Then a⃗−b⃗=−i^+3j^+2k^\vec a - \vec b = -\hat i + 3\hat j + 2\hat k and a⃗+b⃗=3i^+j^+4k^\vec a + \vec b = 3\hat i + \hat j + 4\hat k⁠, and

    (a⃗−b⃗)×(a⃗+b⃗)=i^(12−2)−j^(−4−6)+k^(−1−9)=10i^+10j^−10k^,\begin{aligned} &(\vec a - \vec b)\times(\vec a + \vec b) \\ &= \hat i(12 - 2) - \hat j(-4 - 6) \\ &\quad + \hat k(-1 - 9) \\ &= 10\hat i + 10\hat j - 10\hat k, \end{aligned} a⃗×b⃗=i^(2+3)−j^(1−6)+k^(−1−4)=5i^+5j^−5k^.\begin{aligned} \vec a\times\vec b &= \hat i(2 + 3) - \hat j(1 - 6) \\ &\quad + \hat k(-1 - 4) \\ &= 5\hat i + 5\hat j - 5\hat k. \end{aligned}

    So (a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b) here, as proved.

    The vectors a⃗+b⃗\vec a + \vec b and a⃗−b⃗\vec a - \vec b are the diagonals of the parallelogram on a⃗\vec a and b⃗\vec b⁠. Taking lengths, the identity says the parallelogram built on the two diagonals has twice the area of the original parallelogram.
    The determinant form of the vector product (Section 10.6.3). Basics: a determinant measures a signed area
Result

(a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b) for all vectors a⃗\vec a and b⃗\vec b⁠. Hence proved.

(Textbook answer: the answer key has no entry for this "show that" question.)

Check it with numbers

With the sample of Step 4: 10i^+10j^−10k^=2(5i^+5j^−5k^)10\hat i + 10\hat j - 10\hat k = 2(5\hat i + 5\hat j - 5\hat k)⁠, component by component.

With a⃗=i^\vec a = \hat i⁠, b⃗=j^\vec b = \hat j⁠: (i^−j^)×(i^+j^)=i^×j^−j^×i^=k^+k^=2k^=2(i^×j^)(\hat i - \hat j)\times(\hat i + \hat j) = \hat i\times\hat j - \hat j\times\hat i = \hat k + \hat k = 2\hat k = 2(\hat i\times\hat j)⁠.

Common mistakes
  1. Treating the product as commutative. Writing b⃗×a⃗=a⃗×b⃗\vec b\times\vec a = \vec a\times\vec b makes the cross terms cancel and gives 0⃗\vec 0⁠, which is wrong.
  2. Writing a⃗×a⃗=∣a⃗∣2\vec a\times\vec a = |\vec a|^2⁠. That is the scalar product a⃗⋅a⃗\vec a\cdot\vec a⁠; the vector product of a vector with itself is 0⃗\vec 0⁠.
  3. Using the "difference of squares" pattern. (a⃗−b⃗)×(a⃗+b⃗)(\vec a - \vec b)\times(\vec a + \vec b) is not a⃗×a⃗−b⃗×b⃗\vec a\times\vec a - \vec b\times\vec b⁠; that pattern needs commutativity.
What to take away
  1. Expand vector products like brackets, but keep every factor in its order.
  2. a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0 and b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec b do the simplifying.
  3. (a⃗−b⃗)×(a⃗+b⃗)=2(a⃗×b⃗)(\vec a - \vec b)\times(\vec a + \vec b) = 2(\vec a\times\vec b)⁠: the parallelogram on the diagonals has twice the area.

Every fact used, and where it comes from

FactUsed inSource
Distributive law and the scalar rule for the vector productStep 1Section 10.6.3, Property 3 (Lesson: the cross product)
a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0Step 2Section 10.6.3, Observation 2
b⃗×a⃗=−a⃗×b⃗\vec b\times\vec a = -\vec a\times\vec bSteps 1, 3Section 10.6.3, Observation 6
i^×j^=k^\hat i\times\hat j = \hat k⁠, j^×i^=−k^\hat j\times\hat i = -\hat k⁠; the determinant formStep 4Section 10.6.3, Observations 4 and 7 (Basics: a determinant measures a signed area)
Diagonals of a parallelogram are a⃗+b⃗\vec a + \vec b and a⃗−b⃗\vec a - \vec b⁠; area =∣a⃗×b⃗∣= |\vec a\times\vec b|Step 4Section 10.4 (parallelogram law); Section 10.6.3, Observation 9
The questionResultExercise 10.4 Q4 (no answer-key entry) (Lesson: the cross product, exercises)
Found an error, or want more?

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 →