rt，关于向量 A,B,C,DA,B,C,DA,B,C,D
(A∗B)⋅(C∗D)=(A⋅C)(B⋅D)−(A⋅D)(B⋅C)(A*B)·(C*D)=(A·C)(B·D)-(A·D)(B·C)(A∗B)⋅(C∗D)=(A⋅C)(B⋅D)−(A⋅D)(B⋅C)
A∗(B∗(C∗D))=B(A⋅(C∗D))−(A⋅B)(C∗D)A * (B*(C*D))=B(A·(C*D))-(A·B)(C*D)A∗(B∗(C∗D))=B(A⋅(C∗D))−(A⋅B)(C∗D)
为何成立
