四点共圆定理及其推论｜全面掌握四点共圆判定方法与实战应用

✖

点共圆：几何关系的终极归宿

为什么“共圆”是几何证明的终极答案？

在平面几何中，四点共圆不仅是判定图形结构的重要工具，更是连接三角形、圆、相似、全等等知识体系的枢纽。当四个点落在同一圆周上时，它们之间便自动获得一系列强大的几何性质：对角互补、外角等于内对角、同弧所对圆周角相等、幂定理成立等。这使得原本零散的线段与角度关系瞬间形成逻辑闭环。

例如，在解一道复杂的几何压轴题时，若能通过四点共圆将问题转化为圆内接四边形模型，往往可直接调用性质跳过繁琐计算。就像在迷宫中突然找到出口标识——它不提供路径细节，却指明了方向。

需特别注意：四点共圆并非仅限于凸四边形。即使四点构成凹四边形或三点共线（此时圆退化为直线），只要满足广义共圆定义，相关性质仍可部分适用。但高考及竞赛中绝大多数题型均默认四点不共线且构成凸四边形。

✓ 理论价值

连接圆与四边形的桥梁，是高中数学“圆与方程”“几何证明选讲”模块的核心内容

✓ 应用广度

覆盖初中竞赛（几何变换）、高考压轴题（解析几何+几何综合）、数学建模（圆弧拟合）

✓ 思维训练

培养“化繁为简”的几何直觉，强化构造辅助圆的创造性思维能力

从生活场景理解数学本质

想象你在公园看到四个喷泉出口——若它们恰好位于同一圆形水道上，则水流方向必然遵循特定规律。这正是四点共圆的物理映射：当四个点共圆时，它们之间的角度关系被圆的对称性严格约束。

数学家欧拉曾指出：“几何图形的美在于其内在一致性。”四点共圆正是这种一致性的典型体现。当四个点被圆包容时，所有局部变量（边长、角度）都服从全局规律（圆心角、半径），这为解题提供了极强的确定性保障。

⚖

大判定方法｜从定义到逆向思维

判定依据：四点共圆的充要条件

判定四点是否共圆的核心在于验证其是否满足圆的基本定义：存在一点（圆心）到四点距离相等。但直接求解圆心坐标往往低效，因此发展出五大实用判定法，按使用频率排序如下：

方法1：对角互补法（最常用）

若四边形ABCD中，∠A + ∠C = 180° 或 ∠B + ∠D = 180°，则A、B、C、D四点共圆。

∠A + ∠C = 180° ⇔ A,B,C,D共圆

典型场景：直角三角形斜边中点构造、正方形/矩形对角线、圆周角定理逆用

证明：∠A + ∠C = 100° + 80° = 180°
结论：ABCD四点共圆（对角互补）

方法2：外角等于内对角（圆内接四边形精髓）

延长四边形一边，若外角等于其内对角，则四点共圆。

∠DCE = ∠A ⇔ A,B,C,D共圆（E在BC延长线上）

关键洞察：此法常用于含角平分线、折叠问题的证明。折叠后产生的角度关系往往直接满足此条件。

▶ 实战案例

将矩形ABCD沿AC折叠，点B落在B'处，证明A、B'、C、D共圆。

分析：折叠得∠AB'C = ∠ABC = 90°，而∠ADC = 90°，故∠AB'C + ∠ADC = 180° → 对角互补；或∠B'AD = ∠B'CD（折叠性质）→ 外角等于内对角。

方法3：同弦对等角（构造辅助圆核心）

若线段AB两侧的点C、D满足∠ACB = ∠ADB，则A、B、C、D四点共圆。

∠ACB = ∠ADB ⇒ A,B,C,D共圆（C,D在AB同侧） ∠ACB + ∠ADB = 180° ⇒ A,B,C,D共圆（C,D在AB异侧）

应用技巧：此法适用于已知两组角度相等或互补的场景，是“构造圆”的理论基础。

证明：∠ACB = ∠ADB ⇒ A,B,C,D共圆
→ 该圆以AB为弦，圆周角为45°，半径R = AB/(2sin45°)

方法4：托勒密逆定理（代数化判定）

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

AB cdot CD + BC cdot DA = AC cdot BD ⇒ 共圆

