91Ó°ÊÓ

To prove any rule, simplify its left and right side, and comare them with each other.

Let the vector A.B is defined as $A.B=A_x{B}_x+A_y{B}_y+A_z{B}_z$and the $∇$operator is defined aslocalid="1657363605182" $∇=\frac{∂}{∂x}i+\frac{∂}{∂y}j+\frac{∂}{∂z}k$. The gradient of vector A.B is obtaind as

localid="1657363881919" $$\begin{gathered} \left|∇\left(A.B\right)\right|=\left(\frac{∂}{∂x}{A}_x{B}_x+\frac{∂}{∂y}{A}_y{B}_y+\frac{∂}{∂z}{A}_z{B}_z\right) \\ =\frac{∂A_x}{∂x}{B}_x+\frac{∂B_x}{∂X}{A}_x+\frac{∂A_y}{∂x}{B}_y+\frac{∂A_z}{∂x}{B}_z\frac{∂A_z}{∂x}{B}_{z.....\left(1\right)} \end{gathered}$$

Compute $\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|$in x direction.

$$\begin{gathered} {\left|A×\left(∇xB\right)\right|}_x=B_y{\left(∇xA\right)}_z×\left(∇xA\right) \\ =B_y\left(\frac{∂A_y}{∂x}-\frac{∂B_x}{∂y}\right)-B_z+\left(\frac{∂A_x}{∂z}-\frac{∂A_x}{∂x}\right).....\left(2\right) \end{gathered}$$

$$\begin{gathered} \mathrm{Now}\mathrm{Compute}{\left|\left(\mathrm{A}.\mathrm{V}\right)\mathrm{B}\right|}_{\mathrm{x}}\mathrm{in}\mathrm{x}\mathrm{direction}. \\ {\left|\left(\mathrm{A}.\mathrm{V}\right)\mathrm{B}\right|}_{\mathrm{x}}=\left({\mathrm{A}}_{\mathrm{x}}\frac{∂}{∂\mathrm{x}}+{\mathrm{A}}_{\mathrm{y}}\frac{∂}{∂\mathrm{y}}={\mathrm{A}}_{\mathrm{z}}\frac{∂}{∂\mathrm{z}}\right){\mathrm{B}}_{\mathrm{x}} \\ ={\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{x}}+{\mathrm{A}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}}={\mathrm{A}}_{\mathrm{z}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{z}} \\ \mathrm{Now}\mathrm{Compute}{\left|\left(\mathrm{B}.\mathrm{V}\right)\mathrm{A}\right|}_{\mathrm{x}}\mathrm{in}\mathrm{x}\mathrm{direction}. \end{gathered}$$

$$\begin{gathered} \mathrm{Now}\mathrm{Compute}{\left|\left(\mathrm{A}.\mathrm{V}\right)\mathrm{B}\right|}_{\mathrm{x}}\mathrm{in}\mathrm{x}\mathrm{direction}. \\ {\left|\left(B.\mathrm{V}\right)A\right|}_{\mathrm{x}}=\left(B_{\mathrm{x}}\frac{∂}{∂\mathrm{x}}+B_{\mathrm{y}}\frac{∂}{∂\mathrm{y}}=B_{\mathrm{z}}\frac{∂}{∂\mathrm{z}}\right)A_{\mathrm{x}} \\ =B_{\mathrm{x}}\frac{∂A_{\mathrm{x}}}{∂\mathrm{x}}+B_{\mathrm{y}}\frac{∂A_{\mathrm{x}}}{∂\mathrm{y}}=B_{\mathrm{z}}\frac{∂A_{\mathrm{x}}}{∂\mathrm{z}} \end{gathered}$$

