Skip to main content

Cross Product

Original Definition

Given two vectors u\mathbf{u} and v\mathbf{v}

u=u1i+u2j+u3k\mathbf{u} =u_1\mathbf{i}+u_2\mathbf{j}+u_3\mathbf{k} v=v1i+v2j+v3k\mathbf{v} =v_1\mathbf{i}+v_2\mathbf{j}+v_3\mathbf{k}

The cross product u×v\mathbf{u}\times \mathbf{v} is defined as a vector that is orthogonal to the plane created by u\mathbf{u} and v\mathbf{v}.

The magnitude:
u×v=uvsinθ\|\mathbf{u}\times \mathbf{v}\|=\|\mathbf{u}\|\|\mathbf{v}\|\sin{\theta}
The direction (right hand rule):

Alternative Definition

Sometimes, you might encounter a definition of the cross product like this:

Alternative Definition:
u×v=(u2v3u3v2)i(u1v3u3v1)j+(u1v2u2v1)k\mathbf{u}\times \mathbf{v}=(u_2v_3-u_3v_2)\mathbf{i}-(u_1v_3-u_3v_1)\mathbf{j}+(u_1v_2-u_2v_1)\mathbf{k}

We will try to Derive this. Here are some useful properties:

Properties:
u×v=v×uu×(v+w)=(u×v)+(u×w)c(u×v)=(cu)×v=u×(cv)u×0=0×u=0u×u=0u(v×w)=(u×v)wi×j=kj×k=ik×i=j\begin{align} \mathbf{u} \times\mathbf{v}&=-\mathbf{v} \times\mathbf{u}\\ \mathbf{u}\times (\mathbf{v}+\mathbf{w})&=(\mathbf{u}\times\mathbf{v})+(\mathbf{u}\times\mathbf{w})\\ c(\mathbf{u}\times \mathbf{v})&=(c\mathbf{u})\times \mathbf{v}=\mathbf{u}\times (c\mathbf{v})\\ \mathbf{u}\times 0&= 0\times \mathbf{u}=0\\ \mathbf{u}\times\mathbf{u}&=0\\ \mathbf{u}\cdot(\mathbf{v}\times \mathbf{w})&=(\mathbf{u}\times \mathbf{v})\cdot \mathbf{w}\\ \mathbf{i}\times \mathbf{j}=\mathbf{k} \qquad \mathbf{j}\times &\mathbf{k}=\mathbf{i} \qquad \mathbf{k}\times \mathbf{i}=\mathbf{j} \end{align}

