平行四邊形恆等式

在數學中，平行四邊形恆等式是描述平行四邊形的幾何特性的一個恆等式。它等價於三角形的中線定理。在一般的賦范內積空間（也就是定義了長度和角度的空間）中，也有類似的結果。這個等式的最簡單的情形是在普通的平面上：一個平行四邊形的兩條對角線長度的平方和，等於它四邊長度的平方和。假設這個平行四邊形是寫作 $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}\geq (AC)^{2}+(BD)^{2}

用一般的語言來說，就是一般四邊形的四條邊長度的平方和總是大於或者等於兩條對角線長度的平方和。一個更加精確的結果是：

(AB)^{2}+(BC)^{2}+(CD)^{2}+(DA)^{2}=(AC)^{2}+(BD)^{2}+4x^{2}

其中的 $x$ 是兩條對角線的中點連成的線段的長度。^[1]

複平面情形

在複平面上，可以將平行四邊形恆等式寫為複數的形式。

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})

^[2]^[3]

也就是說，兩個向量的和與差的「長度」（範數）的平方和等於它們自己的「長度」的平方和的兩倍。

如果是沒有定義內積，僅僅有範數的線性空間，則不一定有這樣的結果。如果線性空間上定義的範數不是與某個內積相聯繫（ $\|x\|={\sqrt {\langle x,x\rangle }}$ ）的話，那麼上面的等式將不再成立。^[4]^[5]

使用內積和範數的證明

$\|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})$

參見

參考來源

^ 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頁

[1] R.A.約翰遜，單墫譯. 近代欧氏几何学. 上海教育出版社. 1997. ISBN 7-5320-6392-5. ，第56頁

[2] 張賢達. 《矩阵分析与应用》. 清華大學出版社. 2004. ISBN 7-302-09271-0. ，第46頁

[3] Alberto Guzman. Continuous functions of vector variables. Birkhäuser Boston. 2002. ISBN 978-0-817-64273-0. ，第28頁

[4] Jonathan Richard Partington. Interpolation, identification, and sampling. Clarendon Press. 1997. ISBN 978-0-198-50024-7. ，第157頁

[5] 張賢科,許甫華. 《高等代数学》. 清華大學出版社. 2004. ISBN 978-7-302-08227-9. ，第349頁

[1]

[2]

[3]

[4]

[5]