基本介紹
定理定義,驗證推導,幾何證法,向量證法,定理推廣,幾何證法,向量證法,
定理定義
驗證推導
幾何證法
∵AC⊥BD,ME⊥BC
∴∠CBD= ∠CME
∵∠CBD= ∠CAD,∠CME= ∠AMF
∴∠CAD= ∠AMF
∴AF=MF
∵∠AMD= 90°,同時∠MAD+ ∠MDA= 90°
∴∠FMD= ∠FDM
∴MF=DF
∴AF=DF,即F是AD中點
向量證法
∵A、F、D共線,由共線向量基本定理可知,存在唯一實數k,使。其中
又MF⊥BC
∴
展開得
∵MD⊥MC、MA⊥MB,即,
∴
∵,
∴
∴,即F是AD中點
定理推廣
若圓內接四邊形的對角線相互垂直,則一邊中點與對角線交點的連線垂直於對邊。
如上圖,圓內接四邊形ABCD中,AC⊥BD,M是垂足。F是AD中點,則FM⊥BC。
過圓內接四邊形兩對角線交點做另一邊的垂線,必過其對邊為一邊,以交點為一頂點的三角形的外心。
幾何證法
∵MA⊥MD,F是AD中點
∴AF=MF
∴∠CAD= ∠AMF
∵∠CAD= ∠CBD,∠AMF= ∠CME
∴∠CBD= ∠CME
∵∠CME+ ∠BME= ∠BMC=90°
∴∠CBD+ ∠BME= 90°
∴EF⊥BC
向量證法
∵F是AD中點
∴
∴MF⊥BC