什么是四点共圆？
在平面几何中，如果同一平面内的四个点位于同一个圆的圆周上，则称这四个点四点共圆。这四个点构成的四边形称为圆内接四边形。四点共圆是几何学中一个非常强大且优雅的工具，它能够将分散的角度和线段关系通过圆的性质紧密联系起来。
从网民关注的热点来看，理解四点共圆的本质不仅仅是记住定理，更要理解其背后的“轨迹”思想。例如，直角三角形斜边中点到三个顶点的距离相等，这本质上就是三点共圆（以斜边为直径）。当第四个点也满足到该中点距离相等时，即构成四点共圆。
核心判定口诀
对角互补
若四边形ABCD中，∠A + ∠C = 180° 或 ∠B + ∠D = 180°，则A、B、C、D四点共圆。
外角等于内对角
若四边形ABCD的外角∠DCE等于内对角∠A，则A、B、C、D四点共圆。
定弦定角
若线段BC所对的两个角∠BAC和∠BDC相等且在BC同侧，则A、B、C、D四点共圆。
对角线垂直模型
若四边形对角线互相垂直，且交点到一边的距离等于该边对边的一半，则四点共圆（较少用，多用于特殊图形）。
四点共圆可以得到哪些核心结论？
这是用户最关心的问题。当确认四点共圆后，我们可以立即调用以下结论进行解题。为了便于记忆和查阅，我们将核心结论分为角度类、线段类和高阶模型类。
1. 对角互补
这是最基础的性质。若四边形ABCD内接于圆，则 ∠BAD + ∠BCD = 180°。这一结论常用于证明角度之和为定值，或在已知一个角求另一个角时直接使用。
2. 外角等于内对角
如图，若延长BC至E，则 ∠DCE = ∠BAD。这一结论在证明三角形相似时极为常用，因为它能迅速提供一对相等角。
3. 同弧所对圆周角相等
若A、B、C、D共圆，则 ∠BAC = ∠BDC（同对弧BC），∠ABD = ∠ACD（同对弧AD）。这是“角转移”的核心依据，可以将分散在不同位置的角集中到一个三角形中。
1. 相交弦定理
若对角线AC、BD交于点P，则 PA · PC = PB · PD。这一结论常用于证明比例线段或计算线段长度。
2. 切割线定理的推广
若点P在圆外，PAB和PCD是两条割线，则 PA · PB = PC · PD。这在涉及切线和割线的综合题中是计算利器。
3. 相似三角形模型
由对角线交点形成的三角形往往相似。例如，在圆内接四边形ABCD中，对角线交于P，则 △PAB ∽ △PDC 且 △PAD ∽ △PBC。由此可得 AB/CD = PA/PD = PB/PC。
1. 托勒密定理 (Ptolemy's Theorem)
这是四点共圆的最高阶结论之一。若四边形ABCD内接于圆，则 AC · BD = AB · CD + AD · BC。即：对角线乘积等于两组对边乘积之和。常用于证明不等式或求解复杂线段关系。
2. 正弦定理的应用
若四边形ABCD共圆，外接圆半径为R，则 AC = 2R sin∠ABC。这建立了边长与角度的直接联系，是解三角形与圆的桥梁。
3. 面积公式
圆内接四边形的面积可由布拉美古塔公式（Brahmagupta's formula）给出：若半周长为s，则面积 S = √[(s-a)(s-b)(s-c)(s-d)]。这是普通四边形不具备的性质。
如何构造四点共圆？
很多时候，题目给出的图形并不直接共圆，需要人为构造。以下是三种最常用的构造策略：
“直角对直径”
当题目中出现两个直角，且它们对着同一条线段（如△ABC和△ADC中，∠B=∠D=90°），则A、B、C、D四点共圆，且AC为直径。这是初中几何中最常见的构造方式。
“定弦定角”
若题目中有两个角相等且对着同一条线段（如∠ABD=∠ACD），则四点共圆。若题目未直接给出，可通过相似三角形或全等三角形进行角度代换，创造出“同侧同角”的条件。
“对角线垂直”
若四边形对角线互相垂直，有时可通过证明“交点到一边的距离等于对边的一半”来判定。或者，利用高线模型，如△ABC的高AD、BE交于H，则C、D、H、E四点共圆（以CH为直径）。
示例分析：2023年某地中考压轴题解析
题目简述： 在△ABC中，AB=AC，D为BC中点，E为AC上一点，且∠ADE=∠B。求证：A、B、D、E四点共圆。
解析：
- ∵ AB=AC，∴ ∠B = ∠C。
- 已知 ∠ADE = ∠B，∴ ∠ADE = ∠C。
- 观察四边形ABDE，我们需要找角度关系。
- 考虑外角：∠EDC = ∠DAE + ∠ADE（外角定理），这似乎不直接。
- 转换思路：看∠AEB。在△ABE中，∠AEB = 180° - ∠B - ∠BAE。
- 更简单的方法：利用“同侧同角”。因为 ∠ADE = ∠B，且D、B在AE同侧？不，D、B在AE异侧。
- 修正：利用对角互补。∠BDE + ∠BAE = ?
- 正确路径：∵ ∠ADE = ∠B，且 ∠B + ∠C + ∠BAC = 180°。此题更宜用相似。△ADE ∽ △ACB (∠A公共, ∠ADE=∠B)。
- 由相似得 AD/AC = AE/AB ⇒ AD·AB = AE·AC。
- 这符合割线定理的逆定理形式，故A、B、D、E四点共圆。