适用场景：当已知所有边长与对角线长度时，此法可避免角度计算。特别适用于坐标系中点坐标已知的情形。

注意：托勒密定理仅对圆内接四边形成立，其逆定理需严格验证等式成立。

方法5：距离相等法（坐标系首选）

设四点坐标为A(x₁,y₁)、B(x₂,y₂)、C(x₃,y₃)、D(x₄,y₄)，若存在点O(h,k)使得：

(x₁-h)² + (y₁-k)² = (x₂-h)² + (y₂-k)² = (x₃-h)² + (y₃-k)² = (x₄-h)² + (y₄-k)²

计算技巧：联立AB、AC的垂直平分线方程求圆心O，再验证OD = OA。

▶ 例题演示

已知A(0,0)、B(4,0)、C(2,2)、D(2,-2)，证明四点共圆。

解：AB中垂线：x=2；AC中垂线：y = -x + 2

联立得圆心O(2,0)，半径r=2

验证：OD = √[(2-2)² + (-2-0)²] = 2 = OA ⇒ 共圆

判定方法选择策略

角度已知多：优先用“对角互补”或“外角等于内对角”
边长已知多：用“托勒密逆定理”或“距离相等法”
含直角/折叠：优先考虑“同弦对等角”（直角对直径）
坐标系问题：首选“距离相等法”

大推论｜四点共圆的衍生力量

从定理到工具箱：推论体系构建

四点共圆的推论是解题的“加速器”。熟练掌握八大推论可将复杂问题转化为标准模型，大幅提升解题效率。以下推论按重要性排序：

推论1｜对角互补（定理本身）

圆内接四边形的对角互补，即∠A + ∠C = ∠B + ∠D = 180°。这是判定法的逆用，也是计算角度的直接依据。

推论2｜外角等于内对角

延长任一边，外角等于其内对角。如图，∠DCE = ∠A。此性质常用于证明三角形相似。

推论3｜同弧所对圆周角相等

同弧（或等弧）所对的圆周角相等。即若A、B、C、D共圆，则∠ACB = ∠ADB（同对弧AB）。

推论4｜圆幂定理

设P为圆外一点，过P作割线PAB、PCD，则PA·PB = PC·PD；若作切线PT，则PT² = PA·PB。

推论5｜相交弦定理

圆内两弦AB、CD交于点P，则PA·PB = PC·PD。此为圆幂定理的特例（P在圆内）。

推论6｜托勒密定理

圆内接四边形中，对边乘积之和等于对角线乘积：AB·CD + BC·DA = AC·BD。

推论7｜对角线比例关系

圆内接四边形的对角线交点分对角线成比例：AP/PC = (AB·AD)/(CB·CD)（其中P为AC与BD交点）。

推论8｜正弦定理变形

在圆内接四边形中，边长与对角正弦成正比：AB/sin∠ACB = 2R（R为外接圆半径）。

推论组合应用示例

【经典题】如图，圆内接四边形ABCD中，AC与BD交于P，已知AP=3, PC=2, BP=4, ∠APB=120°，求PD的长。

解法：

由相交弦定理：AP·PC = BP·PD ⇒ 3×2 = 4×PD ⇒ PD = 1.5
验证角度：∠APB + ∠CPD = 180°（对顶角互补），符合圆内接四边形性质

此题若忽略推论，需用余弦定理计算多条边再反推，耗时且易错。

▶ 推论7应用

在△ABC中，D为BC中点，E在AC上，AE:EC=2:1，连接BE交AD于F。证明A、F、E、C四点共圆。

提示：用推论7验证比例关系，或证∠AFE = ∠ACE

▶ 推论8应用

圆内接四边形ABCD中，AB=2, BC=3, CD=4, DA=5，求外接圆半径R。

解：用余弦定理求∠A，再由正弦定理：BD/sin∠A = 2R

托勒密定理｜圆内接四边形的黄金公式

定理原文与几何意义

托勒密定理（Ptolemy's Theorem）：圆内接四边形中，两组对边乘积之和等于两条对角线的乘积。

AB cdot CD + BC cdot DA = AC cdot BD

历史背景：该定理源于古希腊天文学家托勒密在《天文学大成》中研究弦表时的推论，后成为平面几何的核心定理之一。

托勒密定理的三大应用场景

计算未知边长

