托勒密不等式.pdfVIP

托勒密不等式

已知凸四边形ABCD,求证：AB⋅CD+AD⋅BC≥AC⋅BD

证法1：建立复平面，设A,B,C,D对应的复数为a,b,c,d

则AB=a-b,CD=c-d,AD=a-d,

BC=b-c,AC=a-c,BD=b-d

则AB⋅CD+AD⋅BC

=a-bc-d+a-db-c



≥a-bc-d+a-db-c



=ac-ad-bc+bd+ab-ac-bd+cd

=ab+cd-ad+bc



=ab-d-cb-d

=a-cb-d



=a-cb-d



=AC⋅BD

取等⇔复数a-bc-d与复