化简 向量a*(向量b*(向量a*向量c)+向量c*(向量a*向量b))