已知：四边形ABCD中，∠A+∠C=180°
求证：四边形ABCD内接于一个圆（A，B，C，D四点共圆）
证明：用反证法
过A，B，D作圆O，假设C不在圆O上，刚C在圆外或圆内，
若C在圆外，设BC交圆O于C’，连结DC’，根据圆内接四边形的性质得∠A+∠DC’B=180°，
∵∠A+∠C=180°∴∠DC’B=∠C
这与三角形外角定理矛盾，故C不可能在圆外。类似地可证C不可能在圆内。 ∴C在圆O上，也即A，B，C，D四点共圆。
如果同一平面内的四个点在同一个圆上，则称这四个点共圆，一般简称为"四点共圆"。四点共圆有三个性质:(1)共圆的四个点所连成同侧共底的两个三角形的顶角相等;(2)圆内接四边形的对角互补;(3)圆内接四边形的外角等于内对角。以上性质可以根据圆周角等于它所对弧的度数的一半进行证明。
