假设
一个,B,C,D为循环四边形的顶点,并且
p,问,r,年代边长
一个D,一个B,BC,CD,分别。然后
(面积一个BCD)≡K=(面积△一个DB)+(面积△BDC)=2p问罪一个+2r年代罪C.
因为四边形是循环的,
罪一个=罪C,所以
KK24K2=2p问罪一个+2r年代罪一个=41(p问+r年代)2罪2一个=(p问+r年代)2(1−因为2一个)=(p问+r年代)2−(p问+r年代)2(因为2一个).(1)
共边求解
DB在三角形
一个DB和
BDC利用余弦定理,我们得到
p2+问2−2p问因为一个=r2+年代2−2r年代因为C.
为角度
一个和
C是互补的,
因为一个=−因为C和
2(p问+r年代)因为一个=p2+问2−r2−年代2.
代入面积方程
(1),我们得到了
16K2=4(p问+r年代)2−(p2+问2−r2−年代2)2.
方程的RHS是这样的
一个2−b2,所以可以写成
[2(p问+r年代)−(p2+问2−r2−年代2)][2(p问+r年代)+(p2+问2−r2−年代2)]=[(r+年代)2−(p−问)2][(p+问)2−(r−年代)2]=(p+问+r−年代)(p+问−r+年代)(p−问+r+年代)(−p+问+r+年代).
那么,这个有边的循环四边形的面积
一个,b,c,d可以写成
K=41(一个+b+c−d)(一个+b−c+d)(一个−b+c+d)(−一个+b+c+d)
.□