根据算符▽的微分性与矢量性，推导下列公式： ▽（A·B)=B×（▽×A)＋（B·▽)A＋A×（▽×B)＋（A·▽)B A×（▽×A)=▽A2－（A·▽)A

根据算符▽的微分性与矢量性，推导下列公式：

  ▽(A·B)=B×(▽×A)+(B·▽)A+A×(▽×B)+(A·▽)B

  A×(▽×A)=▽A²-(A·▽)A