圆内接四边形对角互补的性质及推论

1. 理解核心性质

定位 一个四边形，若其四个顶点都在同一个圆上，则称为圆内接四边形。

识别 任意圆内接四边形，其每一组对角之和都等于 180°（或 π 弧度）。这是几何学中的一条基本定理。

证明 使用圆心角与圆周角关系：

1. 连接 四边形四个顶点 A、B、C、D 与圆心 O，画出两条半径 OA、OC 以及 OB、OD。
2. 观察 弧 ABC 所对的圆心角为 ∠AOC，弧 ADC 所对的圆心角为 ∠AOC 的另一部分（或互补角）。但实际上应利用弧 BAD 和弧 BCD。一种更直接的证明方法：连接对角线 AC。
3. 写出 圆周角 ∠ABC 对应弧 ADC（不包含点 B 的弧），圆心角 ∠AOC 对应同一段弧，因此 ∠ABC = ½∠AOC。
4. 写出 圆周角 ∠ADC 对应弧 ABC，圆心角 ∠AOC 的补角（即 360°−∠AOC）对应弧 ABC，因此 ∠ADC = ½(360°−∠AOC)。
5. 相加 ∠ABC + ∠ADC = ½∠AOC + ½(360°−∠AOC) = ½×360° = 180°。同理可证另一组对角之和也为 180°。

结论 圆内接四边形对角互补。即 ∠A + ∠C = 180°，∠B + ∠D = 180°。

2. 应用性质进行快速计算

场景 已知圆内接四边形中三个角的度数，求第四个角。

1. 确认 四边形是圆内接的（可通过已知条件验证，如四点共圆）。
2. 选取 与未知角相对的那个已知角。例如，求 ∠D，已知 ∠B。
3. 计算 ∠D = 180° − ∠B。
4. 验证 使用另一组对角：∠A + ∠C 也应等于 180°，若已知 ∠A 和 ∠C，可检验结果是否一致。

示例：圆内接四边形中 ∠A=70°，∠B=110°，∠C=80°，求 ∠D。

• 使用 ∠D = 180° − ∠B = 180° − 110° = 70°。
• 检验 ∠A + ∠C = 70°+80°=150°≠180°，说明原四边形不是圆内接四边形？但题目已设圆内接，实际应检查数据是否矛盾。本例中 ∠B=110°，则 ∠D 应为 70°，但 ∠A+∠C=150°，与对角互补矛盾，说明给出的数据不可能构成圆内接四边形。在实际问题中，若数据自洽，则可直接求解。

3. 推导第一个推论：外角等于内对角

前提 圆内接四边形一个角的外角（该角的邻补角）等于其对角（即不相邻的内角）。

操作

1. 延长 四边形的一边，例如延长 AB 至点 E，使得 ∠CBE 是 ∠ABC 的外角。
2. 写出 ∠CBE = 180° − ∠ABC（邻补角定义）。
3. 利用性质 ∠ABC + ∠ADC = 180°，所以 ∠ADC = 180° − ∠ABC。
4. 对比 ∠CBE = ∠ADC。

结论 圆内接四边形的外角等于内对角（即该外角所对的四边形内角）。推论常用来证明角度相等或四点共圆。

应用示例：在圆内接四边形 ABCD 中，延长 BA 至 F，若 ∠FAD=50°，求 ∠C。

• 识别 ∠FAD 是 ∠BAD 的外角，根据推论，它等于内对角 ∠C，所以 ∠C=50°。

4. 推导第二个推论：四点共圆的判定逆定理

前提 若一个四边形的对角互补，则该四边形内接于圆（即四点共圆）。

证明

1. 假设 四边形 ABCD 中，∠A + ∠C = 180°。
2. 作圆 过不共线三点 A、B、C 作唯一的圆（外接圆）。
3. 反证 假设点 D 不在该圆上。则点 D 可能在圆内或圆外。
   • 若 D 在圆内，则延长 AD 交圆于 D'，连接 CD'。由圆内接四边形对角互补，∠A + ∠CD'B = 180°。但 ∠C > ∠CD'B（三角形外角大于内角），所以 ∠A+∠C > 180°，矛盾。
   • 若 D 在圆外，类似可证 ∠A+∠C < 180°，矛盾。
4. 得出 D 必在圆上，即四点共圆。

结论 对角互补是四边形内接于圆的充要条件。此推论常用来证明四点共圆，进而利用圆的性质解决角度、长度问题。

应用步骤

1. 设定 四边形 ABCD，已知 ∠A + ∠C = 180° 或 ∠B + ∠D = 180°。
2. 断言 点 A、B、C、D 在同一圆上。
3. 使用 其他圆的性质，如等弧对等角、弦切角定理等。

