一个边为蓝色而对角线为红色的平行四边形,两条红线长度的平方之和等于四条蓝线的长度的平方之和。
在数学中,平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它等价于三角形的中线定理。在一般的赋范内积空间(也就是定义了长度和角度的空间)中,也有类似的结果。这个等式的最简单的情形是在普通的平面上:一个平行四边形的两条对角线长度的平方和,等于它四边长度的平方和。假设这个平行四边形是写作
的话,那么平行四边形恒等式就可以写成:
![{\displaystyle (AB)^{2}+(BC)^{2}+(CD)^{2}+(DA)^{2}=(AC)^{2}+(BD)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0649e9ae4d6cccba18d6dfe1c842effa096036a3)
当平行四边形是矩形的时候,由矩形的几何特性可以知,这时两条对角线是一样长的。所以平行四边形恒等式变为:
![{\displaystyle 2(AB)^{2}+2(BC)^{2}=2(AC)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d23690b509e5e78482d99a7068cc4355358a698)
也就是直角三角形的勾股定理:
![{\displaystyle (AB)^{2}+(BC)^{2}=(AC)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/894569cc3faefc6c5f7e89310bef77ffc73c969b)
也就是说,平面上的平行四边形恒等式可以看成是勾股定理的一种推广。
对于一般的四边形,平行四边形恒等式不再成立,但可以得到的是一个相似的不等式:
![{\displaystyle (AB)^{2}+(BC)^{2}+(CD)^{2}+(DA)^{2}\geq (AC)^{2}+(BD)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67e23147c52ce211a0782747bea32359d586eb31)
用一般的语言来说,就是一般四边形的四条边长度的平方和总是大于或者等于两条对角线长度的平方和。一个更加精确的结果是:
![{\displaystyle (AB)^{2}+(BC)^{2}+(CD)^{2}+(DA)^{2}=(AC)^{2}+(BD)^{2}+4x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23492a15a0369b7a450520673898cb02bab25927)
其中的
是两条对角线的中点连成的线段的长度。[1]
在复平面上,可以将平行四边形恒等式写为复数的形式。
![{\displaystyle 2\left(|z|^{2}+|w|^{2}\right)=|z+w|^{2}+|z-w|^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e0424c2305db4302a65cdf3d1512626f978e6ee)
使用勾股定理证明平行四边形恒等式
如右图,在平行四边形
中,设边
的长度为
,过点
作垂直于
的直线交线段
于
,设线段
的长度(即
对应的高)为
,线段
的长度为
。那么
边和
边的长度的平方一样,都是:![{\displaystyle AB^{2}=CD^{2}=a^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57231a07efdeb85672ad0a4b272f14d836d305ec)
边和
边的长度的平方一样。根据勾股定理,可以算出:![{\displaystyle BC^{2}=DA^{2}=g^{2}+h^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4742f79c434e9ff5557e8d2ee90e79be94653ccc)
- 同样的,根据勾股定理,也可以算出对角线
的长度的平方为:![{\displaystyle AC^{2}=(a+g)^{2}+h^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b330da5aab9c8f043a587a0bdf7b2adf64686902)
- 而对角线
的长度的平方则是:![{\displaystyle BD^{2}=(a-g)^{2}+h^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f155459199f92510f9cd1d38c641d3a8936524a3)
于是平行四边形四边长度的平方和等于:
![{\displaystyle AB^{2}+CD^{2}+BC^{2}+DA^{2}=2(a^{2}+g^{2}+h^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6611eb2371bab3bf331235a0e4efaafd58c3b648)
而平行四边形的两条对角线长度的平方和则等于:
![{\displaystyle AC^{2}+BD^{2}=(a+g)^{2}+h^{2}+(a-g)^{2}+h^{2}=2(a^{2}+g^{2}+h^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32bae0dac4e8da9f4ab6b41ca2719e5cb38cbdd0)
可以看到,两者是一样的。
在一个赋范内积空间中,两个向量x和y(红色)的平方和的两倍等于它们的和(深紫色向量)与差(浅紫色向量)的平方和。
更一般的,在高维的欧几里得空间中(比如在三维空间中),可以想象平行四边形恒等式仍然是成立的,因为总可以找到平行四边形所在的平面,然后用平面上的方法证明。而在更广泛的定义了内积(初等几何中“角度”概念的推广,记作
)和相应的范数(初等几何中“长度”概念的推广,记作
)的线性空间中,尽管已经没有直观几何意义上的平行四边形的概念,但仍然会有类似的恒等式:
[2][3]
也就是说,两个向量的和与差的“长度”(范数)的平方和等于它们自己的“长度”的平方和的两倍。
如果是没有定义内积,仅仅有范数的线性空间,则不一定有这样的结果。如果线性空间上定义的范数不是与某个内积相联系(
)的话,那么上面的等式将不再成立。[4][5]
- ^ R.A.约翰逊,单墫 译. 近代欧氏几何学. 上海教育出版社. 1997. ISBN 7-5320-6392-5. ,第56页
- ^ 张贤达. 《矩阵分析与应用》. 清华大学出版社. 2004. ISBN 7-302-09271-0. ,第46页
- ^ Alberto Guzman. Continuous functions of vector variables. Birkhäuser Boston. 2002. ISBN 978-0-817-64273-0. ,第28页
- ^ Jonathan Richard Partington. Interpolation, identification, and sampling. Clarendon Press. 1997. ISBN 978-0-198-50024-7. ,第157页
- ^ 张贤科,许甫华. 《高等代数学》. 清华大学出版社. 2004. ISBN 978-7-302-08227-9. ,第349页