托氏定理
在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD 因为△ABE∽△ACD 所以 BE/CD=AB/AC，即BE·AC=AB·CD (1) 又有比例式AB/AC=AE/AD 而∠BAC=∠DAE 所以△ABC∽△AED相似. BC/ED=AC/AD即ED·AC=BC·AD (2) (1)+(2)，得 AC(BE+ED)=AB·CD+AD·BC 又因为BE+ED≥BD （仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”） 所以命题得证
在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD 因为△ABE∽△ACD 所以 BE/CD=AB/AC，即BE·AC=AB·CD (1) 又有比例式AB/AC=AE/AD 而∠BAC=∠DAE 所以△ABC∽△AED相似. BC/ED=AC/AD即ED·AC=BC·AD (2) (1)+(2)，得 AC(BE+ED)=AB·CD+AD·BC 又因为BE+ED≥BD （仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”） 所以命题得证