Derivation
u×v=(u1i+u2j+u3k)×(v1i+v2j+v3k)=(u1i×v1i)+(u1i×v2j)+(u1i×v3k)+(u2j×v1i)+(u2j×v2j)+(u2j×v3k)+(Property 2)(u3k×v1i)+(u3k×v2j)+(u3k×v3k)=u1v1(i×i)+u1v2(i×j)+u1v3(i×k)+u2v1(j×i)+u2v2(j×j)+u2v3(j×k)+(Property 3)u3v1(k×i)+u3v2(k×j)+u3v3(k×k)=u1v2(i×j)+u1v3(i×k)+u2v1(j×i)+u2v3(j×k)+u3v1(k×i)+u3v2(k×j)(Property 5)=u1v2(i×j)u2v1(i×j)+u2v3(j×k)u3v2(j×k)+(Property 1)u3v1(k×i)u1v3(k×i)=(u1v2u2v1)k+(u2v3u3v2)i+(u3v1u1v3)j(Property 7)=(u2v3u3v2)i(u1v3u3v1)j+(u1v2u2v1)k(Rearrange) \begin{align*} \mathbf{u}\times\mathbf{v} =& (u_1\mathbf{i}+u_2\mathbf{j}+u_3\mathbf{k})\times (v_1\mathbf{i}+v_2\mathbf{j}+v_3\mathbf{k}) \\ =&(u_1\mathbf{i}\times v_1\mathbf{i})+(u_1\mathbf{i}\times v_2\mathbf{j})+(u_1\mathbf{i}\times v_3\mathbf{k})+\\ &(u_2\mathbf{j}\times v_1\mathbf{i})+(u_2\mathbf{j}\times v_2\mathbf{j})+(u_2\mathbf{j}\times v_3\mathbf{k})+ &&\text{(Property 2)}\\ &(u_3\mathbf{k}\times v_1\mathbf{i})+(u_3\mathbf{k}\times v_2\mathbf{j})+(u_3\mathbf{k}\times v_3\mathbf{k})\\ =&u_1v_1(\mathbf{i}\times \mathbf{i})+ u_1v_2(\mathbf{i}\times \mathbf{j})+ u_1v_3(\mathbf{i}\times \mathbf{k})+\\ &u_2v_1(\mathbf{j}\times \mathbf{i})+ u_2v_2(\mathbf{j}\times \mathbf{j})+ u_2v_3(\mathbf{j}\times \mathbf{k})+ &&\text{(Property 3)}\\ &u_3v_1(\mathbf{k}\times \mathbf{i})+ u_3v_2(\mathbf{k}\times \mathbf{j})+ u_3v_3(\mathbf{k}\times \mathbf{k})\\ =&u_1v_2(\mathbf{i}\times \mathbf{j})+ u_1v_3(\mathbf{i}\times \mathbf{k})+ u_2v_1(\mathbf{j}\times \mathbf{i})+\\ &u_2v_3(\mathbf{j}\times \mathbf{k})+ u_3v_1(\mathbf{k}\times \mathbf{i})+ u_3v_2(\mathbf{k}\times \mathbf{j}) &&\text{(Property 5)}\\ =&u_1v_2(\mathbf{i}\times \mathbf{j})-u_2v_1(\mathbf{i}\times \mathbf{j})+\\ &u_2v_3(\mathbf{j}\times \mathbf{k})-u_3v_2(\mathbf{j}\times \mathbf{k})+&&\text{(Property 1)}\\ &u_3v_1(\mathbf{k}\times \mathbf{i})-u_1v_3(\mathbf{k}\times \mathbf{i})\\ =&(u_1v_2-u_2v_1)\mathbf{k}+(u_2v_3-u_3v_2)\mathbf{i}+(u_3v_1-u_1v_3)\mathbf{j} &&\text{(Property 7)}\\ =&(u_2v_3-u_3v_2)\mathbf{i}-(u_1v_3-u_3v_1)\mathbf{j}+(u_1v_2-u_2v_1)\mathbf{k} &&\text{(Rearrange)} \end{align*}

Hence,

u×v=(u2v3u3v2)i(u1v3u3v1)j+(u1v2u2v1)k\mathbf{u}\times \mathbf{v}=(u_2v_3-u_3v_2)\mathbf{i}-(u_1v_3-u_3v_1)\mathbf{j}+(u_1v_2-u_2v_1)\mathbf{k} \tag*{$\blacksquare$}

It is obvious that according to our original definition of cross product, the magnitude of the cross product is also equal to the area of parallelogram created by u\mathbf{u} and v\mathbf{v}

Related to parallelogram:
u×v=uvsinθ=Sparallelogram\|\mathbf{u}\times \mathbf{v}\|=\|\mathbf{u}\|\|\mathbf{v}\|\sin{\theta}=S_{\text{parallelogram}}

Interestingly, we could Derive this from our alternative definition. Recall some properties:

Properties:
u=u12+u22+u32uv=u1v1+u2v2+u3v3uv=uvcosθu×v=(u2v3u3v2)i(u1v3u3v1)j+(u1v2u2v1)kcos2θ+sin2θ=1(ab)2=a22ab+b2(a+b+c)2=a2+b2+c2+2(ab+ac+bc)\begin{align} \|\mathbf{u}\|=&\sqrt{u_1^2+u_2^2+u_3^2}\\ \mathbf{u}\cdot \mathbf{v}=u_1v_1&+u_2v_2+u_3v_3\\ \mathbf{u}\cdot \mathbf{v}=|\mathbf{u}\|&\|\mathbf{v}\|\cos{\theta}\\ \mathbf{u}\times \mathbf{v}=(u_2v_3-u_3v_2)\mathbf{i}-(u_1v_3&-u_3v_1)\mathbf{j}+(u_1v_2-u_2v_1)\mathbf{k}\\ \cos^2{\theta}+\sin^2&{\theta}=1\\ (a-b)^2=a^2-&2ab+b^2\\ (a+b+c)^2=a^2+b^2+c^2&+2(ab+ac+bc) \end{align}

