减上，余四约之爲实，……开平方得积。”若以大斜记为formula_5，中斜记为formula_6，小斜记为formula_7，秦九韶的方法相当于下面的一般公式：像其他中国古代的数学家一样，他的方法没有证明。根据现代数学家吴文俊的研究，秦九韶公式可由出入相补原理得出。一些中国学者将这个公式称为秦九韶公式。由于任何formula_10边的多边形都可以分割成formula_11个三角形，所以海伦公式可以用作求多边形面积的公式。比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导