# Cross Product Proof #1

The cross product between two vectors $\vec{A}$x$\vec{B}$ and $\vec{C}$ is given by the following equation:
($\vec{A}$x$\vec{B}$)x$\vec{C}$=($\vec{A}$.$\vec{C}$)$\vec{B}$-($\vec{B}$.$\vec{C}$)$\vec{A}$

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 $\vec{A}$,$\vec{B}$ and $\vec{C}$, which are vectors belonging to ℝ3, or mathematically:
$\vec{A}$,$\vec{B}$,$\vec{C}$$\in$ℝ3
Let's define the coordinates of $\vec{A}$,$\vec{B}$ and $\vec{C}$ as the following:
$\vec{A}$=(a1,a2,a3)
$\vec{B}$=(b1,b2,b3)
$\vec{C}$=(c1,c2,c3)
Note that by the definition of cross product, $\vec{A}$x$\vec{B}$ is simultaneously perpendicular to $\vec{A}$ and $\vec{B}$, or:
($\vec{A}$x$\vec{B}$).$\vec{A}$=0
($\vec{A}$x$\vec{B}$).$\vec{B}$=0
Let $\vec{A}$ and $\vec{B}$ be linearly independent, and so they both define a certain plane $\Omega$. Using the same chain of thought, ($\vec{A}$x$\vec{B}$)x$\vec{C}$ is simultaneously perpendicular to $\vec{A}$x$\vec{B}$ and $\vec{C}$, or:
(($\vec{A}$x$\vec{B}$)x$\vec{C}$).($\vec{A}$x$\vec{B}$)=0
(($\vec{A}$x$\vec{B}$)x$\vec{C}$).$\vec{C}$=0
Hence, we can conclude that ($\vec{A}$x$\vec{B}$)x$\vec{C}$ is a linear combination of $\vec{A}$ and $\vec{B}$, and so:
($\vec{A}$x$\vec{B}$)x$\vec{C}$=λ$\vec{A}$+μ$\vec{B}$ $\in$$\Omega$
We can start by noting the resemblance of this equation with the one given, in which λ is a scalar given by -$\vec{B}$.$\vec{C}$ and μ by $\vec{A}$.$\vec{C}$, as we'll soon show. For the next step, let's write the coordinates of ($\vec{A}$x$\vec{B}$)x$\vec{C}$ in respect to λ and μ on the LHS/RHS and in respect to the coordinates of $\vec{A}$,$\vec{B}$ and $\vec{C}$ on the RHS/LHS, like so (skipping intermediary steps):
(a1λ+b1μ,a2λ+b2μ,a3λ+b3μ)=(c3(a3b1-a1b3)-c2(a1b2-a2b1),c1(a1b2-a2b1)-c3(a2b3-a3b2),c2(a2b3-a3b2)-c1(a3b1-a1b3))
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):
λ=c3(a3b1/a1-b3)-c2(b2-a2b1/a1)-μ(b1/a1)
$\Rightarrow$ c1(a1b2-a2b1)-c3(a2b3-a3b2)=a2c3(a3b1/a1-b3)-a2c2(b2-a2b1/a1)-μ(a2b1/a1)+μb2$\Leftrightarrow$μ(b2-a2b1/a1)=-c3(a2a3b1/a1-b3a2+a2b3-a3b2)+a2c2(b2-a2b1/a1)+c1(a1b2-a2b1)$\Rightarrow$μ=a1c1+a2c2+a3c3=$\vec{A}$.$\vec{C}$
Replacing μ in the first line, we get:
λ=c3(a3b1/a1-b3)-c2(b2-a2b1/a1)-(a1c1+a2c2+a3c3)(b1/a1)
Which computed gives:
λ=-(b1c1+b2c2+b3c3)=-$\vec{B}$.$\vec{C}$
Note that initially we thought of $\vec{A}$ and $\vec{B}$ as linearly independent but if we hadn't, that would be saying that $\vec{A}$=κ$\vec{B}$ and such would mean that:
κ($\vec{B}$x$\vec{B}$)x$\vec{C}$=(0,0,0)
And so:
$\vec{A}$=(μ/λ)$\vec{B}$
With κ=μ/λ.

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

Last edited:

tiny-tim
Homework Helper
Welcome to PF!

Hi Mathoholic!! Welcome to PF!

Yes, that's fine …

you're saying that it has to be in the plane of A and B,

and (if they're not parallel) that means it has to be a linear combination of A and B.

But it also has to be perpendicular to C, so (aA + bB).C = 0, so a/b = -(B.C)/(A.C).

Yes, I understood your simplification. But there's a reason I chose the first equation and not the second one, mainly because the second equation doesn't quite tell you what's λ and μ, it only shows that:
λ/μ=-($\vec{B}$.$\vec{C}$)/($\vec{A}$.$\vec{C}$)

The factor (-1) could either be from $\vec{B}$.$\vec{C}$ or $\vec{A}$.$\vec{C}$ and that's significant to the result. I only assumed that it belong to the plane $\Omega$ because that vector is equipolent. Finally, when you have:

α/β=4

You cannot assume that α is 4 and that β is 1. There's ∞1 possibilities of that ratio happening (degree of freedom: 1). So, in the first case there's a possibility that:

λ=±$\vec{A}$.$\vec{C}$±1 $\wedge$ μ=±$\vec{B}$.$\vec{C}$±1 (alternately)