c#中计算三角形面积公式_三角形的面积公式六叙

本文将推导出一些关于三角形的中线、垂线、角平分线的面积公式，其中关于这些线段的长度公式，请参看《三角形中的线段》一文。

公式五十一：

其中

。

我们已经在《三角形中的线段》一文中知道了中长公式，在这里，我们给出另外一种推导中线长公式的方法，为此我们先证明一个引理。

引理：平行四边形四边的平方和等于对角线的平方和。

如上图，以平行四边形的两个邻边作为向量a，b，那么两条对角的向量表示即为a+b，a-b，（注意：上图中a，b加粗的表示的是向量，并非三角形的边长）于是：

这就证明了引理。

取a+b为c，a-b为2mc，立即就推出了中线长公式。

由中线长公式：

便可以从中解出

，

，

：

将其带入到秦九韶公式

中，并变形为海伦公式的样式，便有：

如果记

，那么公式将变为：

公式五十二：

其中

。

证明：

由三角形的面积公式一：

,

从而有：

，

，

，

，代入海伦公式中得到：

如果记

，那么公式将变为：

公式五十一和公式五十二与海伦公式有着极其相似的一致性的公式形式，很显然，之所以有这样的结果，并非是偶然的，我们前面说过外接圆和内切圆是三角形基本元素，也是基本属性，它们的半径与三角形的边长和角度一样都是基本元素，同样，三角形的中线和三角形的高线也是三角形的基本元素，并且从以上两个公式来看，它们与边长实际上可以成为一种等价的关系，三条边可以直接求三角形面积，三条中线也可以，三条高线同样可以，而三条边长可以确定唯一的一个三角形，那么三条中线和高线同样可以，因为只要三角形确定了，中线和高线就都确定了，它们相较于一点，就是重心和垂心，与外接圆的圆心（即外心）内切圆的圆心（即内心）具有同等作用。

（留下一个小思考：读者可以自行去探究一下，由三条与中线相等的线段组成的一个新的三角形与原三角形将会存在什么样的关系？三条垂线长相等的线段组成的新三角形呢？）

公式五十三：

证明：

由角平分线长公式：

可得：

，

所以：

（公式二）

（正弦函数的倍角公式）

轮换a、b、c即有另外两个式子。

证毕。

公式五十四：

证明方法完全类似于公式五十三，这里不再详述。公式五十五：

证明：

由公式十六

，只需证

，此式只需要交叉乘积并展开验证即可知成立。

公式五十六：

轮换a、b、c与A、B、C即可得另外两个式子。

证明：

由中线长公式：

可得：

（代入正弦定理）

解出

由公式四：

证毕。公式五十七：

轮换a、b、c与A、B、C即可得另外两个式子。

证明：

由

解出

于是由公式四：

证毕。公式五十八：

置换a，b，c和A，B，C可得另外两个式子。

证明见《三角形的面积公式七叙》。

公式五十九：

其中

。

证明：如下图所示，AD是高

，AE是角平分线

，AF是中线

，

由图可知：

，

所以

，

，

，

又因为：

，

所以：

，

即有：

，

于是：

，

而又有：

，

于是：

，

记

，

而

，

又有：

，

所以：

。

证毕。

公式六十：

置换a，b，c和A，B，C可得另外两个式子。

证明：

由角平分线公式：

，以及面积公式

，

代入到余弦定理：

，便得：

变形即得：

证毕。

公式六十一：

置换a，b，c和A，B，C可得另外两个式子。

证明：

由中线长公式：

，以及余弦定理：

，

可得：

又有公式一

和公式二

，代入上式，便得：

解出

即有：

公式六十二：

证明：

由中线长公式：

，以及角平分线长公式：

，我们可以解出

从而有公式二

又因为：

所以公式可变为：

证毕。

总结：三角形中的线段，重要就是中线、垂线和角平分线，需要为读者说明的是，这三种线段与边长具有同等的作用，是三角形的基本元素。