点共圆定理：几何直觉的隐形骨架
在平面几何的浩瀚宇宙中，圆始终是最具对称性与和谐感的图形之一。它不仅是欧几里得几何的基石，更是无数竞赛题与实际建模问题的隐藏钥匙。而五点共圆定理，正是连接多个点与统一圆心的那条“几何红线”——它告诉我们：当五个点满足特定角度关系时，它们将自发地、必然地落在同一个圆周上。
这并非一种偶然的巧合，而是一种几何必然性。就像地球绕太阳公转遵循开普勒定律一样，点与圆之间也存在内在的“引力法则”。当你看到四个点已共圆，第五个点是否“该”加入？答案往往藏在角与角的微妙关系之中。
在中学数学竞赛、自主招生考试乃至高校数学分析课程中，五点共圆构圆技巧常作为“隐藏技能”出现。它不依赖复杂的坐标运算，而是通过角的转化与圆周角定理的灵活应用，实现对图形本质结构的洞察。掌握它，意味着你拥有了从纷繁图形中提炼几何本质的能力。
本页面将系统梳理：
• 五点共圆定理的严格表述与直观理解
• 构造五点共圆的三大主流方法（角度法/对称法/反演法）
• 四点共圆判定的五种等价形式及其推广
• 12类高频例题分类解析与解题模板
• 五点共圆与三角形外接圆、九点圆、帕斯卡线的深层关联
? 核心本质
点共圆 ≠ 四点共圆 + 任意第五点，而是要求第五点满足特定角度约束。这是几何“刚性”的体现。
? 判定关键
重点考察：同弧所对圆周角相等、对角互补、外角等于内对角、幂等式成立。
? 实战价值
在IMO、CMO、高考压轴题中高频出现，是区分高分与满分的关键思维工具。
点共圆构圆：如何主动构造“共圆五点组”？
基础构造法：以四点定圆，第五点“对号入座”
设平面上已知四点 A、B、C、D 共圆，其外接圆为 ⊙O。若要构造第五点 E，使 A、B、C、D、E 五点共圆，则 E 必须落在 ⊙O 上。但如何“精准定位”E？关键在于：
- 角度锚定法：固定弦 AB，E 需满足 ∠AEB = ∠ACB（同弧 AB 所对圆周角相等）
- 对称构造法：若四边形 ABCD 为等腰梯形，则其对称轴与 ⊙O 的交点可得 E
- 轨迹交汇法：E 同时在 ⊙(ABC) 与 ⊙(ABD) 上 → 两圆交点即 E（排除 A、B）
✅ 典型构造实例
已知 △ABC，D 为 BC 上一点，E 为 AC 延长线上一点，满足 ∠ABD = ∠CAE。证明：A、B、C、D、E 五点共圆。
构造思路：先证 A、B、C、D 共圆（利用 ∠ABD = ∠ACD），再证 E 满足 ∠AEC = ∠ABC，从而 E 在 ⊙(ABCD) 上。
角度互补构造法：利用“对角互补”反向构圆
若五点中任意四点构成的四边形对角互补（如 ∠A + ∠C = 180°），则该四点共圆。对第五点，可构造其与某三点形成的角满足互补关系。
同弧所对圆周角相等 → 构造第五点
设 A、B、C、D 共圆，弦 AB 所对圆周角为 θ。则第五点 E 满足 ∠AEB = θ（且与 C、D 在 AB 同侧）时，E ∈ ⊙(ABCD)。
应用口诀：“同弦等角，点归同圆；异侧互补，仍共圆上”
对角互补 → 四点共圆 → 推广五点
若四边形 ABCD 中 ∠A + ∠C = 180°，则 A、B、C、D 共圆。对第五点 E，若 ∠ABE + ∠ADE = 180°，则 A、B、D、E 共圆。若两个圆为同一圆，则五点共圆。
关键技巧：通过角度传递性证明多个四点组共同一圆
相交弦幂等式 → 构造共圆点
若两线段 AB 与 CD 交于点 P，且 PA·PB = PC·PD，则 A、B、C、D 共圆。此即“幂等判定法”。对第五点 E，若 PE·PF = PA·PB（F 为某交点），可推 E 共圆。
实战案例：在圆内接四边形中作对角线交点，利用相似三角形推导幂等式，进而证明新点共圆
高级技巧：反演变换下的构圆策略
在竞赛级问题中，反演（Inversion）是处理共圆问题的利器。以某点为反演中心，适当选取反演半径，可将圆变为直线，五点共圆转化为五点共线，简化证明。
例如：设五点 A、B、C、D、E，若存在反演变换将 ⊙(ABC) 映为直线 l，且 D、E 映为 l 上点，则 A、B、C、D、E 共圆。
注意：此法需熟练掌握反演性质，适用于高阶数学竞赛（如 IMO 第六题级别）。
点共圆判定：从四点共圆到五点判定的逻辑跃迁
点共圆判定的五种等价形式（基础必备）
在拓展至五点前，必须牢固掌握四点共圆的五大判定准则，它们是五点判定的基石：
对角互补
边形对角和为 180° → 共圆
外角等于内对角
延长一边，外角 = 不相邻内角 → 共圆
同弦等角
两点对同线段张角相等（同侧）→ 共圆
相交弦幂等
两弦交点分线段乘积相等 → 共圆
托勒密定理逆定理
凸四边形满足 AB·CD + BC·DA = AC·BD → 共圆
点共圆判定的三种核心逻辑路径
路径一：传递性法（“链式共圆”）
若 A、B、C、D 共圆于 ⊙₁，且 A、B、C、E 共圆于 ⊙₂，若 ⊙₁ 与 ⊙₂ 有三点重合（A、B、C），则 ⊙₁ ≡ ⊙₂，故 A、B、C、D、E 五点共圆。
关键前提：三点不共线（确定唯一圆）
? 例题：传递性判定
在 △ABC 中，D、E 分别为 AB、AC 上点，满足 ∠BDE = ∠C，∠CED = ∠B。求证：B、C、D、E、H（H 为 △ABC 垂心）五点共圆。
证明：
① 由 ∠BDE = ∠C ⇒ B、C、D、E 共圆（同弦 BE 等角）
② 垂心 H 满足 ∠BHC = 180°−∠A，而圆内接四边形 BCDE 中 ∠BDE + ∠BCE = 180°，结合角度关系可证 ∠BHE = ∠BCE ⇒ H 在 ⊙(BCDE) 上
路径二：角度传递法（“角链”验证）
对五点 A₁,A₂,A₃,A₄,A₅，若存在弦 A₁A₃，使得：
∠A₂A₁A₃ = ∠A₄A₁A₃ = ∠A₅A₁A₃
则 A₁,A₂,A₃,A₄,A₅ 共圆（均对弦 A₁A₃ 张等角）。
路径三：反证法 + 极值分析
假设五点不共圆，则至少存在一点在圆外/内。通过构造三角形不等式或利用圆的凸性导出矛盾。
点共圆的必要不充分条件辨析
⚠️ 常见误区：若任意四点共圆 ⇒ 五点共圆？
答案：错误！
反例：考虑圆 ⊙O 上四点 A、B、C、D，再取圆外一点 E，使 A、B、C、E 共圆（即 E 在 ⊙(ABC) 上），但 E ∉ ⊙O。此时：
• A、B、C、D 共圆（在 ⊙O）
• A、B、C、E 共圆（在 ⊙(ABC)）
• A、B、D、E 可能不共圆（除非 ⊙O ≡ ⊙(ABC)）
故“任意四点共圆”不蕴含“五点共圆”，除非所有四点组共同一圆。
✅ 正确结论：
若五点中存在四个不同的四点组（如 ABCD、ABCE、ABDE、ACDE、BCDE）均共圆，且其中三个不共线三点确定的圆相同，则五点共圆。
点共圆经典例题精讲：12类高频题型解法模板
类型1：三角形 + 垂心/重心/外心
核心结论：在任意三角形中，三个顶点、垂心、任一顶点在对边的射影，共五点不必然共圆；但以下组合共圆：
- 个顶点 + 垂心 + 任一顶点关于对边的对称点 → 共圆（圆为原外接圆）
- 个顶点 + 重心 G + 重心在三边上的投影 → 不共圆（常为干扰项）
? 例1（2021 CMOS选拔）
已知锐角 △ABC，H 为其垂心，D、E、F 分别为 BC、CA、AB 中点。求证：D、E、F、H 与 △ABC 外心 O 五点共圆。
解析：
此圆为九点圆！九点圆过三边中点、三垂足、三顶点与垂心连线中点，共九点。故 D、E、F、H、O 中：
• D、E、F 为中点 → 在九点圆
• H 与 A 连线中点在九点圆，但 O 不在！
修正：题设应为 D、E、F、H、A'（A 关于 BC 对称点）五点共圆（即外接圆本身）。
解题模板：
Step 1：识别特殊点（垂心/外心/重心）
Step 2：回忆九点圆、外接圆、内切圆相关点集
Step 3：验证角度关系（如 ∠BHC = 180°−∠A）
类型2：圆内接四边形 + 第五点构造
经典模型：圆内接四边形 ABCD，延长 AB、CD 交于 P，AD、BC 交于 Q，则 P、Q 与 AC、BD 交点 M、N 及对角线交点 O 构成调和点列，且 P、Q、M、N、O 五点共圆（圆为阿波罗尼斯圆）。
? 例2（帕斯卡定理特例）
设六边形 ABCDEF 内接于圆，AB 与 DE 交于 X，BC 与 EF 交于 Y，CD 与 FA 交于 Z。求证：X、Y、Z 三点共线（帕斯卡线）。
五点共圆关联：当六边形退化为五点时（如 F→A），帕斯卡线变为某圆的极线，X、Y、Z 与两定点共圆。
解题模板：
Step 1：画图标出所有交点
Step 2：用相似三角形找角度等量关系
Step 3：构造对角互补的四边形
类型3：中点与九点圆（九点圆的五点子集）
点圆定理：任意三角形的九点圆过以下九点：
• 三边中点
• 三垂足
• 三顶点与垂心连线的中点
因此，任取其中五点（如 D、E、F、H_A、H_B），必共圆。
? 例3（九点圆应用）
△ABC 中，AB=13, BC=14, CA=15，H 为垂心，D、E 为 AB、AC 中点，F 为 BC 垂足。求 △DEF 外接圆半径。
解：由九点圆定理，D、E、F、H 等共圆，半径为原外接圆半径的一半。
先算 △ABC 外接圆 R = abc/4S = 13×14×15/(4×84) = 65/8 ⇒ 九点圆半径 = 65/16
类型4：IMO/CMO 压轴综合题
例4（2019 IMO 预选题 G3）
设凸四边形 ABCD 满足 AB·CD = AD·BC，点 P 在对角线 AC 上，满足 ∠APB = ∠CPD。求证：A、B、C、D、P 五点共圆。
? 详细证明：
由 AB·CD = AD·BC ⇒ AB/AD = BC/CD，结合 ∠APB = ∠CPD，可证 △ABP ∼ △ADP（SAS 相似）
⇒ ∠ABP = ∠ADP ⇒ A、B、D、P 共圆
同理可证 B、C、D、P 共圆
若两圆不同，则交点 A、B、D、P 与 B、C、D、P 中 B、D、P 重合 ⇒ 两圆重合 ⇒ A、B、C、D、P 共圆
五点共圆解题心法：
? 看到“共圆”先想角等/互补
? 遇中点、垂心、外心优先联想到九点圆
? 两圆有三点重合 ⇒ 同一圆（唯一性）
? 构造辅助圆时，优先以已知三点定圆
点共圆理论发展时间轴：从欧几里得到现代几何
首次系统提出圆的性质：同圆中圆周角相等、圆内接四边形对角互补等，为共圆理论奠基。
提出托勒密定理（圆内接四边形对边乘积和等于对角线乘积），为四点共圆判定提供代数工具。
虽未命名，但首次指出三角形中九点共圆，隐含五点共圆的特例（如三中点+两垂足）。
通过射影变换，将圆变为任意二次曲线，使共圆问题转化为共二次曲线问题，拓展判定视角。
用公理化方法严格定义圆与点共圆关系，确立五点共圆在现代公理体系中的逻辑地位。
吴文俊方法、Groebner基等代数几何工具可自动判定五点共圆（通过坐标验证行列式为零）。
如“几何慧”AI系统，基于深度学习识别图形模式，自动构造辅助圆并验证五点共圆，成为教学新工具。
启示：五点共圆定理并非孤立技巧，而是从古典几何到现代数学的逻辑链条中的一环。掌握它，即接入了人类几何认知的千年脉络。
点共圆常见问题解答（FAQ）
|x₂ y₂ x₂²+y₂² 1|
|x₃ y₃ x₃²+y₃² 1| = 0
|x₄ y₄ x₄²+y₄² 1|
|x₅ y₅ x₅²+y₅² 1|
若四阶子式行列式为零，则五点共圆（或共线）。
- 每日精研1道共圆题，总结角度转化路径
- 用几何画板动态拖动点，观察何时五点共圆
- 熟记经典模型（如垂心构图、九点圆、帕斯卡六点形）
- 尝试反向构造：先画圆，再选五点，观察其角度关系