Since we want uvsinθ=u×v\|\mathbf{u}\|\|\mathbf{v}\|\sin{\theta} = \|\mathbf{u}\times \mathbf{v}\|, and both side is positive because it is magnitude. Thus, we could alternatively Derive the squared version:

u2v2sin2θ=u×v2\|\mathbf{u}\|^2\|\mathbf{v}\|^2\sin^2{\theta} = \|\mathbf{u}\times \mathbf{v}\|^2
Derivation
u2v2sin2θ=u2v2(1cos2θ)(Property 12)=u2v2(u2v2cos2θ)=u2v2(uv)2(Property 10)=u2v2(u1v1+u2v2+u3v3)2(Property 9)=(u12+u22+u32)(v12+v22+v32)(Property 8)[u12v12+u22v22+u32v32+2(u1v1u2v2+u1v1u3v3+u2v2u3v3)](Property 14)=u12v12+u12v22+u12v32+u22v12+u22v22+u22v32+u32v12+u32v22+u32v32(Cancel terms)u12v12u22v22u32v322u1v1u2v22u1v1u3v32u2v2u3v3=(u22v322u2v2u3v3+u32v22)+(u12v322u1v1u3v3+u32v12)+(Rearrange)(u12v222u1v1u2v2+u22v12)=(u2v3u3v2)2+(u1v3u3v1)2+(u1v2u2v1)2(Property 10)=u×v2 \begin{align*} \|\mathbf{u}\|^2\|\mathbf{v}\|^2\sin^2{\theta} =&\|\mathbf{u}\|^2\|\mathbf{v}\|^2(1-\cos^2{\theta}) &&\text{(Property 12)}\\ =&\|\mathbf{u}\|^2\|\mathbf{v}\|^2-(\|\mathbf{u}\|^2\|\mathbf{v}\|^2\cos^2{\theta})\\ =&\|\mathbf{u}\|^2\|\mathbf{v}\|^2-(\mathbf{u}\cdot \mathbf{v})^2 &&\text{(Property 10)}\\ =&\|\mathbf{u}\|^2\|\mathbf{v}\|^2-(u_1v_1+u_2v_2+u_3v_3)^2 &&\text{(Property 9)}\\ =&(u_1^2+u_2^2+u_3^2)(v_1^2+v_2^2+v_3^2)- &&\text{(Property 8)}\\ &[u_1^2v_1^2+u_2^2v_2^2+u_3^2v_3^2+2(u_1v_1u_2v_2+u_1v_1u_3v_3+u_2v_2u_3v_3)] &&\text{(Property 14)}\\ =&\cancel{u_1^2v_1^2}+u_1^2v_2^2+u_1^2v_3^2+\\ &u_2^2v_1^2+\cancel{u_2^2v_2^2}+u_2^2v_3^2+\\ &u_3^2v_1^2+u_3^2v_2^2+\cancel{u_3^2v_3^2}-&&\text{(Cancel terms)}\\ &\cancel{u_1^2v_1^2}-\cancel{u_2^2v_2^2}-\cancel{u_3^2v_3^2}-\\ &2u_1v_1u_2v_2-2u_1v_1u_3v_3-2u_2v_2u_3v_3\\ =&(u_2^2v_3^2-2u_2v_2u_3v_3+u_3^2v_2^2)+\\ &(u_1^2v_3^2-2u_1v_1u_3v_3+u_3^2v_1^2)+ &&\text{(Rearrange)}\\ &(u_1^2v_2^2-2u_1v_1u_2v_2+u_2^2v_1^2)\\ =&(u_2v_3-u_3v_2)^2+(u_1v_3-u_3v_1)^2+(u_1v_2-u_2v_1)^2 &&\text{(Property 10)}\\ =&\|\mathbf{u}\times \mathbf{v}\|^2 \tag*{\text{(Property 11 and 8)}}\\ \end{align*}

Hence,

u2v2sin2θ=u×v2\|\mathbf{u}\|^2\|\mathbf{v}\|^2\sin^2{\theta} = \|\mathbf{u}\times \mathbf{v}\|^2u×v=uvsinθ=Sparallelogram\|\mathbf{u}\times \mathbf{v}\|=\|\mathbf{u}\|\|\mathbf{v}\|\sin{\theta}=S_{\text{parallelogram}} \tag*{$\blacksquare$}