已知三边及一条对角线，求另一条对角线。例：正方形边长为a，对角线为a√2，验证：a·a + a·a = (a√2)·(a√2) ⇒ 2a² = 2a²

证明线段关系

证明AB·CD + BC·DA = AC·BD成立，从而反推四点共圆（托勒密逆定理）

构造恒等式

在三角函数中，由托勒密定理可推导和角公式：sin(α+β) = sinαcosβ + cosαsinβ

托勒密定理与余弦定理的联动

当无法直接应用托勒密定理时，可结合余弦定理推导通用公式：

AC cdot BD = sqrt{(ab+cd)(ac+bd)(ad+bc)/(ab+cd)} quad text{(布雷特施奈德公式特例)}

应用案例：圆内接四边形ABCD中，AB=3, BC=4, CD=5, DA=6，求对角线AC。

解：设AC=x，BD=y，由余弦定理：

在△ABC中：x² = 3² + 4² - 2·3·4·cosB = 25 - 24cosB
在△ADC中：x² = 5² + 6² - 2·5·6·cosD = 61 - 60cosD
因∠B + ∠D = 180°，故cosD = -cosB
联立得：25 - 24cosB = 61 + 60cosB ⇒ cosB = -36/84 = -3/7
代入得x² = 25 - 24·(-3/7) = 25 + 72/7 = 247/7 ⇒ AC = √(247/7)

▶ 竞赛级应用：托勒密不等式

对任意四边形，AB·CD + BC·DA ≥ AC·BD，等号成立当且仅当四点共圆。

此不等式可证明许多几何不等式，如：

在△ABC中，对任意点P，有PA·BC + PB·CA ≥ PC·AB

坐标系应用｜解析几何中的四点共圆

坐标法判定四点共圆的三种策略

在解析几何中，四点共圆问题常通过以下三种方式解决：

策略1：圆的一般方程法

设圆方程为x² + y² + Dx + Ey + F = 0，将四点坐标代入得方程组：

x₁²+y₁²+Dx₁+Ey₁+F=0
x₂²+y₂²+Dx₂+Ey₂+F=0
x₃²+y₃²+Dx₃+Ey₃+F=0

若前三点确定的圆也满足第四点坐标，则四点共圆。

▶ 实战演示

点A(1,2)、B(3,4)、C(5,2)、D(3,0)

代入A、B、C得：

1+4+D+2E+F=0 → D+2E+F = -5
9+16+3D+4E+F=0 → 3D+4E+F = -25
25+4+5D+2E+F=0 → 5D+2E+F = -29

解得D=-6, E=0, F=5 ⇒ 圆方程：x²+y²-6x+5=0

验证D(3,0)：9+0-18+5 = -4 ≠ 0？错误！

重新计算：9+0-18+5 = -4？应为9+0-18+5 = -4，但标准式为(x-3)²+y²=4，代入(3,0)：0+0=0？修正：实际计算得F=-5，方程为x²+y²-6x-5=0，D(3,0)：9+0-18-5=-14≠0 → 不共圆

正确结果：取A(0,0)、B(4,0)、C(2,2)、D(2,-2)，验证得D=0,E=0,F=-4，D点满足4+4-4=4≠0？最终修正：标准圆(x-2)²+y²=4，D(2,-2)：0+4=4成立 ⇒ 共圆

策略2：垂直平分线交点法

求任意两边的垂直平分线方程，求交点（圆心），再验证到四点距离相等。

AB中垂线：2(x₂-x₁)x + 2(y₂-y₁)y = x₂²-x₁² + y₂²-y₁²

步骤：

求AB中点M₁((x₁+x₂)/2, (y₁+y₂)/2)，斜率k_AB=(y₂-y₁)/(x₂-x₁)
中垂线斜率k₁ = -1/k_AB，写出方程
同理求CD中垂线
联立求圆心O(h,k)
计算OA²、OB²、OC²、OD²，验证是否相等

策略3：行列式判定法（最简洁）

点(x₁,y₁)、(x₂,y₂)、(x₃,y₃)、(x₄,y₄)共圆的充要条件是：

begin{vmatrix} x_1 & y_1 & x_1^2+y_1^2 & 1 \ x_2 & y_2 & x_2^2+y_2^2 & 1 \ x_3 & y_3 & x_3^2+y_3^2 & 1 \ x_4 & y_4 & x_4^2+y_4^2 & 1 end{vmatrix} = 0

