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