컬의 다이벌전스는 항상 0이다
공식
벡터 함수 $\mathbf{A}$의 컬의 다이벌전스는 항상 $0$이다.
$$ \nabla \cdot (\nabla \times \mathbf{A}) = 0 $$
증명
$\mathbf{A}$의 컬은 다음과 같다.
$$ \begin{align*} \nabla \times \mathbf{A} &= \begin{vmatrix} \hat{\mathbf{x}} & \hat{\mathbf{y}} & \hat{\mathbf{z}} \\ \displaystyle \frac{\partial}{\partial x} & \displaystyle \frac{\partial}{\partial y} & \displaystyle \frac{\partial}{\partial z} \\ A_{x} & A_{y} & A_{z} \end{vmatrix} \\ &= \hat{\mathbf{x}} \left( \frac{\partial A_{z}}{\partial y} - \frac{\partial A_{y}}{\partial z} \right) + \hat{\mathbf{y}} \left( \frac{\partial A_{x}}{\partial z} - \frac{ \partial A_{z}}{\partial x} \right) + \hat{\mathbf{z}} \left( \frac{\partial A_{y}}{\partial x}-\frac{\partial A_{x}}{\partial y} \right) \end{align*} $$
어떤 벡터 함수 $\mathbf{F}$의 다이벌전스는 다음과 같다.
$$ \nabla \cdot \mathbf{F} = \dfrac{\partial F_{x}}{\partial x} + \dfrac{\partial F_{y}}{\partial y} + \dfrac{\partial F_{z}}{\partial z} $$
따라서 아래의 결과를 얻는다.
$$ \begin{align*} \nabla \cdot (\nabla \times \mathbf{A}) &= \frac{\partial}{\partial x} \left( \frac{\partial A_{z}}{\partial y} - \frac{\partial A_{y}}{\partial z} \right) + \frac{\partial}{\partial y} \left( \frac{\partial A_{x}}{\partial z} - \frac{ \partial A_{z}}{\partial x} \right) + \frac{\partial}{\partial z} \left( \frac{\partial A_{y}}{\partial x}-\frac{\partial A_{x}}{\partial y} \right) \\ &= \left( {\color{blue}\frac{\partial^2 A_{z}}{\partial x \partial y}} {\color{green}- \frac{\partial ^2 A_{y}}{\partial x \partial z} } \right) + \left( {\color{red}\frac{\partial^2 A_{x}}{\partial y \partial z}} {\color{blue}- \frac{ \partial^2 A_{z}}{\partial y \partial x} }\right) + \left( {\color{green}\frac{\partial^2 A_{y}}{\partial z \partial x} } {\color{red}-\frac{\partial^2 A_{x}}{\partial z \partial y}} \right) \\ &= 0 \end{align*} $$
■