三个矢量的二重叉积公式推导矢量 a b c 证明1.a*(b*c)=(a.c).b-(a.b).c2.(a*b)*c=(