在数学中，平行四边形恒等式是描述平行四邊形的几何特性的一个恒等式。它等價於三角形的中線定理。在一般的赋范内积空间（也就是定义了长度和角度的空间）中，也有类似的结果。这个等式的最简单的情形是在普通的平面上：一个平行四边形的兩條對角線长度的平方和，等於它四邊长度的平方和。假设这个平行四边形是写作ABCD的话，那么平行四边形恒等式就可以写成：
:(AB)^2+(BC)^2+(CD)^2+(DA)^2=(AC)^2+(BD)^2
当平行四边形是矩形的时候，由矩形的几何特性可以知，这时两条对角线是一样长的。所以平行四边形恒等式变为：
:2(AB)^2+2(BC)^2 = 2(AC)^2
也就是直角三角形的勾股定理：
:(AB)^2+(BC)^2 = (AC)^2
也就是说，平面上的平行四边形恒等式可以看成是勾股定理的一种推广。
一般四边形的情况
对于一般的四边形，平行四边形恒等式不再成立，但可以得到的是一个相似的不等式：
: (AB)^2+(BC)^2+(CD)^2+(DA)^2 \ge (AC)^2+(BD)^2
用一般的语言来说，就是一般四边形的四条边长度的平方和总是大于或者等于两条对角线长度的平方和。一个更加精确的结果是：
: (AB)^2+(BC)^2+(CD)^2+(DA)^2 = (AC)^2+(BD)^2 + 4x^2
其中的x是两条对角线的中点连成的线段的长度。
複平面情形
在复平面上，可以将平行四边形恒等式表达为複數模的形式。
: 2\left(|z|^2+|w|^2\right) = |z+w|^2 + |z-w|^2.
使用勾股定理的證明
如右图，在平行四邊形ABCD中，设边AB的長度为a，過点B作垂直于AB的直線交线段CD於H，设线段BH的長度（即AB對應的高）为h，线段HC的長度为g。那么
- AB边和CD边的长度的平方一样，都是：AB^2=CD^2=a^2
- BC边和DA边的长度的平方一样。根据勾股定理，可以算出：BC^2=DA^2=g^2+h^2
- 同样的，根据勾股定理，也可以算出对角线AC的长度的平方为：AC^2=(a+g)^2+h^2
- 而对角线BD的长度的平方则是：BD^2=(a-g)^2+h^2
于是平行四边形四邊长度的平方和等于：
:AB^2+CD^2+BC^2+DA^2=2(a^2+g^2+h^2)
而平行四边形的两条對角線长度的平方和则等于：
:AC^2+BD^2=(a+g)^2+h^2+(a-g)^2+h^2=2(a^2+g^2+h^2)
可以看到，两者是一样的。
赋範內積空間上的推广
更一般的，在高维的欧几里得空间中（比如在三维空间中），可以想象平行四边形恒等式仍然是成立的，因为总可以找到平行四边形所在的平面，然后用平面上的方法证明。而在更广泛的定义了内积（初等几何中“角度”概念的推广，记作\langle \cdot , \cdot \rangle）和相应的范数（初等几何中“长度”概念的推广，记作\| x \| = \sqrt{\langle x , x \rangle}）的线性空间中，尽管已经没有直观几何意义上的平行四边形的概念，但仍然会有类似的恒等式：
:\|x+y\|^2+\|x-y\|^2=2(\|x\|^2+\|y\|^2)
也就是说，两个向量的和与差的“长度”（范数）的平方和等于它们自己的“长度”的平方和的两倍。
如果是没有定义内积，仅仅有范数的线性空间，则不一定有这样的结果。如果线性空间上定义的范数不是与某个内积相联系（\| x \| = \sqrt{\langle x , x \rangle}）的话，那么上面的等式将不再成立。
使用内积和范数的證明
\|x+y\|^2+\|x-y\|^2 = \langle x+y, x+y\rangle + \langle x-y, x-y\rangle
= \langle x, x \rangle +2 \langle x, y\rangle +\langle y, y\rangle
\ +\
\langle x, x\rangle - 2 \langle x, y\rangle + \langle y, y\rangle
= 2\langle x, x \rangle + 2\langle y, y\rangle = 2(\|x\|^2+\|y\|^2)
参见
*托勒密定理
*中线定理
*余弦定理
*希尔伯特空间
*极化恒等式
参考来源
评论 (0)