圆内接四边形的面积公式.docx

圆内接四边形的面积公式

在讨论了三角形的面积之后，我们将讨论一些求解四边形面积的公式。由于任何四边形都可以看作是两个三角形被一条对角线分割的组合，所以我们给出的近百个三角形面积公式都可以用来求解四边形的面积，但是四边形也有自己的特点。本文的目的是找出其特征，并推导出求面积的特殊公式。

注:本文讨论的四边形都是凸四边形。

就像三角形一样，在讨论之前，我们先给出四边形基本元素的记法。

如下图所示的四边形ABCD：

我们记AB=a，BC=b，CD=c，DA=d，A，B，C，D为四个顶点所在的角度，对角线AC=m，BD=n，它们的夹角取锐角，记为\theta，交点记为O，四边形的面积记为S。

由于四边形与三角形不同，即便是给出了四边形的四条线段的长度，也无法确定一个四边形，即给出四条指定长度的线段，由它们围成的四边形不止一个（至于有几个，不在本文的探讨范围之内），但是如果知道了四边形的两条对角线的长度以及它们的夹角却可以求解面积，若要确定四边形的形状，则只需要再知道它们的交点位置即可，所以第一个四边形的面积就出现了，如下推导：

S=S_{\triangleABC}+S_{\triangleADC}

=\frac{1}{2}AC\cdotBO\cdotsin\theta+\frac{1}{2}AC\cdotDO\cdotsin\theta

=\frac{1}{2}AC\cdot(BO+DO)\cdotsin\theta

=\frac{1}{2}AC\cdotBD\cdotsin\theta

=\frac{1}{2}mnsin\theta

我们记为四边形的面积公式一。与我们在《三角形的面积公式七》中所讲述一样。

公式一是用两条对角线的长度及其夹角来求解四边形的面积，但是在通常的计算和问题中，我们总是会遇到知道四条边长，而不知道对角线长的情况，所以我们还是得要寻求以边长来求解面积的公式，可是前面说了，只知道四条边的长度没法确定一个四边形，那么面积也就不确定，为此，我们还需要一个量来确定形状，结合公式一，我们可以想到保留\theta角，而用四条边长来替代对角线，而能够用长度和角度来求解长度的就是余弦定理。且看下面的推导：

我们分别在\triangleAOB，\triangleBOC，\triangleCOD，\triangleDOA中利用余弦定理，可得：

a^2=AB^2=OA^2+OB^2-2OA\cdotOB\cdotcos\theta

b^2=BC^2=OB^2+OC^2-2OB\cdotOC\cdotcos(180^{\circ}-\theta)

c^2=CD^2=OC^2+OD^2-2OC\cdotOD\cdotcos\theta

d^2=DA^2=OD^2+OA^2-2OD\cdotOA\cdotcos(180^{\circ}-\theta)

而cos(180^{\circ}-\theta)=-cos\theta

所以：(b^2+d^2)-(a^2+c^2)

=2(OB\cdotOC+OA\cdotOD+OA\cdotOB+OC\cdotOD)cos\theta

=2(OB+OD)(OA+OC)cos\theta

=2mncos\theta

利用此结果消去公式一中的mn，可得：

S=\frac{1}{4}[(b^2+d^2)-(a^2+c^2)]tan\theta

我们记住这个公式是四边形的面积公式2。

为了方便论述，我们记D=|(b^2+d^2)-(a^2+c^2)|，由于我们取\theta为锐角，所以可以证明D一定是大于0的，我们加上绝对值，这样\theta便可以取钝角了，但不能是直角，因为此时tan\theta没有意义。D的文字描述是：四边形两组对边平方和的差。

公式二是用边长代替了对角线长，另一个对策就是用边长替代夹角，于是可将公式一和公式二结合，并使用三角函数公式\frac{1}{sin^2\theta}=1+\frac{1}{tan^2\theta}消去\theta，我们省去中间化简整理的步骤，便得：(4S)^2+D^2=(2mn)^2。

即：S=\frac{1}{4}\sqrt{(2mn)^2-D^2}

我们记为四边形的面积公式三。可以发现4S，D，2mn是一组勾股数。

如果不知道对角线的长度和对角线的角度，就需要其他的量来代替，从而确定四边形的形状。我们可以尝试从四边形的对角线开始，仍然采用分成两个三角形的思路。

显然有：S=S_{\triangleABC}+S_{\triangleADC}=\frac{1}{2}absinB+\frac{1}{2}cd