什么是四点共圆？
在平面几何中，四点共圆是指同一平面内的四个点位于同一个圆的圆周上。这是一个极具对称美且应用广泛的几何性质。在高中数学竞赛、自主招生以及日常几何证明题中，识别并证明四点共圆往往是解题的关键突破口。
掌握四点共圆，不仅能简化角度计算，还能将线段比例关系转化为圆的幂性质，从而解决复杂的几何计算问题。本文将从判定、性质、证明及经典模型四个维度，深度解析这一考点。
⚡ 核心提示： 四点共圆的本质是寻找“等角”或“互补”关系。一旦证明成功，即可调用圆的所有性质（如圆周角定理、托勒密定理等）进行后续推导。
四点共圆的判定定理
判定四点共圆的方法多种多样，以下列出最常用且考试中频率最高的判定依据：
若点C、D在线段AB的同侧，且 ∠ACB = ∠ADB，则A、B、C、D四点共圆。
适用场景： 图形中存在两个三角形共享一条边，且该边所对的角相等。
若四边形ABCD中，∠A + ∠C = 180° 或 ∠B + ∠D = 180°，则A、B、C、D四点共圆。
适用场景： 出现直角、垂直关系或角度和为180度的题目。
若四边形ABCD的外角 ∠DCE 等于内对角 ∠A，则A、B、C、D四点共圆。
适用场景： 涉及延长线构成的四边形问题。
若 AC ⊥ BD 于点P，且 ∠APB = ∠CPD = 90°，则A、B、C、D四点共圆（以AB或CD为直径的圆，需具体看顶点位置，通常指直角三角形斜边中点性质）。
更准确的表述： 若 ∠ADB = ∠ACB = 90°，则A、B、C、D四点共圆，且AB为直径。
核心性质与推论
一旦确认四点共圆，以下性质将自动生效。为了方便查阅，我们将其分为基础性质和进阶推论。
1. 圆周角定理及其推论
- 同弧所对的圆周角相等： 若A、B、C、D共圆，则 ∠BAC = ∠BDC（同对弧BC）。
- 直径所对的圆周角是直角： 若AB是直径，则对于圆上任意点C，∠ACB = 90°。
- 等弧对等角： 若弧AB = 弧CD，则对应的圆周角相等。
2. 相交弦定理与切割线定理
当圆内的弦相交或圆外一点引割线/切线时，线段乘积关系成立：
- 相交弦定理： 若弦AB、CD交于点P，则 PA · PB = PC · PD。
- 割线定理： 若PAB、PCD是圆的两条割线，则 PA · PB = PC · PD。
- 切割线定理： 若PA是切线，PBC是割线，则 PA² = PB · PC。
注：以上三者统称为圆幂定理，点P对圆的幂为定值。
3. 托勒密定理 (Ptolemy's Theorem)
这是四点共圆中关于边长与对角线最著名的定理：
定理内容： 圆内接四边形对角线的乘积等于两对对边乘积之和。
公式：AC · BD = AB · CD + BC · DA
应用价值： 在处理正方形、正三角形内接于圆的复杂边长计算时，托勒密定理往往比三角函数法更简洁。
经典证明思路解析
证明四点共圆不仅仅是套公式，更需要逻辑推理。以下是两种最高频的证明策略。
策略一：反证法（同一法）
思路： 假设A、B、C三点确定的圆为⊙O，然后证明点D也在⊙O上。
步骤：
1. 过A、B、C作圆⊙O。
2. 假设点D不在⊙O上，则D在圆内或圆外。
3. 若D在圆内，延长BD交圆于D'，连接AD'。根据外角性质导出矛盾。
4. 若D在圆外，同理导出矛盾。
5. 故D必在⊙O上，即四点共圆。
策略二：构造辅助圆
思路： 利用“直角三角形斜边中线等于斜边一半”或“中垂线交点”构造圆。
示例： 在四边形ABCD中，若 ∠B = ∠D = 90°，取AC中点O，连接OB、OD。则 OA=OC=OB=OD，故A、B、C、D四点在以O为圆心，AC为直径的圆上。
常见几何模型与示例
在实际解题中，四点共圆常隐藏在以下经典模型中：
| 模型名称 |
图形特征 |
共圆结论 |
典型应用 |
| 双直角模型 |
两个直角三角形共享斜边 |
四个顶点共圆，斜边为直径 |
求角度、证明垂直 |
| 手拉手模型 |
两个共顶点的等腰三角形（或等边三角形） |
特定四点共圆（如旋转相似产生的点） |
线段倍半关系、最值问题 |
| 垂心模型 |
△ABC的垂心H |
A、B、H、C的垂足构成的四边形共圆 |
欧拉线、三角形性质研究 |
| 阿氏圆前置 |
动点轨迹问题 |
利用共圆性质转化线段比 |
胡不归、阿氏圆最值问题 |
示例详解：正方形中的四点共圆
已知正方形ABCD，E为BC边上一点，F为CD边上一点，且 ∠EAF = 45°。求证：A、E、C、F四点不共圆（反例思考），但若E、F分别为中点，则存在特殊共圆关系。
更正示例： 若E、F分别为BC、CD中点，连接AE、AF。此时 ∠BAE = ∠DAF。虽然A、E、C、F通常不共圆，但 B、E、D、F 四点共圆吗？不一定。但 A、B、C、D 显然共圆。让我们看一个更典型的：
正例： 在正方形ABCD中，P为对角线AC上一点，PE⊥BC于E，PF⊥CD于F。求证：B、E、P、F四点共圆。
证明：
1. 因为PE⊥BC，PF⊥CD，且正方形中∠C=90°。
2. 所以四边形PECF有三个角是90°（∠PEC, ∠PFC, ∠C），故PECF是矩形。
3. 矩形对角线互相平分且相等，但这不足以直接说明B点。
4. 换个角度：连接PB、PD。由对称性，PB=PD。
5. 实际上，更简单的共圆是 P、E、C、F 共圆（直径为PC）。
6. 若问B、E、P、F共圆，需满足 ∠BEP + ∠BFP = 180° 或 ∠EBP = ∠EFP。此例需具体计算，但在竞赛中，“对角互补”是最常用的判定手段。
常见问题解答 (FAQ)
Q1: 四点共圆时，如何快速找到圆心？
A: 任意作两条边的中垂线，其交点即为圆心。或者，若已知对角互补，可尝试寻找直径（90度角所对的弦）。
Q2: 为什么托勒密定理只在共圆时取等号？
A: 对于任意凸四边形，有 AC · BD ≤ AB · CD + BC · DA。仅当四边形内接于圆时，等号成立。这是广义的三角不等式在圆上的体现。
Q3: 如何区分“四点共圆”和“四点共线”？
A: 四点共线是退化的圆（半径无穷大），但在初中/高中几何中，通常讨论的是非退化情况。若三点共线，则第四点无法与前三点构成非退化圆（除非第四点也在直线上，此时视为广义圆）。