参考答案(默认展开,可收起)
\[
\nabla\left(\frac{\mathbf n\cdot\mathbf n}{2}\right)=\mathbf 0.
\]
对任意矢量场有分量恒等式
\[
[\mathbf n\times(\nabla\times\mathbf n)]_i
=n_j\partial_i n_j-n_j\partial_j n_i.
\]
因此
\[
[(\mathbf n\cdot\nabla)\mathbf n+\mathbf n\times(\nabla\times\mathbf n)]_i
=n_j\partial_j n_i+n_j\partial_i n_j-n_j\partial_j n_i
=n_j\partial_i n_j.
\]
而
\[
n_j\partial_i n_j
=\left[\nabla\left(\frac{\mathbf n\cdot\mathbf n}{2}\right)\right]_i=0.
\]
于是
\[
(\mathbf n\cdot\nabla)\mathbf n+\mathbf n\times(\nabla\times\mathbf n)=0.
\]
移项并利用叉乘反对称性,得
\[
(\mathbf n\cdot\nabla)\mathbf n
=-(\mathbf n\times\operatorname{rot}\mathbf n)
=\operatorname{rot}\mathbf n\times\mathbf n.
\]
这就从分量恒等式和 \(|\mathbf n|\) 为常量两点完成证明。











