用勾股定理证明海伦公式-勾股定理证海伦公式

老李端起茶壶，看着杯子里那点还温的茶叶，忍不住又倒了一杯。
这日子过得真快，像极了当年那个刚毕业的自己，一边盯着屏幕上的代码编译毛病，一边琢磨着如何把数学里的公式装进脑子里。老李这辈子就喜爱搞那些硬骨头，今天正好碰上了个难题：海伦公式。 这玩意儿那会儿在数学课上说是个宝玑针的发明者巴罗发明的，后来杨辉又给加了个后缀，成了硬骨头。
那时候脑子里装的都是那些教科书上死记硬背的“起初、其次”，听着累得一批，脑子都僵了。老李认定，这公式得换个活法，得像个老哥们儿一样，不用非得按部就班，得顺着它的脾气走。 那公式看着是 $S = sqrt{p(p-a)(p-b)(p-c)}$，结构好办，但用起来却得费脑子。
要是硬着头皮去推导，那就是从海伦公式启动，一步步套公式，最终又回到海伦公式，这就好比你去超市买东西，发现这个袋子装着土豆，那个袋子装着苹果，最终你又得拿着土豆和苹果去超市里买，还得把价格加起来，最终还得再算一次总价。忒累了，并且好办把脑子绕晕了。 老李拍板换个思路。
既然跟三角形相关系，那不如去看看这个三角形到底是由啥拼出来的。他想起自己之前看过的一个题目，题目是说一个等腰直角三角形，腰长是 3。老李的心就提到了嗓子眼，要是算错了，就证明不了它是个直角三角形。直角边平方那俩数加起来，应当是 9。
对，勾股定理就是靠这个“平方和”来定性的。 老李拿起笔，在纸上画起那个三角形。
既然它是个等腰直角三角形，那底边长度好算，直接是 3 倍，也就是 6。高嘛，既然是直角，那底边上的高实际上就是腰本身，也是 3。老李把这两个数记在脑子里，心想：要是能先算出半周长啥的，那公式是不是就稳了？ 他记得那个公式，$p$ 是半周长。半周长就是把三边加起来除以 2。三边分别是 3、3、6，加起来是 12，除以 2 就是 6。半周长 $p=6$。 接下来是那个最难啃的骨头：$p-a$。$p$ 是 6，$a$ 是 3，那 $p-a$ 就是 3。 再算 $p-b$。$p$ 是 6，$b$ 是 3，$p-b$ 还是 3。 最终算 $p-c$。$p$ 是 6，$c$ 是 6，$p-c$ 就是 0。 老李看着这组数：6、3、3、0。心里咯噔一下。数学上有个规矩，要是里面有个 0，那整个根号里的式子就是 0，结局就是 0。面积是 0？不对，这三角形明明有面积啊！ 老李猛地站起来，在那儿来回踱步。
难道他算错了？三边是 3、3、6，这要是个直角三角形，斜边肯定是 3$sqrt{2}$，约等于 4.24。可底边才是 6？不可能啊，6 比斜边还长，边长都不成，这三角形根本不存有！ 老李赶紧回屋翻书，想看看是不是自己记错了勾股定理。啊对了，勾股定理是 $a^2 + b^2 = c^2$。
那要是是 3、3、6，$3^2+3^2 = 9+9=18$，而 $6^2=36$。18 不等于 36！
这说明啥？说明这组数根本构不成三角形！ 老李气呼呼地坐到椅子上，把眼瞪得溜圆。他意识到自己可能把题目看错了，要么把三角形的边长搞混了。他重新拿起了那把折尺，量了量手里的尺子。尺子 30 厘米，卷起来正好是一尺。 他灵机一动，既然尺子是 30，那这个三角形的三边可能就是 15、15、16.99。
要么更好办点，别纠结具体的数字了。他在纸上画了一个三边长度分别是 6、8、10 的三角形。老李把这三根棍子拼在一起，刚好是个直角三角形。 对！勾股定理说 $6^2+8^2=10^2$，$36+64=100$，成立。
那这就是个直角三角形。
那半周长是多少？$(6+8+10)/2 = 12$。半周长减三边分别是 $12-6=6$，$12-8=4$，$12-10=2$。 老李把这些数往公式里一塞：$sqrt{12(6)(4)(2)}$。算起来：$12 times 6 = 72$，$4 times 2 = 8$，$72 times 8 = 576$。开根号，$sqrt{576}$，正好是 24。 老李眯起眼，突然笑了。他当初为啥如此费劲？出于他在硬套那些死板的逻辑，非要证明它存有，却忘了三角形能不能存有才是前提。他就像个没吃早饭就赶路的司机，明明路修好了，却还在路上堵车。 他想起那个 3、3、6 的例子。3 和 3 是腰，6 是底？不，要是 3、3、6 能构成三角形，那底边肯定小于两腰之和，$3+3=6$，并且务必大于底边，也就是 $6>6$，这不就矛盾了吗？故此那个 3、3、6 的例子本身就是个假命题，就像在沙滩上盖的大厦。 老李回到书桌前，看着那块写着海伦公式的白板。他不再焦虑，也不再认定累。
这公式啊，它是个极客的工具，是跟数学里的“存有性”、“边界条件”打交道的高级玩家。它不需求你把它当成一个完美的真理来歌颂，它只需求你把它当成一个计算引擎，一个帮你在混乱数据里理清思路的助手。 就像老李这杯茶，热气腾腾，别看间或会有点苦涩，但尝起来也是甜的。他把公式抄下来，大约意思就是：只要三角形的三条边排得开，那它的面积就能算准。
不需求你把它证明得天衣无缝，只需求你把它当成一把好用的钥匙，去打开那些几何谜题的盒子。 这日子还得接着过，得持续琢磨那些硬骨头。
毕竟，生活嘛，只要是点着的灯，你不用非得让它像忒阳一样明亮，只要它能照亮脚下的路，就是好光。老李端起茶壶，看着杯子里的余温，心里那股子劲儿，比算那 24 倍还猛。数学这东西，得有个悟性，得有个手感，不能全靠背书。