資料結構
網路
關係型資料庫管理系統
作業系統
Java
MS Excel
iOS
HTML
CSS
Android
Python
C 程式設計
C++
C#
MongoDB
MySQL
Javascript
PHP
物理
化學
生物
數學
英語
經濟學
心理學
社會學
服裝設計
法律研究證明如果四邊形的對角線相等且互相垂直平分，則該四邊形是正方形。
已知
四邊形的對角線相等且互相垂直平分。
需要證明
我們需要證明它是一個正方形。
解答：
設 $ABCD$ 是一個四邊形，其對角線相等且互相垂直平分。
所以，$AC=BD$
$OA=OC, OB=OD$
$\angle AOB = \angle BOC =\angle COD =\angle AOD = 90^o$
為了證明它是一個正方形，我們需要證明該四邊形是一個平行四邊形，並且其中一個角是 $90^o$。
在 $\triangle AOB$ 和 $\triangle BOC$ 中，
$OA=OC$ (已知)
$OB=OB$ (公共邊)
$\angle AOB= \angle BOC$ ($90^o$)
因此，
$\triangle AOB \cong \triangle BOC$
所以，$AB=BC$
類似地，
$\triangle AOB \cong \triangle AOD$
所以，$AB=AD$
$\triangle COD \cong \triangle BOC$
所以，$CD=BC$
因此，
$AB=BC=CD=AD$
我們可以說，
$AB=CD$ 且 $BC=AD$
由於對邊相等，$ABCD$ 是一個平行四邊形。
在 $\triangle ABC$ 和 $\triangle BCD$ 中，
$AB=CD$ (平行四邊形對邊)
$BC=BC$ (公共邊)
$AC=BD$ (對角線相等)
因此，
$\triangle ABC \cong \triangle BCD$
所以，$\angle B= \angle C$
我們知道平行四邊形的鄰角互補。
$\angle B + \angle C = 180^o$
$\angle B= \angle B = 180^o$
$2 \angle B= 180^o$
$\angle B = \frac{180^o}{2}$
$\angle B =90^o$
因此，$ABCD$ 是一個四邊相等且有一個角為 $90^o$ 的平行四邊形。
所以，$ABCD$ 是一個正方形。
證畢。
51 次瀏覽
