梯度、散度、旋度表达式的推导