WOLFRAM LANGUAGE 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[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
Less famous three-dimensional identities:
In[4]:=
Click for copyable input
Out[4]=
In[5]:=
Click for copyable input
Out[5]=
Two four-dimensional identities:
In[6]:=
Click for copyable input
Out[6]=
In[7]:=
Click for copyable input
Out[7]=
In[8]:=
Click for copyable input
Out[8]=