从阿基米德、欧拉-到李明波.docx

从阿基米德、欧拉，到李明波 郝锡鹏 (2017 年 1 月) 提要：介绍三位大数学家，在研究三角形面积和四面体体积 方面的历史传承和现代进展。 1、三角形面积公式 阿基米德(Archimedes，古希腊，公元前 287年一公元前212年) 用三边表三角形面积的公式，人们都知道叫海伦公式， 其实该公式属于阿基米德［1］： S Jp(p a)(p b)(p c) 1 ； (a b c)( a b c)(a b c)(a b c) 4 其中，p (a b c)/2 2200多年后，李明波明确提出比阿基米德公式更简洁而 实用的三角形面积公式［2］、［3］: S ［（a2 b2 c2）2 2（a4 b4 c4） （ 2） 例如，当a 2，b .10，c 、20时，用李明波的公式（2）会 明确计算出三角形面积 S 1，而若用阿基米德公式（1）去计 算，麻烦可就大了。 2、四面体体积公式 欧拉（Leonhard Euler ，俄国，1707年4月15日?1783年9月18日） 欧拉受阿基米德工作的启发 [4] ，完成了用 6 条棱表四 面体体积的工作，欧拉给出了公式： a12 a12(b12 2 c1 a12)a2 b12(a12 c12 b12)b2 22 c1 (a1 b12 22 c1 )c a12(a2 b2 )(a2 c2) b12(b2 a2 )(b2 c2) 22 c1 (c 2 a )(c2 b2) 222 a1b1 c1 2 (12V ) 2 (3) 200 多年后，李明波给出用 200 多年后，李明波给出用 6 棱表四面体体积的公式是： 2(12V 2 (12V )2 2 2 2 2 2 2 2 2 (a a1 )( a a1 b b1 c c1 ) 2 2 2 2 2 2 2 2 (b2 b12)(a2a12 b2b12 c2c12) 2 2 2 2 2 2 2 2 (c2 c12)(a2a12 b2b12 c2c12) (a2b (a2b2c12 a2b12c2 a12b2c2 a12b12c12) 4) 2 2 2 由欧拉公式（3）尾部ai d 是图1四面体底面三角形 三边之积的平方可知，该公式与四面体的底面选择有关，如 法炮制会写出 4 种不同的公式，所以形式凌乱而不统一。 李明波公式（ 4）不仅与四面体的底面选择无关，而且 比欧拉公式有更强的内在规律性： 前三个多项式之和是关于 三组对棱的轮转对称式，尾部多项式恰是四面三角形三边之 积的平方和，便于记忆。 当a 6,b 10,c 11;ai 9,bi 7,g 8时，弋入欧拉公式 3）可得： 2 (12V )2 92(72 82 92)62 72(92 82 72)102 82(92 72 82)112 92(62 102 )(62 112) 2 2 2 2 9 72(102 62)(102 112) 82(112 62)(112 102) 927282 =331776 。 弋入李明波公式( 4)可得： TOC \o 1-5 \h \z (12V)2 (62 92)( 62 92 102 72 112 82) (102 72)(62 92 102 72 112 82) (112 82)(62 92 102 72 112 82) (62 102 82 62 72 112 92 102 112 92 72 82)=331776 。 用两种公式皆可得 V 48 。 3、李明波四点定理 关于四点定理，李明波已经给出过平面几何证明 [5] 现在，李明波让（ 4）式四面体体积等于 0，这等于说让四面 体的四个顶点在同一平面内，从而也能得出平面上四点连成 六条线段之间的代数关系式为： (a22 2 2 a1 (a2 2 2 2 a1 )( a a1 22 b2b12 22 c c1 ) (b2 2 2 2 b12)(a2a12 22 b2b12 22 c c1 ) (c2 2 2 2 c1 )(a a1 22 b b1 22 c c1 ) a2b2 2 2 2 2 c1 a b1 c 22 a1 b c 2 2 2 2 a1 b1 c1 5） 5）式是关于每条线段平方的一元二次方程 图2 李明波（中国，1963年12月14日-） 图3 这是李明波用四点定理编程搜索到的整数边长四边形， 读者不妨自行验证（5）式[6]。历史上许多著名定理都是四 点定理的特例，如托勒密定理、阿波罗尼平行四边形定理、 阿波罗尼中线定理、斯蒂瓦特定理、毕达哥拉斯定理 [7] 4、评论 李明波、阿基米德关于三角形面积的公式是等价的，李 明波、欧拉关于四面体体积的公式也是等价的，彼此之间是 恒等式的关系。但是李明波的结果，却更能体现出数学公式 的实用性和对称性之美。 对于恒等式的证明，一般的中学生都