向量极化恒等式推导

极化恒等式是联系内积与范数的一个重要的等式，是用范数表示内积的公式。设H是内积空间，‖·‖是由内积(·，·)导出的范数，下列等式常被称为极化恒等式：

当H是实空间时，(x，y)=(1/4)(‖x+y‖2-‖x-y‖2)当H是复空间时，(x，y)=(1/4)(‖x+y‖2-‖x-y‖2+i‖x+iy‖2-i‖x-iy‖2)。

对于实内积空间上的双线性埃尔米特泛函以及复内积空间上的双线性泛函φ(x，y)也分别有类似于上述的恒等式。

极化恒等式表面平面向量的数量积运算可以转化为平面向量线性运算的模，如果将平面向量换成实数，那么上述公式也叫“广义平方差”公式。