Could someone help me prove this identity:
Let F and G be vector fields and let % be the operator (d/dx)*i + (d/dy)*j +(d/dz)*k where d/dx equals the partial derivative of x, etc.
%*(FxG) = (%xF)*G - F*(%xG).
* is the dot product
x is the cross product
- is subtraction
I'm sorry for the notation. Thanks.