求证a向量点乘b向量=1/2(|a+b|^2-|a|^2-|b^2|)