$$\begin{gathered} \mathrm{Now}\mathrm{add}\mathrm{the}\mathrm{equations}\left(1\right),\left(2\right),\left(3\right)\mathrm{and}\left(4\right)\mathrm{and}\mathrm{simplify}. \\ {\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{x}}+{\left|\mathrm{B}×\left(∇×\mathrm{A}\right)\right|}_{\mathrm{x}}+{\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{x}}+{\left|\mathrm{B}×\left(∇×\mathrm{A}\right)\right|}_{\mathrm{x}}={\mathrm{A}}_{{\mathrm{y}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}-{\mathrm{A}}_{{\mathrm{y}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}-{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}} \\ -{\mathrm{B}}_{{\mathrm{z}}_{}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{x}}-{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{z}}}{∂\mathrm{x}}+{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}-{\mathrm{A}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}} \\ +{\mathrm{A}}_{{\mathrm{z}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{y}}-{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{Z}} \\ ={\mathrm{A}}_{{\mathrm{y}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}-{\mathrm{A}}_{\mathrm{z}}\frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{x}}-{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{z}}}{∂\mathrm{x}} \\ +{\mathrm{A}}_{{\mathrm{x}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{x}} \end{gathered}$$

Substitute${\left|∇\left(A.B\right)\right|}_X$forlocalid="1657513961797" ${\mathrm{A}}_{{\mathrm{y}}_{}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}+{\mathrm{A}}_{\mathrm{z}}\frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{z}}}{∂\mathrm{x}}+{\mathrm{A}}_{\mathrm{X}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{x}}+{\mathrm{B}}_{\mathrm{X}}\frac{∂{\mathrm{A}}_{\mathrm{X}}}{∂\mathrm{x}}$in above simplification.

$$\begin{gathered} {\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{x}}+{\left|\mathrm{B}×\left(∇×\mathrm{A}\right)\right|}_{\mathrm{x}}+{\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{x}}+{\left|∇\left(\mathrm{A}.\mathrm{B}\right)\right|}_{\mathrm{y}} \\ \mathrm{Similarly}\mathrm{we}\mathrm{can}\mathrm{write} \\ {\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{Z}}+{\left|\mathrm{B}×\left(∇×\mathrm{A}\right)\right|}_{\mathrm{Z}}+{\left|\mathrm{A}.\left(∇×\mathrm{B}\right)\right|}_{\mathrm{Z}}+{\left|\left(\mathrm{B}.∇\right)\mathrm{A}\right|}_{\mathrm{y}}={\left|∇\left(\mathrm{A}.\mathrm{B}\right)\right|}_{\mathrm{y}} \\ {\left|\mathrm{A}×\left(∇×\mathrm{B}\right)\right|}_{\mathrm{Z}}+{\left|\mathrm{B}×\left(∇×\mathrm{A}\right)\right|}_{\mathrm{Z}}+{\left|\mathrm{A}.\left(∇×\mathrm{B}\right)\right|}_{\mathrm{Z}}+{\left|\left(\mathrm{B}.∇\right)\mathrm{A}\right|}_{\mathrm{Z}}={\left|∇\left(\mathrm{A}.\mathrm{B}\right)\right|}_{\mathrm{Z}} \\ \mathrm{thus}\mathrm{it}\mathrm{is}\mathrm{proved}\mathrm{that}∇\left(\mathrm{A}.\mathrm{B}\right)=\mathrm{A}×\left(∇×\mathrm{B}\right)+\mathrm{B}×\left(∇×\mathrm{A}\right)+\left(\mathrm{A}.∇\right)\mathrm{B}+\left(\mathrm{B}.∇\right)\mathrm{A} \end{gathered}$$

$$\begin{gathered} \mathrm{Compute}\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|\mathrm{in}\mathrm{x}\mathrm{direction}. \\ {\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|}_{\mathrm{X}}=\frac{∂}{∂\mathrm{y}}{\left(\mathrm{A}×\mathrm{B}\right)}_{\mathrm{z}}×\frac{∂}{∂\mathrm{y}}{\left(\mathrm{A}×\mathrm{B}\right)}_{\mathrm{y}} \\ =\frac{∂}{∂\mathrm{y}}{\left({\mathrm{A}}_{\mathrm{x}}{\mathrm{B}}_{\mathrm{y}}-{\mathrm{A}}_{\mathrm{y}}{\mathrm{B}}_{\mathrm{x}}\right)}_{\mathrm{z}}-\frac{∂}{∂\mathrm{z}}\left({\mathrm{A}}_{\mathrm{z}}{\mathrm{B}}_{\mathrm{x}}-{\mathrm{A}}_{\mathrm{z}}{\mathrm{B}}_{\mathrm{x}}\right) \\ ={\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{y}}+{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}}-{\mathrm{A}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}}-{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{y}}-{\mathrm{A}}_{\mathrm{z}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{z}}-{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{z}}}{∂\mathrm{z}}+{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{z}}+{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{z}} \end{gathered}$$

