海**式又译作希**式、海龙公式、希罗公式、海伦-秦九韶公式。它是利用三角形的三条边的边长直接求三角形面积的公式。表达式为:S=√p(p-a)(p-b)(p-c),它的特点是形式漂亮,便于记忆。
相传这个公式最早是由古希腊数学家阿基米德得出的,而因为这个公式最早出现在海伦的著作《测地术》中,所以被称为海**式。中国秦九韶也得出了类似的公式,称三斜求积术。
关于海**式(Heron's formula或Hero's formula)的历史
海**式亦称“海伦-秦九韶公式”。此公式(利用三角形的三条边长来求三角形面积)相传是亚历山大港的海伦发现的,并可在其于公元60年的《Metrica》中找到其证明。亦有认为早于阿基米德时代已经懂得这条公式,而由于《Metrica》是一部古代数学知识的结集,该公式的发现时期很有可能先于海伦的著作。
亚历山大里亚的海伦(希腊语: Ἥρων ὁ Ἀλεξανδρεύς)(公元10年-70年) ,是一位古希腊数学家,居住于托勒密埃及时期的罗马省。他也是一名活跃于其家乡亚历山大里亚的工程师,他被认为是古代最伟大的实验家,他的著作在希腊化时期文明(Hellenistic civilization)科学传统方面享负盛名。
我国南宋末年数学家 秦九韶 发现或知道等价的公式,其著作《数书九章》卷五第二题即三斜求积。“问沙田一段,有三斜,其小斜一十三里,中斜一十四里,大斜一十五里,里法三百步,欲知为田几何?”答曰:“三百十五顷.”其术文是:“以小斜幂并大斜幂,减中斜幂,余半之,自乘于上;以小斜幂乘大斜幂,减上,余四约之为实,……开平方得积。”若以大斜记为a,中记为b,小斜记为c,秦九韶的方法即相当于海**式。
海**式发展
古希腊的数学发 展到 亚历山大里亚时期,数学的应用得到了很大的发展,其突出的一点就是三角术的发展,在解三角形的过程中,其中一个比较难的问题是如何利用三角形的三边直接求出三角形面积。
这个公式是由古希腊数学家 阿基米德得出的,但人们常常以古希腊的数学家 海伦命名这个公式,称此公式为海**式,因为这个公式最早出现在海里的著作《测地术》中,并在海伦的著作《测量仪器》和《度量数》中给出证明。
中国宋代的数学家 秦九韶在1247年独立提出了“ 三斜求积术”,虽然它与海**式形式上有所不同,但它完全与海**式等价,它填补了中国数学史中的一个空白,从中可以看出中国古代已经具有很高的数学水平。