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

Exercise 10.4 · Q8: a⃗×b⃗=0⃗\vec a\times\vec b=\vec 0 with a⃗≠0⃗\vec a\ne\vec 0⁠, b⃗≠0⃗\vec b\ne\vec 0⁠: is the converse true?

Exercise 10.4Zero vector product, parallel vectors · Section 10.6.3
The question

If either a⃗=0⃗\vec a = \vec 0 or b⃗=0⃗\vec b = \vec 0⁠, then a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠. Is the converse true? Justify your answer with an example.

Exam answer

The converse is: if a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠, then a⃗=0⃗\vec a = \vec 0 or b⃗=0⃗\vec b = \vec 0⁠. It is not true.

Take a⃗=2i^+3j^+4k^\vec a = 2\hat i + 3\hat j + 4\hat k and b⃗=4i^+6j^+8k^\vec b = 4\hat i + 6\hat j + 8\hat k⁠. Both are nonzero.

a⃗×b⃗=∣i^j^k^234468∣=i^(24−24)−j^(16−16)+k^(12−12)=0⃗\begin{aligned} \vec a\times\vec b &= \begin{vmatrix} \hat i & \hat j & \hat k \\ 2 & 3 & 4 \\ 4 & 6 & 8 \end{vmatrix} \\ &= \hat i(24 - 24) - \hat j(16 - 16) \\ &\quad + \hat k(12 - 12) \\ &= \vec 0 \end{aligned}

∴ a⃗×b⃗=0⃗\therefore\ \vec a\times\vec b = \vec 0 with a⃗≠0⃗\vec a \ne \vec 0 and b⃗≠0⃗\vec b \ne \vec 0⁠, so the converse is not true.

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

The one idea this problem is built on

For nonzero vectors, ∣a⃗×b⃗∣=∣a⃗∣∣b⃗∣sin⁡θ|\vec a\times\vec b| = |\vec a||\vec b|\sin\theta⁠. This is 0 not only when a vector is 0⃗\vec 0 but also whenever sin⁡θ=0\sin\theta = 0⁠, that is, when a⃗\vec a and b⃗\vec b are parallel (θ=0\theta = 0 or π\pi⁠). Any two nonzero parallel vectors break the converse.

Given, to find, and the plan
Given
The statement: if a⃗=0⃗\vec a = \vec 0 or b⃗=0⃗\vec b = \vec 0⁠, then a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠.
To find
Whether the converse holds, with an example.
Plan
(1) See why the given statement is true. (2) Write the converse. (3) Find where it can fail: parallel vectors. (4) Give an explicit example and compute. (5) State exactly when a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠.

Basics you need

1The definition of a⃗×b⃗\vec a\times\vec b

For nonzero vectors, a⃗×b⃗=∣a⃗∣∣b⃗∣sin⁡θ n^\vec a\times\vec b = |\vec a||\vec b|\sin\theta\,\hat n⁠; if either vector is 0⃗\vec 0⁠, a⃗×b⃗\vec a\times\vec b is defined to be 0⃗\vec 0 (Definition 3, Section 10.6.3). Lesson: the cross product

2Converse of a statement

The converse of "if P, then Q" is "if Q, then P". A single example where Q holds and P fails shows the converse is false.

3Parallel vectors

b⃗=ka⃗\vec b = k\vec a for a nonzero scalar kk means b⃗\vec b is parallel to a⃗\vec a⁠; then the angle is 0 (for k>0k > 0⁠) or π\pi (for k<0k < 0⁠) (Section 10.5). Lesson: components

