极化恒等式 极化恒等式英语Polarization identity是一个用范数来计算两个向量的内积的公式