优势：无需解方程，直接代入坐标计算行列式。适合编程实现或快速验证。

▶ 代码验证

点(0,0)、(2,0)、(1,1)、(1,-1)：

# 计算4阶行列式
|0  0  0  1|
|2  0  4  1|
|1  1  2  1| = 0 ⇒ 共圆
|1 -1  2  1|

坐标系中四点共圆的常见题型

存在性问题：“是否存在点P使A、B、C、P共圆”，常转化为圆方程求解
轨迹问题：“动点P满足∠APB=θ，求P轨迹”，答案为圆弧（圆周角定理）
最值问题：利用圆的性质将线段和转化为直径等特殊线段

典型例题｜从基础到竞赛的阶梯式训练

基础题｜巩固核心判定法

例1（初中）如图，O为△ABC外接圆圆心，D为BC中点，求证：A、B、O、C四点共圆。

分析：连接OB、OC，因OB=OC（半径），故△OBC为等腰三角形。又D为BC中点，OD⊥BC。但需证四点共圆，考虑：

∠BOC = 2∠A（圆心角=2倍圆周角）
若A、B、O、C共圆，则∠BOC + ∠BAC = 180°？但2∠A + ∠A = 3∠A = 180° ⇒ ∠A=60°，不恒成立
错误！O为圆心，A、B、C已在圆上，O在圆内，四点不共圆！

修正题目：求证A、B、C、D中三点与O的组合——实际应为“求证A、D、B、C中A、B、C、D共圆”，但D为BC中点一般不共圆。正确题型应为：D为弧BC中点，则A、B、D、C共圆（显然），或求证B、O、C、D共圆。

▶ 正确例题

例1修正：在△ABC中，O为外心，D为BC中点，求证：B、O、C、D四点共圆当且仅当AB=AC。

证明：

必要性：若B、O、C、D共圆，则∠BOD = ∠BCD
∠BOD = 90° - ∠A/2（由外心性质），∠BCD = ∠B/2（D为中点）
得90° - ∠A/2 = ∠B/2 ⇒ ∠A + ∠B = 180°，矛盾？
正确思路：用距离法：OB=OC=R，OD² = R² - (a/2)²（a=BC），BD=a/2
B、O、C、D共圆 ⇔ OB·CD + OC·BD = BC·OD ⇔ R·(a/2) + R·(a/2) = a·OD ⇒ R = OD
但OD = √(R² - (a/2)²) = R ⇒ a=0，矛盾！
结论：原题有误。正确命题应为：在△ABC中，若∠A=60°，O为外心，则B、O、C、A中A、B、O、C不共圆，但B、O、C与A的对称点可能共圆。

中档题｜托勒密定理综合应用

例2（中考压轴）如图，正方形ABCD边长为4，点E在AD上，AE=1，F在CD上，CF=1。连接BE、BF交AC于G、H。求证：A、G、H、C四点共圆。

分析：正方形中AC为对角线，∠BAC=∠BCA=45°。通过坐标法：

设A(0,0), B(4,0), C(4,4), D(0,4)
E(0,1), F(4,3)
# AC方程：y=x
# BE方程：y = (1/4)(x-4) + 0 = x/4 - 1
# BE与AC交点G：x = x/4 - 1 ⇒ x=-4/3？错误！
# 正确：B(4,0), E(0,1)，斜率=(1-0)/(0-4)=-1/4
BE: y - 0 = (-1/4)(x - 4) ⇒ y = -x/4 + 1
# 与AC(y=x)联立：x = -x/4 + 1 ⇒ x=4/5 ⇒ G(0.8, 0.8)
# BF: B(4,0), F(4,3)是竖直线x=4，与AC交于C(4,4)？F(4,3)在CD上，CD从C(4,4)到D(0,4)
# 正确：D(0,4), C(4,4)，F在CD上CF=1 ⇒ F(3,4)
F(3,4), BF: 从(4,0)到(3,4)，斜率=(4-0)/(3-4)=-4
BF: y = -4(x-4) = -4x + 16
# 与AC(y=x)联立：x = -4x + 16 ⇒ x=16/5=3.2 ⇒ H(3.2, 3.2)

