证明.圆内接四边形的面积 = formula_3的面积 + formula_4的面积但由于formula_6是圆内接四边形，因此formula_7。故formula_8。所以：对formula_3和formula_4利用余弦定理，我们有：代入formula_16（这是由于formula_17和formula_18是互补角），并整理，得：把这个等式代入面积的公式中，得：它是formula_22的形式，因此可以写成formula_23的形式：引入formula_2