# Advanced Proofs of the Dot and Cross Products for Calculus

## Vector Bisection

Vectors have so many properties that make their versatility endless and crossover into several disciplines. Sometimes we add them or subtract them, sometimes we take the dot product to find a scalar or a cross product to find a perpendicular vector to two other ones, but other times we may be interested in finding a vector that bisects two vectors. How could we make such a vector? Below we will show how to find that vector which bisects **a** and **b**, which happens to be **c** = ||**b**||**a + ||a||b** (Larson 772).

To find such a vector (let’s call it **c**), I need to remember that it will be the same number of degrees from **a** as it will be from **b**. Using one of the definitions for the dot product, I know that

Cos Θ = **(c ∙ b)/(||c|| ||b||)**

And

Cos Θ = **(c ∙ a)/(||c|| ||a||)**

But since this is the same number of degrees, both cosine terms will equal each other. Therefore

** (c ∙ b)/(||c|| ||b||) = (c ∙ a)/(||c|| ||a||) **

Or after eliminating the common term ||**c**||

**(c ∙ b)/(||b||) = (c ∙ a)/(||a||) **

Multiplying both sides by ||**a**|| ||**b**|| gives us

**||a||(c ∙ b) = ||b||(c ∙ a)**

And upon expanding the dot product we arrive at

||**a**||(c_{1}b_{1} + c_{2}b_{2} + c_{3}b_{3) = }||**b**|| (c_{1}a_{1} + c_{2}a_{2} + c_{3}a_{3})

Distributing the outside term results in

||**a**||c_{1}b_{1} + ||**a**||c_{2}b_{2} + ||**a**||c_{3}b_{3 = }||**b**||c_{1}a_{1} + ||**b||**c_{2}a_{2} + ||**b**||c_{3}a_{3}

And after moving all the terms to the left-hand side we have

||**a**||c_{1}b_{1} -||**b**||c_{1}a_{1} + ||**a**||c_{2}b_{2 }- ||**b||**c_{2}a_{2} + ||**a**||c_{3}b_{3} - ||**b**||c_{3}a_{3} = 0

Pulling out common c terms will give us

c_{1}(||**a**||b_{1} -||**b**||a_{1}) + c_{2}(||**a**||b_{2 }- ||**b||**a_{2}) + c_{3}(||**a**||b_{3} - ||**b**||a_{3}) = 0

Now, some may remember the definition of the conjugate. If I have a (x + y) term, if I multiply it by (x - y), I get x^{2} + xy – xy – y^{2 }= x^{2} – y^{2}. Simply put, I multiply by the same term but I change the operation being done to the opposite partner, often in hopes of simplifying further algebra. Therefore, if the components of **c** are conjugates, then

c_{1} = ||**a**||b_{1} + ||**b**||a_{1, }c_{2 }= ||**a**||b_{2 }+ ||**b||**a_{2, }and c_{3 }= ||**a**||b_{3} + ||**b**||a_{3}

Plugging these back in to our equation gives us

(||**a**||b_{1} + ||**b**||a_{1} )(||**a**||b_{1} -||**b**||a_{1}) + (||**a**||b_{2 }+ ||**b||**a_{2})(||**a**||b_{2 }- ||**b||**a_{2}) + (||**a**||b_{3} + ||**b**||a_{3})(||**a**||b_{3} - ||**b**||a_{3})

= ||**a**||^{2}b_{1}^{2} -||**a**||b_{1}||**b**||a_{1} + ||**a**||b_{1}||**b**||a_{1} -||**b**||^{2}a_{1}^{2} + …

= ||**a**||^{2}b_{1}^{2 }- ||**b**||^{2}a_{1}^{2} + ||**a**||^{2}b_{2}^{2 }- ||**b**||^{2}a_{2}^{2 }+ ||**a**||^{2}b_{3}^{2 }- ||**b**||^{2}a_{3}^{2}

And after pulling out some common terms we arrive at

