>>694
∇・(A×B)
=∂x(AyBz-AzBy)+∂y(AzBx-AxBz)+∂z(AxBy-AyBx)
=Bz∂xAy-By∂xAz+Bx∂yAz-Bz∂yAx+By∂zAx-Bx∂zAy
+Ay∂xBz-Az∂xBy+Az∂yBx-Ax∂yBz+Ax∂zBy-Ay∂zBx
=Bx(∂yAz-∂zAy)+By(∂zAx-∂xAz)+Bz(∂xAy-∂yAx)
-Ax(∂yBz-∂zBy)-Ay(∂zBx-∂xBz)-Az(∂xBy-∂yBx)
=B・(∇×A)−A・(∇×B)