在讨论了三角形的面积之后,我们将探讨一些求解四边形面积的公式,由于任何一个四边形都可以看成是由其一条对角线所分割成的两个三角形组合而成,因此,前面我们所给出的近百个三角形的面积公式都是可以用在求解四边形的面积上,不过四边形也有着它自己的特点,寻找其中的特点,推导出专门的求面积公式就是本文的目的。
注:本文所讨论的四边形都是凸四边形。
与三角形一样,在探讨之前,我们先给出四边形基础元素的符号记法。
如下图所示的四边形ABCD:
我们记
由于四边形与三角形不同,即便是给出了四边形的四条线段的长度,也无法确定一个四边形,即给出四条指定长度的线段,由它们围成的四边形不止一个(至于有几个,不在本文的探讨范围之内),但是如果知道了四边形的两条对角线的长度以及它们的夹角却可以求解面积,若要确定四边形的形状,则只需要再知道它们的交点位置即可,所以第一个四边形的面积就出现了,如下推导:
我们记为四边形的面积公式一。与我们在《三角形的面积公式七》中所讲述一样。
公式一是用两条对角线的长度及其夹角来求解四边形的面积,但是在通常的计算和问题中,我们总是会遇到知道四条边长,而不知道对角线长的情况,所以我们还是得要寻求以边长来求解面积的公式,可是前面说了,只知道四条边的长度没法确定一个四边形,那么面积也就不确定,为此,我们还需要一个量来确定形状,结合公式一,我们可以想到保留
我们分别在
而
所以:
利用此结果消去公式一中的mn,可得:
我们记此式为四边形的面积公式二。
为了方便论述,我们记
公式二是用边长代替了对角线长,另一个对策就是用边长替代夹角,于是可将公式一和公式二结合,并使用三角函数公式
即:
我们记为四边形的面积公式三。可以发现4S,D,2mn是一组勾股数。
倘若既不知道对角线的长,也不知道对角线的夹角,我们就需要别的量来替代,以此确定四边形的形状,我们可以尝试着从四边形的对角出发,依然采用分割为两个三角形的思路。
显然有:
两边平方,去掉根号可得:
分别在
为了配合上面关于面积的等式,我们将此式构造成下面的式子:
上面两式中需要进行三角函数的变化运算,我们就不一一演示了。
将两式联立,可得:
而
所以:
此式可以看成是秦九韶公式对四边形的扩展。
反复利用平方差公式,可得:
所以有:
此式可以看做是海伦公式对四边形的扩展。
我们记这两个公式皆为四边形面积公式四,前一个形式称为秦九韶形式,后一个称为海伦形式,由于在四边形中,由
由三角形和四边形都有着类似秦九韶公式和海伦公式的式子,因此我们可以猜想是不是对五边形、六边形……都存在类似的面积公式呢?其中的奥秘等待着读者去探索。
由公式三和公式四的秦九韶形式,我们可以得到一个在四边形中很重要的等式。
即有:
展开化简整理可得:
我们称此式为四边形对角线乘积公式。
以上四个公式都是求解四边形面积的一般公式,由于不是每一个四边形都有外接圆和内切圆,所以无法像三角形那样用外接圆和内切圆的性质来表达一般的四边形面积,但是我们可以单独把具有外接圆和内切圆的四边形拿出来研究。
当四边形具有外接圆时,如下图所示:
很明显,圆内接四边形的一个性质就是对角之和等于180度,即
这样就有:
我记为四边形面积公式五。
同时,四边形对角线乘积公式就变为:
即:
这个式子通常被称为托勒密定理,内容可描述为:圆内接凸四边形两对对边乘积的和等于两条对角线的乘积。
依旧采用分割法,
同理可得:
记为四边形面积公式六。
根据公式五的海伦形式,可以发现,圆内接四边形的面积与四条边的排列顺序无关,即a、b、c、d的顺序可以互换,只要长度不变,面积就不变,就对角线而言,互换四条边,只会得到三条长度的对角线,我们记另外一条对角线长为
在原来的圆内接四边形中,由托勒密定理,可得:
记为四边形面积公式七。
下面我们再来看看具有内切圆的四边形,如下图所示:
四边形ABCD的内切圆为
根据圆外一点引圆的两条切线长相等,则有:AE=AH,BE+BF,CF=CG,DG=DH。
所以:
从而有
所以:
代入公式四的海伦形式里,则有:
即:
记为四边形的面积公式八。
特别的,当一个四边形既有外接圆,又有内切圆时,公式八则变为:
同时,在内切圆图中,以内切圆圆心分割四边形为四个小三角形,则有:
记为四边形面积公式九。
用角度来表示a,b,c,d,则有
记为四边形面积公式十。
总结:四边形的特点是可以被分割成两个三角形,因此在处理有关四边形的问题时,我们总是会连接两条对角线,然后用三角形的知识来解决,事实上,对于更复杂的图形,我们的思路也是这样,最基本的三角形,我们已经有了非常透彻的知识库,而再复杂的几何图形也都可以划分成许多三角形,从而奠定了三角形在解决几何问题中的地位。本文中的几个面积公式,很多都和三角形的一些公式有着极其相似的结论,显然这不是偶然的。我们在求解面积的时候,首先考虑的是如何确定一个几何图形,因为图形不确定,面积也就不一定能确定,所以我们从这个思路出发,通过三角形分割的方法,一步步推导出四边形一般的面积公式,当有了一般的公式后,我们就会想着特殊的四边形就成了特例,这种特例往往会有更加简单的方法,比如本文中的圆外接四边形和具有内切圆的四边形,其中具有内切圆的面积公式九和十的方法可以推广到任意具有内切圆的多边形上,特别的公式十在三角形中也有,而且当全部的角度知道后,四边形的形状就确定了,内切圆半径再决定其大小,这样图形就确定了,面积也就确定了,这个思想很重要,我们还会日后继续讨论。