的一个内角等于其相对面的角的外角。相对的两内角互补是圆内接四边形的充分必要条件，即，圆内接四边形相对的两内角互补，且相对的两内角互补的四边形是圆内接四边形（四边形四顶点共圆或说有四边形有外接圆）。托勒密定理指出，圆内接四边形的两组对边乘积之和等于两条对角线的乘积（如右图）。对于非退化的四边形，如果两组对边乘积之和等于两条对角线的乘积，那么必定是圆内接四边形。凸四边形的两条对角线将自身分成四个三角形。如果这个四边形是圆内接四边形，那么相对的两个三角形是相似的。如右图中，formula_1是圆内接四边形f