怎么证明四点共圆

证明四点共圆通常有以下几种方法：

利用圆的定义

思路：到一个定点的距离相等的所有点在同一个圆上。若能证明这四点到某一定点的距离都相等，则这四点共圆 。

示例：四边形ABCD中，若能找到一点O，使得OA = OB = OC = OD，那么A、B、C、D四点共圆，点O为圆心。

利用对角互补

定理：若平面上四点连成四边形的对角互补，那么这四点共圆。即对于四边形ABCD，若∠A + ∠C = 180° 或∠B + ∠D = 180°，则A、B、C、D四点共圆。

证明思路：假设四边形ABCD中∠A + ∠C = 180°。过A、B、D作圆O，假设C不在圆O上，那么C在圆外或圆内。若C在圆外，设BC交圆O于C′，连接DC′，根据圆内接四边形性质，∠A + ∠DC′B = 180°，又因为∠DC′B < ∠DCB，且∠A + ∠DCB = 180°，产生矛盾；同理可证C不在圆内，所以C在圆O上，即A、B、C、D四点共圆。

利用外角等于内对角

定理：若四边形的一个外角等于它的内对角，则这四点共圆。也就是说在四边形ABCD中，若∠B = ∠ADE（∠ADE为四边形ABCD的外角），那么A、B、C、D四点共圆。

证明思路：以同样的假设圆O过A、B 、D三点为例，通过角度关系和圆内接四边形性质，对比假设点C不同位置时的角度情况，可证明当满足外角等于内对角时，点C必然在圆O上。

利用相交弦定理的逆定理

定理：对于凸四边形ABCD，其对角线AC、BD相交于P，若PA·PC = PB·PD，则A、B、C、D四点共圆。

证明思路：构造三角形相似。由PA·PC = PB·PD可得$\frac{PA}{PB}=\frac{PD}{PC}$ ，又因为∠APD = ∠BPC，所以△APD∽△BPC，进而得到对应角相等，再结合圆内接四边形判定条件可证明四点共圆 。

利用托勒密定理的逆定理

定理：对于凸四边形ABCD，若AB·CD + AD·BC = AC·BD，则A、B、C、D四点共圆。

证明思路：通过构造辅助线，利用三角形全等和相似等知识，在假设四点不共圆的情况下推出与已知等式矛盾的结论，从而证明四点共圆，但证明过程相对复杂。