=||**a**||^{2} (b_{1}^{2 }+ b_{2}^{2} + b_{3}^{2}) - ||**b**||^{2} (a_{1}^{2 }+ a_{2}^{2} + a_{3}^{2})

But b_{1}^{2 }+ b_{2}^{2} + b_{3}^{2} is the length squared, or ||**b**||^{2}, and the same applies for the a terms, so

||**a**||^{2} (b_{1}^{2 }+ b_{2}^{2} + b_{3}^{2}) - ||**b**||^{2} (a_{1}^{2 }+ a_{2}^{2} + a_{3}^{2}) = ||**a**||^{2} ||**b**||^{2} - ||**b**||^{2} ||**a**||^{2} = 0

Yes, **c ** is the conjugate, so

**c = <**c_{1}, c_{2}, c_{3}> = <||**a**||b_{1} + ||**b**||a_{1, }||**a**||b_{2 }+ ||**b||**a_{2, }||**a**||b_{3} + ||**b**||a_{3}> = ||**b**||**a + ||a||b**

## Vector Difference and the Dot Product

When I take the difference of two vectors, I will have a net vector as my result. It too will have a magnitude to it, but how is it possible for me to relate this length to the dot product? Below we will show that ||**a- b**||^{2} = ||**a**||^{2} + ||**b**||^{2} – 2(**a ∙ b) **is true (789).

** **

First, note that by definition of vector magnitude,

||**a- b**||^{2} = ([(a_{1} – b_{1})^{2} + (a_{2} – b_{2})^{2} + (a_{3} – b_{3})^{2}]^{0.5})^{2}

**=**(a_{1} – b_{1})^{2} + (a_{2} – b_{2})^{2} + (a_{3} – b_{3})^{2}

Expanding this out gives us

(a_{1} – b_{1})(a_{1} – b_{1}) + (a_{2} – b_{2})(a_{2} – b_{2}) + (a_{3} – b_{3})(a_{3} – b_{3})

= a_{1}^{2} – a_{1}b_{1} – a_{1}b_{1} + b_{1}^{2} + a_{2}^{2} – a_{2}b_{2} – a_{2}b_{2} + b_{2}^{2 }+ a_{3}^{2} – a_{3}b_{3} – a_{3}b_{3} + b_{3}^{2}

= a_{1}^{2} – 2a_{1}b_{1} + b_{1}^{2} + a_{2}^{2} – 2a_{2}b_{2} + b_{2}^{2 }+ a_{3}^{2} – 2a_{3}b_{3} + b_{3}^{2}

And after a little bit of rearrangement, we will have this equaling

a_{1}^{2 }+ a_{2}^{2 }+ a_{3}^{2} + b_{1}^{2 }+ b_{2}^{2 }+ b_{3}^{2 }– 2a_{1}b_{1} – 2a_{2}b_{2 }– 2a_{3}b_{3}

But notice that

a_{1}^{2 }+ a_{2}^{2 }+ a_{3}^{2} = [(a_{1}^{2 }+ a_{2}^{2 }+ a_{3}^{2})^{0.5}]^{2} = ||**a**||^{2}

b_{1}^{2 }+ b_{2}^{2 }+ b_{3}^{2} = [(b_{1}^{2 }+ b_{2}^{2 }+ b_{3}^{2})^{0.5}]^{2} = ||**b**||^{2}

– 2a_{1}b_{1} – 2a_{2}b_{2 }– 2a_{3}b_{3} = -2(a_{1}b_{1} + a_{2}b_{2 } + a_{3}b_{3}) = -2 (**a ∙ b**)

So

a_{1}^{2 }+ a_{2}^{2 }+ a_{3}^{2} + b_{1}^{2 }+ b_{2}^{2 }+ b_{3}^{2 }– 2a_{1}b_{1} – 2a_{2}b_{2 }– 2a_{3}b_{3} = ||**a**||^{2} + ||**b**||^{2} – 2(**a ∙ b**).

## The Cauchy-Schwarz Inequality

