依赖:海伦公式、托勒密、圆内接四边形对角互补。
陈述
设 ABCD 是一个圆内接四边形,四条边长依次为
a=AB,b=BC,c=CD,d=DA,
记半周长
s=2a+b+c+d.
则圆内接四边形 ABCD 的面积 S 由四边长唯一确定:
S=(s−a)(s−b)(s−c)(s−d).
这条公式与海伦公式(海伦公式:S=s(s−a)(s−b)(s−c))形式上完全平行——把"三角形特例 d→0(即顶点 D 与 A 合并)"代入婆罗摩笈多公式,多出来的因子 (s−d)=s 就把它退化回海伦公式。所以 海伦公式 是婆罗摩笈多公式在三角形上的特例,二者构成"三角形 ↔ 圆内接四边形"的对偶。
