平行四边形恒等式

在数学中，平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它等价于三角形的中线定理。在一般的赋范内积空间（也就是定义了长度和角度的空间）中，也有类似的结果。这个等式的最简单的情形是在普通的平面上：一个平行四边形的两条对角线长度的平方和，等于它四边长度的平方和。假设这个平行四边形是写作${\displaystyle ABCD}$的话，那么平行四边形恒等式就可以写成：

当平行四边形是矩形的时候，由矩形的几何特性可以知，这时两条对角线是一样长的。所以平行四边形恒等式变为：

也就是直角三角形的勾股定理：

也就是说，平面上的平行四边形恒等式可以看成是勾股定理的一种推广。

对于一般的四边形，平行四边形恒等式不再成立，但可以得到的是一个相似的不等式：

用一般的语言来说，就是一般四边形的四条边长度的平方和总是大于或者等于两条对角线长度的平方和。一个更加精确的结果是：

其中的${\displaystyle x}$是两条对角线的中点连成的线段的长度。

在复平面上，可以将平行四边形恒等式写为复数的形式。

如右图，在平行四边形${\displaystyle ABCD}$中，设边${\displaystyle AB}$的长度为${\displaystyle a}$，过点${\displaystyle B}$作垂直于${\displaystyle AB}$的直线交线段${\displaystyle CD}$于${\displaystyle H}$，设线段${\displaystyle BH}$的长度（即${\displaystyle AB}$对应的高）为${\displaystyle h}$，线段${\displaystyle HC}$的长度为${\displaystyle g}$。那么

于是平行四边形四边长度的平方和等于：

而平行四边形的两条对角线长度的平方和则等于：

可以看到，两者是一样的。

更一般的，在高维的欧几里得空间中（比如在三维空间中），可以想象平行四边形恒等式仍然是成立的，因为总可以找到平行四边形所在的平面，然后用平面上的方法证明。而在更广泛的定义了内积（初等几何中“角度”概念的推广，记作${\displaystyle ⟨<!--\; ⟨\; -->\cdot <!--\; \cdot \; -->,\cdot <!--\; \cdot \; -->⟩<!--\; ⟩\; -->}$）和相应的范数（初等几何中“长度”概念的推广，记作${\displaystyle \Vert <!--\; \Vert \; -->x\Vert <!--\; \Vert \; -->=\sqrt{⟨<!--\; ⟨\; -->x,x⟩<!--\; ⟩\; -->}}$）的线性空间中，尽管已经没有直观几何意义上的平行四边形的概念，但仍然会有类似的恒等式：

也就是说，两个向量的和与差的“长度”（范数）的平方和等于它们自己的“长度”的平方和的两倍。

如果是没有定义内积，仅仅有范数的线性空间，则不一定有这样的结果。如果线性空间上定义的范数不是与某个内积相联系（${\displaystyle \Vert <!--\; \Vert \; -->x\Vert <!--\; \Vert \; -->=\sqrt{⟨<!--\; ⟨\; -->x,x⟩<!--\; ⟩\; -->}}$）的话，那么上面的等式将不再成立。

${\displaystyle \Vert <!--\; \Vert \; -->x+y{\Vert <!--\; \Vert \; -->}^2+\Vert <!--\; \Vert \; -->x-<!--\; -\; -->y{\Vert <!--\; \Vert \; -->}^2=⟨<!--\; ⟨\; -->x+y,x+y⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->x-<!--\; -\; -->y,x-<!--\; -\; -->y⟩<!--\; ⟩\; -->}$

${\displaystyle =⟨<!--\; ⟨\; -->x,x⟩<!--\; ⟩\; -->+2⟨<!--\; ⟨\; -->x,y⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->y,y⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->x,x⟩<!--\; ⟩\; -->-<!--\; -\; -->2⟨<!--\; ⟨\; -->x,y⟩<!--\; ⟩\; -->+⟨<!--\; ⟨\; -->y,y⟩<!--\; ⟩\; -->}$

${\displaystyle =2⟨<!--\; ⟨\; -->x,x⟩<!--\; ⟩\; -->+2⟨<!--\; ⟨\; -->y,y⟩<!--\; ⟩\; -->=2(\Vert <!--\; \Vert \; -->x{\Vert <!--\; \Vert \; -->}^2+\Vert <!--\; \Vert \; -->y{\Vert <!--\; \Vert \; -->}^2)}$