Though often used in linear algebra, this inequality is dependent on the definition of the dot product if it is to work at all. It states that |**a****∙ b**| ≤ ||**a**|| ||**b**||, or that the absolute value of the dot product is less than or equal to the product of the magnitudes of **a** and **b** (789). Here is how we know this to be true.

First, we need to use one of the definitions of the dot product.

|**a****∙ b| = |** ||**a**|| ||**b**|| Cos Θ |

Now we need to take a look at the possible values for Θ. When Θ = 0, Cos 0 = 1 so

|**a****∙ b| = |** ||**a**|| ||**b**|| Cos 0 | = ||**a**|| ||**b**||

When Θ = 90, Cos 90 = 0 so

|**a****∙ b| = |** ||**a**|| ||**b**|| Cos 90 |** = **0.

Now, for the range 0 ≤ Θ ≤ 90, our cosine term is between zero and one, so the absolute value of the dot product is between zero and ||**a**|| ||**b**||. But what about the range of 90 ≤ Θ ≤ 180? Our cosine terms would be between zero and negative one, but because this is the absolute value of both sides, the net value is still the same as it would be for the 0 ≤ Θ ≤ 90 range. So from 0 to π the greatest |**a****∙ b| **can be is

## The Triangle Inequality

As the name implies, this identity stems from a triangle, specifically from the Law of Cosines. The actually inequality is ||**a + b**|| ≤ ||**a**|| + ||**b**||, or that the magnitude of the vector sum **a** + **b **is less than or equal to the actual sum of the magnitudes of **a** and **b **(789). Now, for the proof. The Law of Cosines states that

c^{2} = a^{2} + b^{2} – 2abCosΘ

Or that the long side of a triangle squared will equal the squares of both sides minus two times the sides and cosine of the angle opposite the long side of the triangle. If we make a triangle with short sides of ||**a|| **and ||**b||** with a long side of ||**a + b||** then we will have

||**a + b**||^{2} = ||**a**||^{2} + ||**b**||^{2}- 2 ||**a**|| ||**b**|| CosΘ

Now, we will have several cases to examine. First, if Θ = 0, then Cos0 = 1 so

||**a + b**||^{2} = ||**a**||^{2} + ||**b**||^{2}- 2 ||**a**|| ||**b**|| = (||**a**|| - ||**b**||)^{2}

Or, after taking the square root of both sides,

||**a + b**|| = **||a|| - ||b||**

Which is definitely less than ||**a**|| + ||**b**||, as the inequality states.

Now, what if Θ = 90? Then Cos90 = 0 so

||**a + b**||^{2} = ||**a**||^{2} + ||**b**||^{2}

Which is not only the Pythagorean Theorem but it is also less than ||**a**||^{2} + ||**b**||^{2} + 2 ||**a**|| ||**b**||, or

||**a + b**||^{2} < ||**a**||^{2} + ||**b**||^{2 }+ 2 ||**a**|| ||**b**|| = (||**a||** + ||**b**||)^{2}

And after taking the square root of both sides, we have

||**a + b**|| < ||**a**|| + ||**b**||.

Just as we expect if the Triangle Inequality is true.

If Θ = 180 (which it couldn’t if this were a triangle), Cos180 = -1 so

||**a + b**||^{2} = ||**a**||^{2} + ||**b**||^{2}- 2 ||**a**|| ||**b**|| (-1) = ||**a**||^{2} + ||**b**||^{2}+ 2 ||**a**|| ||**b**|| = (||**a**|| + ||**b**||)^{2}

Or after taking the square root of both sides

||**a + b|| = ||a|| + ||b||**

Again, a result that the Triangle Inequality states is possible. It is interesting to point out what this would look like. In this case, **a **and **b **would both be pointing in opposite directions, so the length of **a + b** would *have* to be the lengths of **a **and **b **individually.

