已知向量a,向量b是两个非零向量,求证向量a*向量b=1/2(|向量a+向量b|-|向量a|^2-|向量b|^2)