内接四边形计算器

圆内接四边形（也称为循环四边形）是指四个顶点都在同一个圆上的四边形。其最有用的性质是对角互补规则：

∠A + ∠C = 180° 且 ∠B + ∠D = 180°

本计算器应用该规则：输入任意一个角，即可得到其对角。本教程涵盖该定理、证明（使用圆周角定理）以及其与逆命题的关系——对角互补的四边形必为循环四边形。

圆内接四边形定理

对于圆内接四边形 ABCD：

• ∠A + ∠C = 180°（一对对角）
• ∠B + ∠D = 180°（另一对对角）

由于所有 4 个角的和始终为 360°，因此任一方程必然导致另一个方程成立。

定理为何成立

证明使用了圆周角定理：圆上的圆周角等于其所对弧对应的圆心角的一半。

对于循环四边形 ABCD：

• 角 A 是一个圆周角，它截取了弧 BCD（沿圆周的一个方向）。
• 角 C 是一个圆周角，它截取了弧 DAB（沿圆周的另一个方向）。
• 这两段弧合起来构成了整个圆，即 360°。

每个圆周角等于其所截弧度数的一半。因此 ∠A + ∠C = (弧 BCD)/2 + (弧 DAB)/2 = (弧 BCD + 弧 DAB)/2 = 360°/2 = 180°。✓

∠B + ∠D 同理。

逆命题

该定理也可反向使用：如果四边形的对角之和为 180°，则该四边形是循环四边形（内接于圆）。

因此，该定理是一个“当且仅当”关系：

• 循环四边形 → 对角互补
• 对角互补 → 四边形是循环四边形

这是一个常用的证明工具：通过证明某四边形的对角互补，从而得出其位于圆上。

例题 1 —— 求对角

已知循环四边形中 ∠A = 110°。求 ∠C。

∠C = 180° − 110° = 70°。

例题 2 —— 求所有四个角

已知循环四边形中 ∠A = 95°，∠B = 80°。求 ∠C 和 ∠D。

∠C = 180° − ∠A = 85°。
∠D = 180° − ∠B = 100°。

验证：∠A + ∠B + ∠C + ∠D = 95 + 80 + 85 + 100 = 360°。✓

例题 3 —— 验证四边形是否为循环四边形

给定一个角度分别为 90°、95°、90°、85° 的四边形。它是循环四边形吗？

检查第一组对角：90° + 90° = 180°。✓
检查第二组对角：95° + 85° = 180°。✓

两组对角均互补。根据逆命题，该四边形是循环四边形。

总是循环的四边形

• 矩形：所有角均为 90°，因此对角之和为 180°。总是循环四边形。
• 正方形：特殊的矩形。总是循环四边形。
• 等腰梯形：对称性迫使对角互补。总是循环四边形。
• 直角筝形：具有两个相对直角的筝形。是循环四边形。

从不（必然）循环的四边形

• 一般平行四边形（非矩形）：对角相等（而非互补），因此它们的和为 2·角度，仅当角度 = 90° 时才为 180°。因此，非矩形平行四边形不是循环四边形。
• 非正方形菱形：属于平行四边形，因此遵循相同规则。不是循环四边形。
• 一般筝形：可能是也可能不是循环四边形，取决于其角度。

对角线与角度的关系

对于循环四边形，对角线与一边之间的夹角等于对角线与它所对的另一边之间的夹角。（基于同弦的圆周角定理。）

这在循环四边形问题中会产生许多额外的角度相等关系。

实际应用

• 奥林匹克几何。循环四边形恒等式出现在数十道竞赛题中。
• 天文学（历史）。婆罗摩笈多和托勒密关于循环四边形的恒等式支持了天球计算。
• 测量学。如果地块的四个角落位于已知圆上，角度定理有助于验证测量数据。
• 建筑学。内接四边形形状出现在彩色玻璃和玫瑰窗设计中。

常见错误

• 将对角视为相等。在循环四边形中，对角是互补的（和为 180°），而不是相等。对角相等出现在平行四边形中，而平行四边形通常不是循环四边形。
• 忘记逆命题。“循环 → 互补”和“互补 → 循环”均为真，并在不同问题中使用。
• 将规则应用于非循环四边形。大多数四边形并非循环四边形。首先应检查互补条件。
• 混淆内接四边形与外切四边形。内接 = 顶点在圆上。外切 = 边与圆相切。这是不同的概念，对应不同的定理。