So are we done with the proof? Not quite. What about for the theta range 0 ≤ Θ ≤ 90? That means that 1 ≤ CosΘ ≤ 0 and that everything on the right hand of the Law of Cosines is going to be greater than **||a|| - ||b|| **but less than ||**a**||^{2} + ||**b**||^{2}, which we know from both cases will be bigger than ||**a + b||. **We can use a similar argument for the range 90 ≤ Θ ≤ 180.

## The Cross Product of the Cross Product

As the title implies, we will explore what the cross-cross product is. Below is the proof that will show that **a x (b x c)** = **(a ∙ c)b - (a ∙ b)c **(797). Note that

**a x (b x c) = a x** [**i**(b_{2}c_{3} – b_{3}c_{2}) - **j**(b_{1}c_{3} – b_{3}c_{1}) + **k**(b_{1}c_{2} – b_{2}c_{1})]

Which, if I write it in determinant form is

| **i** **j** **k **|

= | a_{1} a_{2} a_{3} |

| b_{2}c_{3} – b_{3}c_{2} -b_{1}c_{3} + b_{3}c_{1} b_{1}c_{2} – b_{2}c_{1} |

And that can be rewritten after taking the determinant as

**i**[a_{2}(b_{1}c_{2} – b_{2}c_{1}) – a_{3}(-b_{1}c_{3} + b_{3}c_{1})] – **j[**a_{1}(b_{1}c_{2} – b_{2}c_{1}) – a_{3}(b_{2}c_{3} – b_{3}c_{2})] + **z**[a_{1}(-b_{1}c_{3} + b_{3}c_{1}) - a_{2}(b_{2}c_{3} – b_{3}c_{2})]

Oh boy, ready for this algebra?

**i**[a_{2}b_{1}c_{2} – a_{2}b_{2}c_{1} + a_{3}b_{1}c_{3} –a_{3}b_{3}c_{1}] – **j[**a_{1}b_{1}c_{2} – a_{1}b_{2}c_{1} – a_{3}b_{2}c_{3} + a_{3}b_{3}c_{2}] + **z**[-a_{1}b_{1}c_{3} + a_{1}b_{3}c_{1} - a_{2}b_{2}c_{3} + a_{2}b_{3}c_{2}]

= **i**[a_{2}b_{1}c_{2 }+ a_{3}b_{1}c_{3} – a_{2}b_{2}c_{1}–a_{3}b_{3}c_{1}] – **j[**– a_{1}b_{2}c_{1} – a_{3}b_{2}c_{3} + a_{3}b_{3}c_{2 + }a_{1}b_{1}c_{2}] + **z**[a_{1}b_{3}c_{1 }+ a_{2}b_{3}c_{2 }- a_{1}b_{1}c_{3} - a_{2}b_{2}c_{3}]

And after distributing negative signs and distributing unit vectors we have

**i**[a_{2}b_{1}c_{2 }+ a_{3}b_{1}c_{3}] –**i**[ a_{2}b_{2}c_{1} + a_{3}b_{3}c_{1}] + **j[**a_{1}b_{2}c_{1} + a_{3}b_{2}c_{3}] - **j**[a_{3}b_{3}c_{2 + }a_{1}b_{1}c_{2}] + **z**[a_{1}b_{3}c_{1 }+ a_{2}b_{3}c_{2}] – **z**[a_{1}b_{1}c_{3} + a_{2}b_{2}c_{3}]

And If I pull out select b and c terms we will have

**i**b_{1}[a_{2}c_{2 }+ a_{3}c_{3}] –**i**c_{1}[a_{2}b_{2}+ a_{3}b_{3}] + **j**b_{2}**[**a_{1}c_{1} + a_{3}c_{3}] - **j**c_{2}[a_{3}b_{3 + }a_{1}b_{1}] + **z**b_{3}[a_{1}c_{1 }+ a_{2}c_{2}] – **z**c_{3}[a_{1}b_{1} + a_{2}b_{2}]

