什么是圆内接四边形？
在平面几何中，圆内接四边形（Cyclic Quadrilateral）是指四个顶点都在同一个圆上的四边形。这个圆被称为该四边形的外接圆。圆内接四边形是初中及高中几何中的重要研究对象，它不仅具备一般四边形的性质，更因为“共圆”这一特殊约束，拥有一系列独特且优美的性质定理。
💡 核心定义提示
若四边形ABCD的四个顶点A、B、C、D均位于⊙O上，则称四边形ABCD为圆内接四边形。此时，∠A、∠B、∠C、∠D均为圆周角。
研究圆内接四边形的意义在于，它将线性几何（边长、角度）与圆形几何（弧度、圆心角）紧密联系了起来。通过圆的性质，我们可以推导出四边形内部角度和边长的复杂关系，这在解决竞赛题和实际工程测量中极为常见。
圆内接四边形的核心性质定理
理解圆内接四边形，必须掌握以下三大核心性质。这些性质不仅是解题的基础，也是后续推导其他定理（如托勒密定理）的基石。
① 对角互补
定理内容：圆内接四边形的对角互补，即相对的两个角之和等于180°。
∵ 四边形ABCD内接于⊙O
∴ ∠A + ∠C = 180°
∠B + ∠D = 180°
【证明思路】利用圆周角定理，∠A对弧BCD，∠C对弧BAD，两弧之和为360°，故两角之和为180°。
② 外角等于内对角
定理内容：圆内接四边形的外角等于它的内对角。
延长BC至E
∵ 四边形ABCD内接于⊙O
∴ ∠DCE = ∠A
【证明思路】由对角互补知∠A + ∠BCD = 180°，由邻补角知∠DCE + ∠BCD = 180°，故∠A = ∠DCE。
③ 相交弦定理推论
定理内容：若圆内接四边形的对角线相交于点P，则 PA·PC = PB·PD 不成立（这是圆内相交弦），正确的性质是：△PAD ∽ △PCB。
PA·PD = PB·PC (错误)
正确比例：PA/PB = PD/PC
即 PA·PC = PB·PD (这是割线定理形式，若P在圆内则为相交弦定理：PA·PC=PB·PD 仅当P是对角线交点时，需对应线段乘积相等)
【修正】若对角线AC、BD交于P，则 PA·PC = PB·PD 是错误的。正确的是 PA·PC 无直接定值，但 PA·AC = ... 也不对。正确性质是：由相似三角形得 PA/PB = AD/BC 等。若P为对角线交点，则 PA·PC 并不等于 PB·PD，而是 PA·PC 与 PB·PD 分别是对角线被分成的两段乘积，它们相等当且仅当... 等等，相交弦定理是指：若弦AC、BD交于P，则 PA·PC = PB·PD。是的，这是对的。因为A,B,C,D共圆，P在圆内，所以PA·PC=PB·PD成立。
性质深度解析
许多同学在记忆性质时容易混淆“对角互补”与“邻角互补”。请记住，矩形和等腰梯形都是特殊的圆内接四边形，它们的对角显然是互补的（矩形90+90=180，等腰梯形底角相等，顶角互补，对角也互补）。而一般的平行四边形（非矩形）通常不能内接于圆，因为其对角相等但不一定互补（除非都是90度）。
如何判定一个四边形是圆内接四边形？
在几何证明题中，证明“四点共圆”是常见任务。以下是几种最常用的判定方法：
判定依据：对角互补
如果四边形的对角互补，那么这个四边形内接于圆。
应用场景：已知四边形ABCD中，∠A + ∠C = 180°，求证A、B、C、D四点共圆。
证明技巧：通常采用反证法。假设过A、B、C三点的圆不经过D，则D点在圆内或圆外。若D在圆内，延长AD交圆于D'，则∠ABC + ∠AD'C = 180°，与已知矛盾。同理可证D不在圆外。
判定依据：外角等于内对角
如果四边形的一个外角等于它的内对角，那么这个四边形内接于圆。
应用场景：在动态几何问题中，当点D运动时，若始终保持∠DCE（E为BC延长线上点）= ∠A，则D点轨迹为过A、B、C的圆弧。
优势：此判定法在处理涉及延长线的题目时非常直观，无需计算角度和，直接寻找相等角即可。
判定依据：同侧张角相等（“同弧所对圆周角相等”的逆定理）
如果线段同侧的两个点对该线段张角相等，则这两点及线段端点共圆。
模型：如图，若点C、D在直线AB同侧，且 ∠ACB = ∠ADB，则A、B、C、D四点共圆。
记忆口诀：“同底同侧等角，四点共圆”。这是构造辅助圆最常用的判定方法，尤其在几何变换和动点问题中。
圆内四边形的面积与托勒密定理
除了角度关系，圆内接四边形在边长和面积上也有独特的规律。这些内容通常是数学竞赛的考点，也是提升几何素养的关键。
1. 布拉美古塔公式（Brahmagupta's Formula）
一般四边形的面积需要知道对角线夹角或更多参数，但圆内接四边形的面积仅由四条边长决定。这类似于海伦公式对三角形的作用。
📐 公式展示
设圆内接四边形边长为 a, b, c, d，半周长 s = (a+b+c+d)/2
Area = √[(s-a)(s-b)(s-c)(s-d)]
注意：当 d=0 时，退化为三角形，即海伦公式。这证明了圆内接四边形面积公式的普适性。
2. 托勒密定理（Ptolemy's Theorem）
托勒密定理揭示了圆内接四边形对角线与边长之间的数量关系。
| 定理名称 | 数学表达式 | 几何意义 | 应用提示 |
|---|---|---|---|
| 托勒密定理 | AC · BD = AB · CD + BC · DA | 两对角线乘积等于两组对边乘积之和 | 常用于证明线段不等式、计算对角线长度或证明三角恒等式。 |
| 对角线公式 | p = √[(ac+bd)(ad+bc)/(ab+cd)] | 利用边长直接计算对角线长 | 由托勒密定理及相似三角形比例推导而来，适合已知四边求对角线。 |
3. 正弦定理在圆内接四边形中的应用
由于四边形内接于圆，其外接圆直径 R 是固定的。利用三角形面积公式 S = abc/4R，我们可以将圆内接四边形分割为两个三角形，分别计算面积后相加，从而推导出布拉美古塔公式。这种“分割法”是解决复杂几何面积问题的通用策略。
历史演变与经典案例
圆内接四边形的研究贯穿了数学史的发展。从古希腊的托勒密到印度的布拉美古塔，数学家们不断挖掘其深层性质。
托勒密的贡献
克劳狄乌斯·托勒密在《天文学大成》中详细记录了圆内接四边形的性质，并提出了著名的托勒密定理。他利用这些性质编制了详细的弦表，为天文学计算奠定了基础。
布拉美古塔的突破
印度数学家布拉美古塔（Brahmagupta）首次给出了仅由边长计算圆内接四边形面积的公式，即布拉美古塔公式。这是几何面积理论的重要里程碑。
中考与竞赛常客
在现代数学教育中，圆内接四边形是初中几何的高频考点。特别是在“圆的证明”章节，判定四点共圆和利用对角互补解题是区分学生几何思维深度的重要指标。
典型例题解析：利用对角互补求角度
题目：如图，四边形ABCD内接于⊙O，∠A = 100°，求∠C及∠B的外角∠DCE的度数。
解析：
- 根据圆内接四边形对角互补性质：∠A + ∠C = 180°。
- 代入数据：100° + ∠C = 180°，解得 ∠C = 80°。
- 根据外角等于内对角性质：∠DCE = ∠A。
- 故 ∠DCE = 100°。
网友们还关心：圆内接四边形的周边知识
在深入掌握核心定理后，许多学习者会进一步探索与之紧密相关的几何概念。以下整理了网民高频关注的周边知识点，帮助您构建更完整的知识网络。
① 调和四边形
若圆内接四边形ABCD满足 AB·CD = BC·DA，则称为调和四边形。此时，对角线AC、BD与切线构成调和线束。这是射影几何中的有趣概念。
② 婆罗摩笈多定理
若圆内接四边形的对角线互相垂直，则过交点作一边的垂线，必平分对边。这是一个非常优美的几何性质，常用于辅助线构造。
③ 布罗卡点与圆
虽然布罗卡点主要关联三角形，但在某些特殊圆内接四边形（如由两个共边三角形组成）中，布罗卡点的性质也会影响四边形的角度分布。
④ 反演变换
利用反演变换可以将复杂的圆内接四边形问题转化为直线或平行线问题。例如，以某顶点为反演中心，可将外接圆反演为一条直线，从而简化证明。
易错点警示
在解题过程中，同学们常犯以下错误，请务必注意：
- 混淆对角与邻角：切记是“对角”互补，而非邻角。矩形邻角互补，但普通圆内接四边形邻角不一定互补。
- 忽视凹凸性：圆内接四边形必然是凸四边形。如果出现凹四边形，它不可能内接于圆（因为凹角大于180度，而圆内接四边形对角和180，不可能有角大于180）。
- 托勒密定理误用：托勒密不等式（任意四边形对角线乘积 ≤ 对边乘积之和）在非圆内接四边形中取严格小于号。只有圆内接时才取等号。
常见问题解答 (FAQ)
Q: 矩形一定是圆内接四边形吗？
A: 是的。矩形的四个角都是90度，对角之和为180度，满足圆内接四边形的判定条件。其外接圆圆心为对角线交点，半径为对角线的一半。
Q: 菱形一定是圆内接四边形吗？
A: 不一定。只有当菱形是正方形时，它才是圆内接四边形。普通菱形的对角相等但不互补（除非是90度），因此一般不能内接于圆。
Q: 如何快速判断四点共圆？
A: 1. 看对角是否互补；2. 看外角是否等于内对角；3. 看同侧张角是否相等；4. 看是否满足托勒密定理的等号形式。其中，“同侧张角相等”在动态几何题中最常用。