理指出，圆内接四边形的两组对边乘积之和等于两条对角线的乘积（如右图）。对于非退化的四边形，如果两组对边乘积之和等于两条对角线的乘积，那么必定是圆内接四边形。凸四边形的两条对角线将自身分成四个三角形。如果这个四边形是圆内接四边形，那么相对的两个三角形是相似的。如右图中，formula_1是圆内接四边形formula_2的两对角线交点，则formula_3，formula_4。一个与此等价的说法是所谓的相交弦定理：设凸的圆内接四边形的两条对角线相交于一点(图中的formula_1），那么其中一条对角线被点f