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