The cross product between two vectors [itex]\vec{A}[/itex]x[itex]\vec{B}[/itex] and [itex]\vec{C}[/itex] is given by the following equation:(adsbygoogle = window.adsbygoogle || []).push({});

([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex]=([itex]\vec{A}[/itex].[itex]\vec{C}[/itex])[itex]\vec{B}[/itex]-([itex]\vec{B}[/itex].[itex]\vec{C}[/itex])[itex]\vec{A}[/itex]

Well, as I'm sure you know, proving something is true is different than proving how something is true. In this proof, I will not only prove it holds up but I also will demonstrate how it came to be.

What is given is [itex]\vec{A}[/itex],[itex]\vec{B}[/itex] and [itex]\vec{C}[/itex], which are vectors belonging to ℝ^{3}, or mathematically:

[itex]\vec{A}[/itex],[itex]\vec{B}[/itex],[itex]\vec{C}[/itex][itex]\in[/itex]ℝ^{3}

Let's define the coordinates of [itex]\vec{A}[/itex],[itex]\vec{B}[/itex] and [itex]\vec{C}[/itex] as the following:

[itex]\vec{A}[/itex]=(a_{1},a_{2},a_{3})

[itex]\vec{B}[/itex]=(b_{1},b_{2},b_{3})

[itex]\vec{C}[/itex]=(c_{1},c_{2},c_{3})

Note that by the definition of cross product, [itex]\vec{A}[/itex]x[itex]\vec{B}[/itex] is simultaneously perpendicular to [itex]\vec{A}[/itex] and [itex]\vec{B}[/itex], or:

([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex]).[itex]\vec{A}[/itex]=0

([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex]).[itex]\vec{B}[/itex]=0

Let [itex]\vec{A}[/itex] and [itex]\vec{B}[/itex] be linearly independent, and so they both define a certain plane [itex]\Omega[/itex]. Using the same chain of thought, ([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex] is simultaneously perpendicular to [itex]\vec{A}[/itex]x[itex]\vec{B}[/itex] and [itex]\vec{C}[/itex], or:

(([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex]).([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])=0

(([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex]).[itex]\vec{C}[/itex]=0

Hence, we can conclude that ([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex] is a linear combination of [itex]\vec{A}[/itex] and [itex]\vec{B}[/itex], and so:

([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex]=λ[itex]\vec{A}[/itex]+μ[itex]\vec{B}[/itex] [itex]\in[/itex][itex]\Omega[/itex]

We can start by noting the resemblance of this equation with the one given, in which λ is a scalar given by -[itex]\vec{B}[/itex].[itex]\vec{C}[/itex] and μ by [itex]\vec{A}[/itex].[itex]\vec{C}[/itex], as we'll soon show. For the next step, let's write the coordinates of ([itex]\vec{A}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex] in respect to λ and μ on the LHS/RHS and in respect to the coordinates of [itex]\vec{A}[/itex],[itex]\vec{B}[/itex] and [itex]\vec{C}[/itex] on the RHS/LHS, like so (skipping intermediary steps):

(a_{1}λ+b_{1}μ,a_{2}λ+b_{2}μ,a_{3}λ+b_{3}μ)=(c_{3}(a_{3}b_{1}-a_{1}b_{3})-c_{2}(a_{1}b_{2}-a_{2}b_{1}),c_{1}(a_{1}b_{2}-a_{2}b_{1})-c_{3}(a_{2}b_{3}-a_{3}b_{2}),c_{2}(a_{2}b_{3}-a_{3}b_{2})-c_{1}(a_{3}b_{1}-a_{1}b_{3}))

Now we have three equations with only 2 unknowns (λ,μ), which algebraically means that there's no degree of freedom in the system. These equations may not be easy on the eyes but with strong motivation, they're feesable. And they go as follows (from x and y coordinates):

λ=c_{3}(a_{3}b_{1}/a_{1}-b_{3})-c_{2}(b_{2}-a_{2}b_{1}/a_{1})-μ(b_{1}/a_{1})

[itex]\Rightarrow[/itex] c_{1}(a_{1}b_{2}-a_{2}b_{1})-c_{3}(a_{2}b_{3}-a_{3}b_{2})=a_{2}c_{3}(a_{3}b_{1}/a_{1}-b_{3})-a_{2}c_{2}(b_{2}-a_{2}b_{1}/a_{1})-μ(a_{2}b_{1}/a_{1})+μb_{2}[itex]\Leftrightarrow[/itex]μ(b_{2}-a_{2}b_{1}/a_{1})=-c_{3}(a_{2}a_{3}b_{1}/a_{1}-b_{3}a_{2}+a_{2}b_{3}-a_{3}b_{2})+a_{2}c_{2}(b_{2}-a_{2}b_{1}/a_{1})+c_{1}(a_{1}b_{2}-a_{2}b_{1})[itex]\Rightarrow[/itex]μ=a_{1}c_{1}+a_{2}c_{2}+a_{3}c_{3}=[itex]\vec{A}[/itex].[itex]\vec{C}[/itex]

Replacing μ in the first line, we get:

λ=c_{3}(a_{3}b_{1}/a_{1}-b_{3})-c_{2}(b_{2}-a_{2}b_{1}/a_{1})-(a_{1}c_{1}+a_{2}c_{2}+a_{3}c_{3})(b_{1}/a_{1})

Which computed gives:

λ=-(b_{1}c_{1}+b_{2}c_{2}+b_{3}c_{3})=-[itex]\vec{B}[/itex].[itex]\vec{C}[/itex]

Note that initially we thought of [itex]\vec{A}[/itex] and [itex]\vec{B}[/itex] as linearly independent but if we hadn't, that would be saying that [itex]\vec{A}[/itex]=κ[itex]\vec{B}[/itex] and such would mean that:

κ([itex]\vec{B}[/itex]x[itex]\vec{B}[/itex])x[itex]\vec{C}[/itex]=(0,0,0)

And so:

[itex]\vec{A}[/itex]=(μ/λ)[itex]\vec{B}[/itex]

With κ=μ/λ.

If you find any incongruence in this resolution (or any doubt), let me know.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Cross Product Proof #1

Loading...

Similar Threads for Cross Product Proof |
---|

B Product rule OR Partial differentiation |

B Proof of a limit rule |

B Derivative with the double cross product |

B Proof of quotient rule using Leibniz differentials |

**Physics Forums | Science Articles, Homework Help, Discussion**