= **i**b_{1}[a_{2}c_{2 }+ a_{3}c_{3}] + **j**b_{2}**[**a_{1}c_{1} + a_{3}c_{3}] + **z**b_{3}[a_{1}c_{1 }+ a_{2}c_{2}] –**i**c_{1}[a_{2}b_{2}+ a_{3}b_{3}] - **j**c_{2}[a_{3}b_{3 + }a_{1}b_{1}]– **z**c_{3}[a_{1}b_{1} + a_{2}b_{2}]

Now, if I add and subtract specific ab and ac terms so the sum of them is zero, I will have

**i**b_{1}[a_{1}c_{1}+ a_{2}c_{2 }+ a_{3}c_{3 }- a_{1}c_{1}] + **j**b_{2}**[**a_{1}c_{1} + a_{2}c_{2 }+ a_{3}c_{3} - a_{2}c_{2}] + **z**b_{3}[a_{1}c_{1 }+ a_{2}c_{2 }+ a_{3}c_{3 }- a_{3}c_{3}] –**i**c_{1}[a_{1}b_{1} + a_{2}b_{2 }+ a_{3}b_{3 }- a_{1}b_{1}] - **j**c_{2}[a_{1}b_{1 }+ a_{2}b_{2} + a_{3}b_{3 }- a_{2}b_{2}]– **z**c_{3}[a_{1}b_{1} + a_{2}b_{2} + a_{3}b_{3} - a_{3}b_{3}]

But notice now that we have dot products! Further simplifying this now is

**i**b_{1}[**a ∙ c**- a_{1}c_{1}] + **j**b_{2}**[a ∙ c**- a_{2}c_{2}] + **z**b_{3}[**a ∙ c**- a_{3}c_{3}] – **i**c_{1}[**a ∙ b **- a_{1}b_{1}] - **j**c_{2}[**a ∙ b **- a_{2}b_{2}]– **z**c_{3}[**a ∙ b **- a_{3}b_{3}]

And after further distributing the terms, we have

**i**b_{1}[**a ∙ c**]- **i**b_{1}a_{1}c_{1} + **j**b_{2}**[a ∙ c]**- **j**b_{2}a_{2}c_{2} + **z**b_{3}[**a ∙ c]**- **z**b_{3}a_{3}c_{3} – **i**c_{1}[**a ∙ b] **+ **i**c_{1}a_{1}b_{1} - **j**c_{2}[**a ∙ b] + j**c_{2}a_{2}b_{2} – **z**c_{3}[**a ∙ b] **+ **z**c_{3}a_{3}b_{3}

Notice how we have abc terms cancel out, so after eliminating those we have

**i**b_{1}[**a ∙ c**] + **j**b_{2}**[a ∙ c]**+ **z**b_{3}[**a ∙ c]** – **i**c_{1}[**a ∙ b] **- **j**c_{2}[**a ∙ b] **– **z**c_{3}[**a ∙ b] **

**= **[**a ∙ c**][**i**b_{1}+ **j**b_{2}+ **z**b_{3}] – [**a ∙ b]**[**i**c_{1} + **j**c_{2} + **z**c_{3}]

= **(a ∙ c)b - (a ∙ b)c**

## Works Cited

Larson, Ron, Robert Hostetler, and Bruce H. Edwards. Calculus: Early Transcendental Functions. Maidenhead: McGraw-Hill Education, 2007. Print. 772, 789, 797.

- Cross Product of Vectors Properties and Proofs

With the use of the cross product, vector calculus really takes off, exploring new ideas and concepts that would otherwise be denied to us. - Dot Product Properties and Proofs

The mysterious dot product has a basis in vector theory that has wide applications. Here we examine how we know what it is and how to use it.

**© 2014 Leonard Kelley**

## More by this Author

- 0
With the use of the cross product, vector calculus really takes off, exploring new ideas and concepts that would otherwise be denied to us.

- 0
Vectors have components that may overlap other vectors. We are interested in these projections for various reasons, and their proofs offer further insight into vector calculus.

- 2
While they are powerful engines of destruction, the beams they shoot into space are a separate breed of chaos which deserves a closer look.

## Comments

No comments yet.