Gradient of a dot product
= Gradient of a dot product
{title2=$\nabla(F\cdot G)=(F\cdot\nabla)G+(G\cdot\nabla)F+F\times\operatorname{curl}G+G\times\operatorname{curl}F$}
For differentiable <vector fields>, expand the <cross products> using the <contraction of two Levi-Civita symbols>. The directional-derivative terms cancel the corresponding terms in the two cross products, leaving $\partial_i(F_jG_j)$. This proves the displayed <gradient> identity by the <product rule>.