Solution

  1. Why the given statement is true

    If a⃗=0⃗\vec a = \vec 0 or b⃗=0⃗\vec b = \vec 0⁠, the angle θ\theta is not defined, and the book defines a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 in this case.

    The given statement is part of Definition 3, so there is nothing more to prove. The question is about the opposite direction.
    Definition 3, Section 10.6.3. Lesson: the cross product
  2. The converse

    "If a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠, then a⃗=0⃗\vec a = \vec 0 or b⃗=0⃗\vec b = \vec 0⁠."

    The converse swaps the "if" part and the "then" part. To show it is false we need two vectors with a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 that are both nonzero.
    Converse of a statement; disproving by a counterexample.
  3. Where it fails: parallel vectors

    For nonzero a⃗\vec a and b⃗\vec b⁠, ∣a⃗×b⃗∣=∣a⃗∣∣b⃗∣sin⁡θ|\vec a\times\vec b| = |\vec a||\vec b|\sin\theta with ∣a⃗∣∣b⃗∣>0|\vec a||\vec b| > 0⁠. So a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 exactly when sin⁡θ=0\sin\theta = 0⁠, that is, θ=0\theta = 0 or θ=π\theta = \pi⁠.

    On 0≤θ≤π0 \le \theta \le \pi⁠, sin⁡θ=0\sin\theta = 0 only at the two ends, where the vectors point the same way or opposite ways: they are parallel (collinear). So any two nonzero parallel vectors give a zero vector product.
    a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 for nonzero vectors iff they are parallel (Section 10.6.3, Observation 2). Lesson: Examples 22–25
  4. An explicit example

    Take a⃗=2i^+3j^+4k^\vec a = 2\hat i + 3\hat j + 4\hat k and b⃗=4i^+6j^+8k^=2a⃗\vec b = 4\hat i + 6\hat j + 8\hat k = 2\vec a⁠. Neither is 0⃗\vec 0⁠: ∣a⃗∣=29|\vec a| = \sqrt{29} and ∣b⃗∣=229|\vec b| = 2\sqrt{29}⁠. Then

    a⃗×b⃗=∣i^j^k^234468∣=i^(24−24)−j^(16−16)+k^(12−12)=0⃗.\begin{aligned} \vec a\times\vec b &= \begin{vmatrix} \hat i & \hat j & \hat k \\ 2 & 3 & 4 \\ 4 & 6 & 8 \end{vmatrix} \\ &= \hat i(24 - 24) - \hat j(16 - 16) \\ &\quad + \hat k(12 - 12) \\ &= \vec 0. \end{aligned}
    O a, length √29 b = 2a, length 2√29 θ = 0, sin θ = 0 a × b = 0 flat: area 0
    a⃗\vec a and b⃗=2a⃗\vec b = 2\vec a drawn from O along one line with one scale. The angle between them is 0, so sin⁡θ=0\sin\theta = 0⁠: the parallelogram on a⃗\vec a and b⃗\vec b is flat and has area ∣a⃗×b⃗∣=0|\vec a\times\vec b| = 0⁠.
    The minors are (3)(8)−(4)(6)=24−24(3)(8) - (4)(6) = 24 - 24⁠, (2)(8)−(4)(4)=16−16(2)(8) - (4)(4) = 16 - 16 and (2)(6)−(3)(4)=12−12(2)(6) - (3)(4) = 12 - 12⁠, all 0. Without the determinant: a⃗×(2a⃗)=2(a⃗×a⃗)=20⃗=0⃗\vec a\times(2\vec a) = 2(\vec a\times\vec a) = 2\vec 0 = \vec 0⁠.
    The determinant form; a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0 (Section 10.6.3, Observation 2, Property 3). Basics: a determinant measures a signed area
  5. The answer, and the full rule

    No, the converse is not true. The complete statement is:

    a⃗×b⃗=0⃗  ⟺  a⃗=0⃗, b⃗=0⃗ or a⃗∥b⃗.\vec a\times\vec b = \vec 0 \iff \vec a = \vec 0,\ \vec b = \vec 0 \text{ or } \vec a \parallel \vec b.
    The example above has a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 while a⃗≠0⃗\vec a \ne \vec 0 and b⃗≠0⃗\vec b \ne \vec 0⁠, so the converse fails. Opposite directions work too: i^×(−3i^)=−3(i^×i^)=0⃗\hat i\times(-3\hat i) = -3(\hat i\times\hat i) = \vec 0⁠.
    Section 10.6.3, Definition 3 and Observation 2. Lesson: the cross product, exercises
Result

No. For example, a⃗=2i^+3j^+4k^\vec a = 2\hat i + 3\hat j + 4\hat k and b⃗=4i^+6j^+8k^\vec b = 4\hat i + 6\hat j + 8\hat k are both nonzero, but a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠. Any two nonzero collinear vectors do the same.

(Textbook answer: No; take any two nonzero collinear vectors.)

Check it with numbers

∣a⃗∣=29≈5.385165|\vec a| = \sqrt{29} \approx 5.385165 and ∣b⃗∣=229≈10.770330|\vec b| = 2\sqrt{29} \approx 10.770330⁠, both nonzero.

a⃗⋅b⃗=8+18+32=58\vec a\cdot\vec b = 8 + 18 + 32 = 58 and ∣a⃗∣∣b⃗∣=2×29=58|\vec a||\vec b| = 2 \times 29 = 58⁠, so cos⁡θ=1\cos\theta = 1⁠, θ=0\theta = 0 and sin⁡θ=0\sin\theta = 0⁠, in agreement with a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0⁠.

Common mistakes
  1. Answering "yes" because the statement looks symmetric. A statement and its converse are different claims; each needs its own proof or counterexample.
  2. Giving an example that is not checked. The justification needs the computation a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 and the remark that both vectors are nonzero.
  3. Choosing perpendicular vectors. For i^\hat i and j^\hat j⁠, i^×j^=k^≠0⃗\hat i\times\hat j = \hat k \ne \vec 0⁠; perpendicular vectors make the scalar product 0, not the vector product.
What to take away
  1. a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 means a zero vector or parallel vectors.
  2. To disprove a general statement, one explicit counterexample is enough.
  3. Parallel vectors span a flat parallelogram, so their vector product has length 0.

Every fact used, and where it comes from

FactUsed inSource
Definition of a⃗×b⃗\vec a\times\vec b⁠, including the zero-vector caseSteps 1, 3Section 10.6.3, Definition 3 (Lesson: the cross product)
a⃗×b⃗=0⃗\vec a\times\vec b = \vec 0 for nonzero vectors iff they are parallel; a⃗×a⃗=0⃗\vec a\times\vec a = \vec 0Steps 3, 4, 5Section 10.6.3, Observation 2
a⃗×b⃗\vec a\times\vec b as a determinant in componentsStep 4Section 10.6.3 (Basics: a determinant measures a signed area)
Scalar multiple of a vector is parallel to itSteps 4, 5Section 10.5 (Lesson: components)
The question and the answerResultExercise 10.4 Q8; NCERT answer key (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 →