ormula_28三点共线，也就等价于formula_29，formula_30 因此有即是等价于formula_26、formula_34、formula_28、formula_36四点共圆。因此命题得证。
反演的证明.使用反演方法，可以得出托勒密定理与三角不等式互为对偶命题的结论。事实上，设有凸四边形formula_15内接于圆，那么以其中一点formula_36为中心，以半径formula_39作反演，则圆变为不过点formula_36 的直线，点formula_26、fo