很多时候，我们知道三角形三边的长，要求三角形的面积。你知道怎样求吗？

设三角形三边长为a、b、c，作c边上的高h把c分成两段x和y。我们的做法是先求出高h的长度，进而用最基本的面积公式S△ABC=ch/2求出三角形的面积。

三角形面积公式推导

由勾股定理得：

a²-x²=b²-y²，①

x y=c。②

②代入①得：

a²-x²=b²-(c-x)²=b²-c²-x² 2cx，

x=(a² c²-b²)/2c。③

③代入②得：

y=(b² c²-a²)/2c。④

我们用③或④都可以求出h。

h²=a²-x²

=a²-((a² c²-b²)/2c)²

=(2a²b² 2b²c² 2c²a²-a⁴-b⁴-c⁴)/4c²

这样得到的h有四次方，数据比较大，不太好算。我们可以想办法化成好算的形式。

我们看它的分子部分：

2a²b² 2b²c² 2c²a²-a⁴-b⁴-c⁴

这是一种对称形式，应该可以分解因式。那么，怎样去分解因式呢？

我们先考察以下多项式的平方：

(a² b² c²)²

=a⁴ b⁴ c⁴ 2a²b² 2a²c² 2b²c²，

(a² b²-c²)²

=a⁴ b⁴ c⁴ 2a²b²-2a²c²-2b²c²，即

-(a² b²-c²)²

=-a⁴-b⁴-c⁴-2a²b² 2a²c² 2b²c²，

这个有点像，还有一个项符号不同。

等式两边同时加上4a²b²：

4a²b²-(a² b²-c²)²

=-a⁴-b⁴-c⁴ 2a²b² 2a²c² 2b²c²

所以有

-a⁴-b⁴-c⁴ 2a²b² 2a²c² 2b²c²

=4a²b²-(a² b²-c²)²

=(2ab a² b²-c²)(2ab-a²-b² c²)

=((a b)²-c²)(c²-(a²-b²))

=(a b c)(a b-c)(c a-b)(c-a b)

所以，

h²=(a b c)(a b-c)(c a-b)(c-a b)/4c²，

h=√((a b c)(a b-c)(c a-b)(c-a b))/2c，

S△ABC=ch/2

=√((a b c)(a b-c)(c a-b)(c-a b))/4。

这个三角形面积公式没有平方项，比较好算。

还可以把4放进根号里面继续化简：

S△ABC

=√(((a b c)(a b-c)(c a-b)(c-a b))/16)

=√(((a b c)/2)((a b-c)/2)((c a-b)/2)((c-a b)/2))

=√(((a b c)/2)((a b c-2c)/2)((c a b-2b)/2)((c a b-2a)/2))

(a b c)/2是周长的一半，记为p，则

S△ABC=√(p(p-a)(p-b)(p-c))。

这就是著名的海伦公式。这种形式计算量最小，也比较好记。

总结一下：在推导用三角形的三边长求三角形的面积时，在化简过程中遇到分解因式，最终化成比较简便的形式，便于计算和记忆。