[定理] 商高定理





定理內容:
直角三角形ABC中,∠C為直角
則AC^2+BC^2=AB^2
此定理也叫畢氏定理、勾股弦定理

定理證明:


作AB邊上的高CD

∠CAD=∠DCB
∠CBD=∠DCA

根據兩上式可得到

△ABC相似於△ACD→AB/AC=AC/AD→AC^2=AB*AD
△ABC相似於△CBD→AB/BC=BC/BD→BC^2=AB*BD

AC^2+BC^2=AB*AD+AB*BD=AB(AD+BD)=AB^2

得證


逆定理內容:
△ABC中若AC^2+BC^2=AB^2
則△ABC為直角三角形且∠C為直角

逆定理證明:
用反證法

若∠ACB>90°
則可在AC延長線上取一點D使得∠ADB=90°
則由商高定理得
AB^2=AD^2+BD^2=(AC+CD)^2+BD^2
=AC^2+(CD^2+BD^2)+2*AC*CD
=AC^2+BC^2+2*AC*CD>AC^2+BC^2
與題意矛盾

若∠ACB<90°
則可在AC線段上取一點D使得∠ADB=90°
則由商高定理得
AB^2=AD^2+BD^2=(AC-CD)^2+BD^2
=AC^2+(CD^2+BD^2)-2*AC*CD
=AC^2+BC^2-2*AC*CD<AC^2+BC^2
與題意矛盾

故∠ACB=90°且△ABC為直角三角形

得證