如何证明海伦公式（经典再现25海伦公式的推导）

海伦公式又译作希伦公式、海龙公式、希罗公式、海伦－秦九韶公式，传说是古代的叙拉古国王希伦（Heron,也称海龙）二世发现的公式，是一个利用三角形的三条边长直接求三角形面积的公式。下面我们利用初中的知识进行推导（注意：公式推导过程的方法比公式更为重要）

题：已知△ABC的三边为a，b，c，求△的面积S。

分析：以a为底边，欲求△ABC的面积，只需要求得BC上高。

解：不妨设BC为最大边，作△ABC的高AD（如图）。设BD=x，则DC=a-x。

由勾股定理，得

AB^2-BD^2=AD^2=AC^2-DC^2,

所以c^2-x^2=b^2-(a-x)^2,

整理，得

2ax=a^2 c^2-b^2,

所以x=( a^2 c^2-b^2)/2a，

所以AD^2= c^2-x^2

= c^2-[( a^2 c^2-b^2)/2a]^2，

=1/(4a^2)•[4a^2c^2-( a^2 c^2-b^2)^2]

=1/(4a^2)•(2ac a^2 c^2-b^2)(2ac- a^2-c^2 b^2)

=1/(4a^2)•[(a c)^2-b^2][b^2-(a-c)^2]

=1/(4a^2)•(a c b)(a c-b)(b a-c)(b-a c)

=1/(4a^2)•(a b c)(b c-a)(c a-b) (a b-c)，

所以AD=1/(2a)•√[(a b c)(b c-a)(c a-b) (a b-c)]，

所以S=1/2•a•1/(2a)•√[(a b c)(b c-a)(c a-b) (a b-c)]

=1/4•√[(a b c)(b c-a)(c a-b) (a b-c)]，

令(a b c)/2=p（这里的p称为三角形半周长），则

a b c=2p，

b c-a=a b c-2a=2(p-a)，

c a-b=a b c-2b=2(p-b)，

a b-c=a b c-2c=2(p-c)，

所以S=1/4•√[2p•2(p-a)•2(p-b)•2(p-c)]

=√[p(p-a)(p-b)(p-c)].

这就是海伦公式，在我国又称为秦九韶海伦公式。公式虽然有点复杂，但和谐好记。

这个公式在实际问题中得到广泛的运用，深受民间百姓的喜爱。有了这个公式，只要将三角形三边的长一代，马上就可以算出它的面积来。由于在测量三角形土地面积时测量三边的长是最容易的，又不会存在大的争议（如果测量一边上的高往往争议不断），所以这个公式才深得人们的喜欢而广为流传。