$$\begin{gathered} \mathrm{Now}\mathrm{Compute}{\left|\left(\mathrm{B}.∇\right)\mathrm{A}-\left(\mathrm{A}.∇\right)\mathrm{B}+\mathrm{A}\left(∇.\mathrm{B}\right)-\mathrm{B}\left(∇.\mathrm{A}\right)\right|}_{\mathrm{x}}\mathrm{in}\mathrm{x}\mathrm{direction}. \\ {\left|\left(\mathrm{B}.∇\right)\mathrm{A}-\left(\mathrm{A}.∇\right)\mathrm{B}+\mathrm{A}\left(∇.\mathrm{B}\right)-\mathrm{B}\left(∇.\mathrm{A}\right)\right|}_{\mathrm{x}}=\left(\begin{array}{c}{\mathrm{B}}_{\mathrm{x}}\frac{∂}{∂\mathrm{X}}+\\ {\mathrm{B}}_{\mathrm{y}}\frac{∂}{∂\mathrm{y}}+\\ {\mathrm{B}}_{\mathrm{z}}\frac{∂}{∂\mathrm{z}}+\end{array}\right){\mathrm{A}}_{\mathrm{x}}-\left(\begin{array}{c}{\mathrm{A}}_{\mathrm{x}}\frac{∂}{∂\mathrm{X}}+\\ {\mathrm{A}}_{\mathrm{y}}\frac{∂}{∂\mathrm{y}}+\\ {\mathrm{A}}_{\mathrm{z}}\frac{∂}{∂\mathrm{z}}+\end{array}\right){\mathrm{B}}_{\mathrm{x}}+\left(\begin{array}{c}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{X}}+\\ \frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{y}}+\\ \frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{z}}\end{array}\right){\mathrm{A}}_{\mathrm{x}}-\left(\begin{array}{c}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{X}}+\\ \frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{y}}+\\ \frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{z}}+\end{array}\right){\mathrm{B}}_{\mathrm{x}} \end{gathered}$$

$$\begin{gathered} ={\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{X}}+{\mathrm{B}}_{\mathrm{y}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{y}}{\mathrm{B}}_{\mathrm{z}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{z}}{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{X}}{\mathrm{A}}_{\mathrm{y}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}}{\mathrm{A}}_{\mathrm{z}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{z}} \\ ={\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{X}}+{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{y}}{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{z}}{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{X}}{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{y}}{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{z}} \\ ={\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{y}}}{∂\mathrm{y}}+{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{y}}{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{y}}{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{y}}}{∂\mathrm{y}}{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{x}}}{∂\mathrm{z}} \\ ={\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{z}}}{∂\mathrm{z}}+{\mathrm{B}}_{\mathrm{x}}\frac{∂{\mathrm{A}}_{\mathrm{x}}}{∂\mathrm{z}}{\mathrm{A}}_{\mathrm{x}}\frac{∂{\mathrm{B}}_{\mathrm{z}}}{∂\mathrm{z}} \\ ={\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|}_{\mathrm{x}} \end{gathered}$$

Similarly we can write,

$$\begin{gathered} {\left|\left(\mathrm{B}.∇\right)\mathrm{A}-\left(\mathrm{A}.∇\right)\mathrm{B}+\mathrm{A}\left(∇.\mathrm{B}\right)-\mathrm{B}\left(∇.\mathrm{A}\right)\right|}_{\mathrm{y}}={\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|}_{\mathrm{y}} \\ {\left|\left(\mathrm{B}.∇\right)\mathrm{A}-\left(\mathrm{A}.∇\right)\mathrm{B}+\mathrm{A}\left(∇.\mathrm{B}\right)-\mathrm{B}\left(∇.\mathrm{A}\right)\right|}_{\mathrm{z}}={\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|}_{\mathrm{z}} \\ \mathrm{Thus},\left|∇×\left(\mathrm{A}×\mathrm{B}\right)\right|=\left(\mathrm{B}.∇\right)\mathrm{A}-\left(\mathrm{A}.∇\right)\mathrm{B}+\mathrm{A}\left(∇.\mathrm{B}\right)-\mathrm{B}\left(∇.\mathrm{A}\right) \end{gathered}$$