Vector Multiplication

Practice

practice problem 1

Write something.

solution

Answer it.

practice problem 2

Write something.

solution

Answer it.

practice problem 3

Derive the law of cosines from the dot product.

solution

Begin by defining an arbitrary vector C as the difference between two other vectors A and B, then take the dot product of C with itself.

Let …
     
  C  = A − B
 
Then …    
 
  C · C  = (A − B) · (A − B)
  C2  = (A · A) − (A · B) − (B · A) + (B · B)
  C2  = A2 + B2 − 2AB cosθ
 

practice problem 4

Test the cross product for associativity by determining if this equation is true.
 
(A × B) × C ≟ A × (B × C)
 

solution

Behold! A big damn pile of symbols.

We've already shown that …

A × B = (AyBz − AzByî + (AzBx − AxBzĵ + (AxBy − AyBx

Change the symbols around, swapping A with B and B with C.

B × C = (ByCz − BzCyî + (BzCx − BxCzĵ + (BxCy − ByCx

Now for the tedious part. Take the first equation and cross it into C.

(A × B) × C  =  (AyBz − AzByî  ×  Cx î  +  (AzBx − AxBzî  ×  Cy ĵ  +  (AxBy − AyBxî  ×  Cz 
   +  (AyBz − AzByĵ  ×  Cx î  +  (AzBx − AxBzĵ  ×  Cy ĵ  +  (AxBy − AyBxĵ  ×  Cz 
   +  (AyBz − AzBy  ×  Cx î  +  (AzBx − AxBz  ×  Cy ĵ  +  (AxBy − AyBx  ×  Cz 

Eliminate the zero terms. Watch the signs on the other terms.

(A × B) × C  =  (AzBxCy − AxBzCy)    −  (AxByCz − AyBxCz)  ĵ
   −  (AyBzCx − AzByCx)    +  (AxByCz − AyBxCz)  î
   +  (AyBzCx − AzByCx)  ĵ  −  (AzBxCy − AxBzCy)  î

Then simplify.

(A × B) × C  =  (AxByCz + AxBzCy)  −  (AyBxCz + AzBxCy)  î
   +  (AyBxCz + AyBzCx)  −  (AxByCz + AzByCx)  ĵ
   +  (AzBxCy + AzByCx)  −  (AxBzCy + AyBzCx)  

Repeat by crossing A into the second equation.

A × (B × C)  =  Ax î  ×  (ByCz − BzCyî  +  Ax î (BzCx − BxCzĵ  ×   +  Ax î  ×  (BxCy − ByCx
   +  Ay ĵ  ×  (ByCz − BzCyî  +  Ay ĵ (BzCx − BxCzĵ  ×   +  Ay ĵ  ×  (BxCy − ByCx
   +  Az   ×  (ByCz − BzCyî  +  Az  (BzCx − BxCzĵ  ×   +  Az   ×  (BxCy − ByCx

Eliminate the zero terms. Watch the signs on the other terms.

A × (B × C)  =  (AxBzCx − AxBxCz  −  (AxBxCy − AxByCxĵ
   −  (AyByCz − AyBzCy  +  (AyBxCy − AyByCxî
   +  (AzByCz − AzBzCyĵ  −  (AzBzCx − AzBxCzî

Then simplify.

A × (B × C)  =  (AyBxCy + AzBxCz)  −  (AyByCx + AzBzCx)  î
   +  (AxByCx + AzByCz)  −  (AxBxCy + AzBzCy)  ĵ
   +  (AxBzCx + AyBzCy)  −  (AxBxCz + AyByCz)  

Well now, that wasn't any fun, but fun be damned. This ain't no amusement park. It's a math proof. The real question is, are the two products equal or are they not equal? Let's make a direct comparison of the components of both products.

(A × B) × C  ≟  A × (B × C)
(AxByCz + AxBzCy)  −  (AyBxCz + AzBxCy)  î  ≟  (AyBxCy + AzBxCz)  −  (AyByCx + AzBzCx)  î
(AyBxCz + AyBzCx)  −  (AxByCz + AzByCx)  ĵ  ≟  (AxByCx + AzByCz)  −  (AxBxCy + AzBzCy)  ĵ
(AzBxCy + AzByCx)  −  (AxBzCy + AyBzCx)    ≟  (AxBzCx + AyBzCy)  −  (AxBxCz + AyByCz)  

I don't see one triplet of subscripts in the same order as any other triplet of subscripts. Could these two products equal? Maybe. I don't have the time to sort through all the possibilities. Are they equal in general? Most definitely not. Therefore, the cross product of two vectors is not an associative operation.

(A × B) × C ≠ A × (B × C)

  • No condition is permanent.