，因其和的一半是formula_41。而formula_42，所以formula_43。)因为圆内接四边形的对角和为formula_44，formula_45，而formula_46，所以项formula_47为零，给出公式的基本形式。另一个由柯立芝所证明的公式如下：其中 "p" 及 "q" 为四边形对角线之长。在圆内接四边形中，根据托勒密定理我们有formula_49，此公式退回为基本形式。
相关定理.海伦公式给出三角形的面积。它是婆罗摩笈多公式取formula_50