多列米定理
圆内接四边形对角线的乘积等于两对边乘积之和，即托勒密定理在圆中的特殊情况
在四边形ABCD中,连接AC,作角ABE=角ACD,角BAE=角CAD
则三角形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*CE+AD*BC
又因为BE+ED>=BD
所以命题得证