圆内接四边形计算器

圆内接四边形是指四个顶点都在同一个圆上的四边形。这是“任意三角形都可以内接于一个圆”这一性质的四边形类比——但与三角形不同，并非所有四边形都是圆内接的。圆内接性质产生了几种显著的关系：对角之和为180°，面积遵循婆罗摩笈多公式（海伦公式的圆内接推广），且对角线满足托勒密定理。本教程涵盖这三者。

定义性质

四边形ABCD是圆内接四边形，当且仅当其四个顶点共圆。该圆称为外接圆（或 circumcircle），其半径称为外接圆半径 R。

圆内接四边形的判定——最简单的版本：对角之和为180°。

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

（由于任意四边形的四个角之和均为360°，上述任一方程均可推出另一个。）

为什么对角之和为180°

这是圆周角定理的直接推论：圆上的圆周角等于其所对弧对应的圆心角的一半。

对于圆内接四边形ABCD：角A和角C是对着圆上相对弧的圆周角。这两条弧共同构成整个圆（360°的弧度）。每个圆周角是其对应弧的一半，因此它们的和为360°的一半，即180°。

反之亦然（逆定理）：如果四边形的对角之和为180°，那么它是圆内接四边形。这是判断“某四边形是否为圆内接四边形”的实用方法。

婆罗摩笈多公式

边长分别为 a, b, c, d 的圆内接四边形的面积为：

面积 = √((s − a)(s − b)(s − c)(s − d))

其中 s = (a + b + c + d) / 2 为半周长。

该公式由公元7世纪的印度数学家婆罗摩笈多发现，它是三角形海伦公式在四边形中的圆内接类比。事实上，如果你让其中一条边的长度收缩至0，圆内接四边形将退化为三角形，婆罗摩笈多公式也就简化为海伦公式。

对于非圆内接四边形，此公式给出的面积是高估值。婆罗摩笈多公式计算出的值是给定四条边长的四边形所能达到的最大面积——且仅当四边形为圆内接四边形时，才能达到该最大值。

例题——婆罗摩笈多公式

边长为 3, 4, 5, 6 的圆内接四边形。

s = (3 + 4 + 5 + 6) / 2 = 9。

面积 = √((9−3)(9−4)(9−5)(9−6)) = √(6 × 5 × 4 × 3) = √360 ≈ 18.97。

托勒密定理

对于圆内接四边形ABCD，其对角线为 p = AC 和 q = BD：

p × q = a × c + b × d

对角线的乘积等于两组对边乘积之和（其中 a = AB, c = CD 为一组对边，b = BC, d = DA 为另一组）。

托勒密定理是几何学中最优美的定理之一。它建立了圆内接四边形对角线与边长之间的直接关系。

矩形中的托勒密定理

矩形是一种圆内接四边形（其四个顶点位于以矩形对角线为直径的圆上）。对于边长为 l 和 w 的矩形：

• a = c = l（两对对边相等）
• b = d = w
• 两条对角线相等：p = q = √(l² + w²)

根据托勒密定理：p² = a×c + b×d = l² + w²。这正是勾股定理！托勒密定理将勾股定理推广到了所有圆内接四边形。

例题——托勒密定理

圆内接四边形，边长 AB = 5, BC = 6, CD = 8, DA = 7。对角线 AC = 9。求对角线 BD。

根据托勒密定理：AC × BD = AB × CD + BC × DA
9 × BD = 5 × 8 + 6 × 7 = 40 + 42 = 82
BD = 82/9 ≈ 9.11。

哪些四边形一定是圆内接的？

几种特殊的四边形保证是圆内接的：

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

不一定是圆内接的：

• 一般平行四边形：对角相等，因此和为2倍的角度。只有当角度为90°时和才等于180°，此时它成为矩形。非矩形的平行四边形不是圆内接四边形。
• 菱形：边长相等的平行四边形。非正方形的菱形不是圆内接四边形。
• 一般梯形：可能是也可能不是圆内接四边形，取决于它是否为等腰梯形。
• 一般筝形：可能是也可能不是圆内接四边形。

实际应用

• 天文学（历史）。婆罗摩笈多和托勒密都开发了圆内接四边形的恒等式，以支持涉及“天球”上天体位置的天文学计算。
• 建筑学。内接四边形形状出现在彩色玻璃、马赛克和圆形窗户设计中。
• 奥林匹克数学。圆内接四边形恒等式（托勒密定理、婆罗摩笈多公式、对角性质）出现在数十道竞赛题中。
• 计算机图形学。检测四个检测点是否共圆利用了圆内接条件。

常见错误

• 将婆罗摩笈多公式应用于非圆内接四边形。该公式仅适用于圆内接四边形。对于边长为 a, b, c, d 的一般四边形，面积不仅取决于边长——还需要对角线长度或角度。
• 混淆托勒密定理的方向。托勒密定理给出的是“对角线乘积 = 对边乘积之和”，而不是“对角线 = 对边之和”或其他变形。
• 将任何平行四边形视为圆内接四边形。只有矩形（具有直角的平行四边形）才是圆内接四边形。一般平行四边形和菱形则不是。
• 忘记对角规则中的“当且仅当”。对角之和为180°既是必要条件（每个圆内接四边形都具有此性质）也是充分条件（具有此性质的四边形即为圆内接四边形）。这种充要条件为你提供了判断四边形是否圆内接的依据。