MATHEMATICA FEATURED EXAMPLE

Derive and Verify Vector Identities

Simplify expressions involving combinations of cross products and dot products in any dimension.

    
Famous three-dimensional identities:
In[21]:=
Click for copyable input
Out[21]=
In[22]:=
Click for copyable input
Out[22]=
In[23]:=
Click for copyable input
Out[23]=
Less famous three-dimensional identities:
In[24]:=
Click for copyable input
Out[24]=
In[25]:=
Click for copyable input
Out[25]=
A four-dimensional cross product involves three vectors:
In[26]:=
Click for copyable input
Out[26]=
In[27]:=
Click for copyable input
Out[27]=
For identities not involving the cross product, it may be necessary to declare that symbols are vectors of a particular dimension:
In[28]:=
Click for copyable input
Out[28]=
In[29]:=
Click for copyable input
Out[29]=
New to Mathematica? Find your learning path »
Have a question? Ask support »