A×(×A)=1/2*A^2-A(·A)的证明