廣義托勒密定理

托勒密(Ptolemy)定理指出，圓內接凸四邊形兩對對邊乘積的和等於兩條對角線的乘積，其推論是任意凸四邊形ABCD，必有AC·BD≤AB·CD+AD·BC，而且當ABCD四點共圓時取等號。

基本介紹

• 中文名：廣義托勒密定理
• 外文名：Ptolemy
• 內容：凸四邊形對邊乘積和≥對角線的積
• 提出者：托勒密

托勒密定理的推論：任意凸四邊形ABCD，必有AC·BD≤AB·CD+AD·BC，而且當ABCD四點共圓時取等號。

證明如下：在四邊形ABCD中,連線AC、BD,作∠ABE=∠ACD,∠BAE=∠CAD

則△ABE∽△ACD

∴ BE/CD=AB/AC,AB/AC=AE/AD

∴BE*AC=AB*CD ①,AB/AE=AC/AD

∵∠BAE=∠CAD

∴∠BAE+∠EAC=∠CAD+∠EAC

即∠BAC=∠DAE

又∵AB/AE=AC/AD,

∴△ABC∽△AED

∴BC/ED=AC/AD

∴ED*AC=AD*BC②

①+②,得

AC*(BE+ED)=AB*CD+AD*BC

又∵BE+ED≥BD

∴AC*BD≤AB*CD+AD*BC

從而命題得證，

且僅當E點落線上段BD上時，等號成立

此時∠ABD=∠ACD

∴ABCD四點共圓