证:向量a*向量b=1/2(I向量a+向量bI)平方-I向量aI平方-I向量bI平方)