示例：已知四边形 ABCD 中 ∠A=90°，∠C=90°，求 ∠B 与 ∠D 的关系？

• 判断 ∠A+∠C=180°，故 A、B、C、D 四点共圆。又因为 ∠A+∠B+∠C+∠D=360°，已知 ∠A=∠C=90°，所以 ∠B+∠D=180°，即对角互补（自洽）。

5. 推导第三个推论：割线定理与圆幂定理的联系

前提 圆内接四边形的两组对边乘积相等（托勒密定理），但托勒密定理并非直接推论，而是更强大的结论。这里我们关注一个简单推论：圆内接四边形中，若延长两边交于一点，则该点到两交点的距离乘积关系。

操作 利用外角等于内对角证明相似三角形。

1. 在圆内接四边形 ABCD 中，延长 AB 和 DC 交于点 P。
2. 观察 ∠PBC = ∠ADC（外角等于内对角），∠PCB = ∠BAD（同理）。
3. 识别 三角形 PBC 与三角形 PDA 相似（两对角相等）。
4. 写出 比例式：PB/PD = PC/PA = BC/DA。
5. 结论 由此可得 PA·PC = PB·PD（割线定理）。但注意，此结论本质上与圆幂定理一致，且不限于圆内接四边形，而是圆上任意两点与圆外一点的关系。这里仅展示如何从对角互补出发推导出常见割线关系。

应用示例：在圆内接四边形 ABCD 中，延长 AB 和 CD 交于 P，已知 PA=6，PB=2，PC=3，求 PD。

• 使用 割线定理 PA·PB = PC·PD（注意这里是线段配置，实际上应使用 PA·PB = PC·PD 还是 PA·PC = PB·PD？由相似推导出的是 PA/PD = PC/PB，即 PA·PB = PC·PD。代入：6×2 = 3×PD，得 PD=4。

注意 具体哪两个线段相乘，需根据相似三角形的对应边确定，不可死记公式。

6. 综合应用：解题三步法

用例 已知圆内接四边形 ABCD 中，∠A = 2∠C，且 ∠B = 3∠C，求各角度数。

1. 建立 方程：对角互补原则，∠A + ∠C = 180°，即 2∠C + ∠C = 180°，解得 ∠C = 60°。
2. 计算 ∠A = 2×60°=120°。利用另一组对角：∠B + ∠D = 180°，即 3×60° + ∠D = 180°，得 ∠D = 0°，矛盾。这意味着已知数据不合理（因为 ∠D 不能为 0），实际题目应设置合理数值。修正示例：若 ∠A = 2∠C，∠B = 3∠C，则列方程组 ∠A+∠C=180° 得 ∠C=60°，∠A=120°，再由 ∠B+∠D=180° 得 ∠D=180°−3×60°=0°，故原条件不可同时成立。正确的做法是只用对角互补一组方程即可，因为四个角总和 360°，两组对角互补自动保证总和。所以只需使用一组对角互补再结合其他条件（如角度关系）求解。

修正解题步骤：

1. 写出 对角互补：∠A + ∠C = 180°。
2. 代入 已知关系：∠A = 2∠C，得 2∠C + ∠C = 180° → ∠C=60°，∠A=120°。
3. 使用 四边形内角和 360°：∠B + ∠D = 180°（自动成立）。
4. 结合 第二个条件（如 ∠B = 3∠C，但此时 ∠B=180°，不合理，需调整题目）。假设改为 ∠B = 1.5∠C，则 ∠B=90°，∠D=90°，最终得 ∠A=120°，∠B=90°，∠C=60°，∠D=90°。

检验 所有角均为正，且两组对角互补（120+60=180，90+90=180），符合。

7. 避免常见错误

• 混淆 对角互补与邻角互补。圆内接四边形中，邻角不一定互补（除非是矩形等特殊情形）。
• 误用 外角等于内对角时，必须保证外角是由延长一边所得，且所对的角是四边形不相邻的内角。
• 省略 圆内接四边形是前提，不可在任意四边形中直接使用对角互补。
• 在计算中 忘记验证解是否合理（如角度是否为正值、是否小于 180°）。

纠正方法：每次使用性质前，先确认四边线是否共圆。若未直接给出，可通过已知条件证明，或假定后推得矛盾则说明假设不成立。

8. 记忆与快速草图

手绘 一个任意圆，在圆上取四点 A、B、C、D（按顺序连接）。标出对角，用量角器可验证其和近似 180°。在无仪器时，可用折叠法：将纸上的四边形剪下，沿对角线折叠，若对角顶点重合，则说明互补。

口诀“圆内接四边形，对角加起来一百八；外角等于内对角，判定共圆它当家。”

直接停止