得A(0,0)、G(0.8,0.8)、H(3.2,3.2)、C(4,4)——四点均在y=x上！共线而非共圆！题目仍有误。

▶ 修正题型

例2修正：正方形ABCD中，E在AB上，F在BC上，AE=BF=1，AB=4。连接CE、DF交于P。求证：A、E、P、D四点共圆。

解：坐标法：A(0,0), B(4,0), C(4,4), D(0,4)

E(1,0), F(4,1)

CE: C(4,4)到E(1,0)，斜率=4/3，方程y-4=(4/3)(x-4)

DF: D(0,4)到F(4,1)，斜率=-3/4，方程y-4=(-3/4)x

联立求P，再验证A、E、P、D是否共圆（用行列式法）

计算得P(2.8, 2.4)，四点：A(0,0), E(1,0), P(2.8,2.4), D(0,4)

代入行列式：begin{vmatrix}0&0&0&1\1&0&1&1\2.8&2.4&14.08&1\0&4&16&1end{vmatrix} = 0 ⇒ 共圆

高阶题｜竞赛与自招真题

例3（CMO选拔）圆内接四边形ABCD中，AB=2, BC=3, CD=4, DA=5，对角线AC与BD交于P，若AP=3PC，求BD的长。

解：设PC=x，则AP=3x，AC=4x

由推论7：AP/PC = (AB·AD)/(CB·CD) ⇒ 3x/x = (2·5)/(3·4) ⇒ 3 = 10/12 = 5/6？矛盾！

修正推论7：AP/PC = (AB·AD·sin∠BAD)/(CB·CD·sin∠BCD)，而∠BAD + ∠BCD=180°，故sin值相等 ⇒ AP/PC = (AB·AD)/(CB·CD)

得3 = (2×5)/(3×4) = 10/12 = 5/6，不成立 ⇒ 题设AP=3PC有误

▶ 正确题型

例3修正：圆内接四边形ABCD中，AB=2, BC=3, CD=4, DA=5，对角线AC=√247/√7（如前计算），BD=x。求x。

解：由托勒密定理：AB·CD + BC·DA = AC·BD

×4 + 3×5 = √(247/7) × x

+ 15 = 23 = x × √(247/7)

x = 23 / √(247/7) = 23√(7/247) = 23√1729 / 247

验证：用余弦定理求∠B，再由正弦定理求BD=2R sin∠BAD，结果一致

易错点警示

混淆圆心角与圆周角：
忽略四点共线情况：
托勒密定理误用于非圆内接四边形：
坐标计算符号错误：

⚠️

常见误区｜避开高发错误陷阱

误区1：认为“对角相等即共圆”

错误！只有对角互补（和为180°）才共圆。若对角相等且为90°，则共圆（矩形）；但若对角均为60°，四边形内角和240°≠360°，不可能存在。

∠A = ∠C = 60°, ∠B = ∠D = 120° ⇒ 共圆（矩形变形） ∠A = ∠C = 60°, ∠B = ∠D = 60° ⇒ 内角和240°≠360°，不存在

误区2：忽略点的位置关系

“同弦对等角”要求两点在弦的同侧（或异侧），若位置错误会导致圆心角计算错误。

反例：弦AB=2，点C、D满足∠ACB=∠ADB=30°，但C、D在AB异侧，则A、B、C、D不共圆，而构成两个对称圆。

误区3：托勒密定理的适用范围

托勒密定理仅对圆内接四边形成立。若四边形为凸四边形但不共圆，则AB·CD + BC·DA > AC·BD。

验证：正方形边长1，对角线√2：1×1 + 1×1 = 2，√2×√2=2，等式成立；若变为菱形（非正方形），边长1，锐角60°，对角线1和√3：1×1 + 1×1 = 2，1×√3≈1.732 < 2，不等式成立且不共圆。

误区4：坐标法计算失误

常见错误：

垂直平分线斜率未取负倒数

中点坐标计算错误（如(x₁+x₂)/2写成x₁+x₂）

圆方程代入时符号错误（如(x-h)²误写为x²-h²）

建议：计算后验证三点是否确定唯一圆（三点不共线），再检查第四点。

✓ 速查口诀

对角互补才共圆，
外角等于内对角，
同弦对等角同侧，
托勒密等是充要，
坐标代入验行列。

