How can I proof this statement? As $a$ and $b$ are vector fields, $$∇ \times (a \times b)=a(\nabla\cdot b)+(b\cdot \nabla)a-b(\nabla\cdot a)-(a\cdot ∇)b$$
And $$ (a \cdot \nabla) a = \nabla ((a^2)/2) - a \times ( \nabla \times a)$$
How can I proof this statement? As $a$ and $b$ are vector fields, $$∇ \times (a \times b)=a(\nabla\cdot b)+(b\cdot \nabla)a-b(\nabla\cdot a)-(a\cdot ∇)b$$
And $$ (a \cdot \nabla) a = \nabla ((a^2)/2) - a \times ( \nabla \times a)$$