探索圆内接四边形的几何奥秘，掌握婆罗摩笈多公式，解决复杂几何计算难题。
在平面几何中，当四个点位于同一个圆周上时，这四个点构成的四边形被称为圆内接四边形。对于这类特殊的四边形，其面积计算拥有一种极其优雅且高效的公式，即婆罗摩笈多公式（Brahmagupta's formula）。
这个公式不仅形式优美，而且揭示了边长与面积之间的深层联系。与任意四边形不同，圆内接四边形的面积仅由四条边的长度唯一确定，与其具体的形状变化（在保持边长不变且保持圆内接性质的前提下）无关。
该公式由印度数学家婆罗摩笈多（Brahmagupta）在公元628年提出。它是海伦公式（Heron's formula）的四边形推广形式。海伦公式用于计算三角形面积，而当四边形的一条边趋近于0时，婆罗摩笈多公式即退化为海伦公式。
必须严格满足四点共圆的条件。如果四边形不是圆内接四边形，该公式计算出的结果将小于实际面积。此时需要使用更通用的布雷特施奈德公式（Bretschneider's formula），其中包含了对角和的一半的余弦项。
当 a=c 且 b=d 时，四边形为矩形（或等腰梯形，若对角互补）。此时 s = a+b，公式变为 S = √[(b)(a)(b)(a)] = ab，即长乘以宽，符合直觉。
理解四点共圆面积公式的推导过程，有助于我们在解题时灵活变通。以下是基于三角函数和余弦定理的经典推导路径。
连接对角线 AC，将四边形 ABCD 分割为两个三角形：△ABC 和 △ADC。四边形面积 S = S(△ABC) + S(△ADC)。
由于四点共圆，对角互补，即 ∠B + ∠D = 180°。因此，cos D = -cos B，且 sin D = sin B。
S = ½ab sin B + ½cd sin D = ½(ab + cd) sin B。
在两个三角形中分别对边 AC 应用余弦定理：
AC² = a² + b² - 2ab cos B
AC² = c² + d² - 2cd cos D
联立得：a² + b² - 2ab cos B = c² + d² + 2cd cos B
解出 cos B = (a² + b² - c² - d²) / (2(ab + cd))。
利用 sin²B + cos²B = 1，代入 sin B 的表达式，经过复杂的代数化简（此处省略繁琐步骤），最终可得：
16S² = (a+b+c-d)(a+b-c+d)(a-b+c+d)(-a+b+c+d)
令 s = (a+b+c+d)/2，则 16S² = 16(s-a)(s-b)(s-c)(s-d)，开方即得 S = √[(s-a)(s-b)(s-c)(s-d)]。
掌握公式只是第一步，灵活运用才是关键。以下通过选项卡展示不同场景下的解题思路。
题目：已知圆内接四边形 ABCD，边长分别为 AB=3, BC=4, CD=5, DA=6。求其面积。
解析：
结论：对于边长已知的圆内接四边形，面积计算直接且快速。
题目：圆内接四边形 ABCD，AB=AC=AD=2，∠BAC=40°。求四边形面积。
解析：
此题不能直接用边长公式，因为边长未全知。需利用几何性质。
修正案例：设四边形由两个全等的等腰直角三角形拼成，斜边为直径。边长为 1, 1, √2, √2？不，这是正方形的一半。设边长为 1, 1, 1, 1（正方形），s=2, S=√[1111]=1。正确。
题目：用长度为 L 的绳子围成一个四边形，如何围才能使面积最大？
解析：
这是一个经典的等周问题变体。
结论：正方形是周长一定时面积最大的四边形，且正方形必然是圆内接四边形。
在使用四点共圆面积公式之前，必须确认四点是否共圆。以下是几种常用的判定方法：
| 判定方法 | 几何描述 | 适用场景 |
|---|---|---|
| 对角互补 | ∠A + ∠C = 180° 或 ∠B + ∠D = 180° | 已知角度关系时最直接的方法 |
| 外角等于内对角 | 四边形的一个外角等于它的内对角 | 涉及延长线的几何题 |
| 同侧张角相等 | 点 C, D 在 AB 同侧，且 ∠ACB = ∠ADB | 圆幂定理、相似三角形相关题目 |
| 对角线互相平分且相等 | 矩形判定，矩形必共圆 | 特殊四边形判定 |
| 到定点距离相等 | 存在一点 O，使得 OA=OB=OC=OD | 坐标系中求外接圆圆心 |
任意四边形没有统一的简单面积公式，通常将其分割为两个三角形计算。但若该四边形是圆内接四边形（即四点共圆），则可使用婆罗摩笈多公式。对于一般四边形，布雷特施奈德公式更为通用。
不适用。该公式仅适用于圆内接四边形（即四点共圆的四边形）。如果四边形不是圆内接四边形，该公式计算出的结果将小于实际面积。此时需要使用布雷特施奈德公式。
常用判定方法包括：1. 对角互补（∠A+∠C=180°）；2. 外角等于内对角；3. 同侧两点对另一侧两点张角相等；4. 到某一点距离相等（即存在外接圆圆心）。
仅知三边无法唯一确定圆内接四边形的面积，因为第四边长度未知。需要补充第四边长度、一个角度或对角线长度等信息。若已知三边 a,b,c 和夹角，可先求对角线，再求第四边，最后代入公式。
海伦公式是婆罗摩笈多公式的特例。当圆内接四边形的一条边长度趋近于 0 时，四边形退化为三角形，婆罗摩笈多公式即转化为海伦公式。