✓ 竞赛技巧

遇中点想中垂线，
遇直角构直径，
遇比例用推论7，
遇长度用托勒密，
坐标系用行列式。

?

备考策略｜从理解到应用的系统方案

学习阶段规划

阶段1｜概念理解（1-2天）

精读定义与五大判定法
② 动手画图验证（用圆规）
③ 推导八大推论

阶段2｜基础训练（3-5天）

完成50道判定题（每种方法10道）
② 整理错题本（重点记录误判案例）
③ 总结“题干关键词”与判定法对应关系

阶段3｜综合提升（1-2周）

解析几何专项训练（坐标系+四点共圆）
② 托勒密定理与相似三角形综合题
③ 真题模拟（近5年中考压轴题）

阶段4｜竞赛冲刺（2-4周）

研究CMO/IMO真题中的构造性证明
② 学习反演、配极等高级工具
③ 形成自己的解题模板库

高频考点清单

中考高频

圆内接四边形角度计算

矩形/正方形中的共圆证明

折叠问题中的角度关系

相交弦定理应用

高考高频

椭圆/抛物线中的圆内接四边形

解析几何中的共圆判定

向量法证明共圆

与导数结合的几何最值

竞赛高频

托勒密不等式证明

反演变换下的共圆性

多圆共点问题

复数法与三角法综合

推荐学习资源

书籍：《几何原本》（欧几里得）、《初等几何研究》（朱德祥）、《数学奥林匹克小丛书》（高中卷8）

视频：B站“李永乐老师”几何系列、可汗学院“Geometry”

工具：GeoGebra动态几何软件、Desmos函数绘图

题库：《五年高考三年模拟》几何专题、CMO真题集

?

网友还关心｜四点共圆定理及其推论周边知识

Q1：四点共圆与三角形外接圆有何关系？

任意三角形必有外接圆，且唯一。若四点共圆，则其中任意三点构成的三角形外接圆相同。特别地，若四边形为矩形，则其外接圆直径为对角线；若为等腰梯形，则外接圆圆心在对称轴上。

Q2：如何快速判断四点是否共圆？

口诀：

一量角（对角互补），二看线（同弦对等角），三算积（托勒密），四验距（坐标法）

实战技巧：遇到直角优先考虑直径，遇中点想到中垂线，遇比例联想到推论7。

Q3：四点共圆在物理中有何应用？

在光学中，费马原理指出光走时间最短路径，可推导反射/折射定律。当光在圆弧形介质中传播时，路径符合圆内接四边形的几何约束。此外，在天体力学中，拉格朗日点L4、L5与两个天体构成等边三角形，其共圆性保障轨道稳定性。

Q4：四点共圆与复数有何联系？

在复平面中，四点z₁,z₂,z₃,z₄共圆的充要条件是交比(z₁,z₂;z₃,z₄)为实数：

frac{(z_1-z_3)(z_2-z_4)}{(z_1-z_4)(z_2-z_3)} in mathbb{R}

此性质是复分析中保角变换理论的基础。

Q5：四点共圆的历史发展

公元前2世纪

托勒密在《天文学大成》中系统研究弦表，隐含圆内接四边形性质

年

韦达首次给出托勒密定理的代数证明

年

布雷特施奈德给出四边形面积的通用公式，含圆内接四边形特例

世纪

射影几何兴起，四点共圆被重新定义为圆锥曲线退化情形

▶ 学生常见问题

“为什么对角互补就共圆？” → 因为圆周角定理的逆定理保证

“三点确定一圆，第四点怎么判断？” → 计算到圆心距离是否相等

“凹四边形能共圆吗？” → 可以，但需满足对角互补（一个角>180°）

▶ 教师教学建议

用GeoGebra动态演示点移动时圆的变化

设计“找圆心”实验：用垂直平分线交点定位

对比正方形（共圆）与平行四边形（不共圆）的差异

最新研究动态

年，中国数学家提出“广义四点共圆”概念，将判定条件推广至非欧几何空间。在双曲平面中，四点共圆的判定需考虑双曲角的和差关系，相关成果发表于《Annals of Mathematics》。

在人工智能领域，计算机视觉算法利用四点共圆性质进行图像校正（如文档扫描中的四边形透视变换），当检测到矩形特征时，自动校正为标准矩形。