数学科普：阿基米德与圆周长圆面积研究.docVIP

阿基米德与圆周长圆面积 Bill Casselman 关键词：?阿基米德定理，欧几里得几何，圆面积，直角三角形面积，正多边形 阿基米德的论文《圆的测定》虽然常被引用，但我估计很少有人真正阅读过。今天人们最熟悉的莫过于用足够多边数的正多边形去逼近圆周率π的方法，以及为此而发展出来的递归法。递归法曾世界流传，在人们熟悉用级数表示π之前，这是人们用来计算圆周率的唯一有效方法。阿基米德的程序与常见描述并不完全一致。就我所知，用现代语言对此最好的介绍是π?unleashed一书[2]。 然而，阿基米德的论文有许多细微之处似乎还未获得广泛的理解。原因之一在于他的算法是在古希腊通用的笨拙系统中完成的，该系统包含了来自古埃及奇怪的分数处理方法[i]。另一导致阿基米德的论文难读的原因是当时没有代数学为其所用。这一点已经引起了许多注解，但在本专题中我将讨论更为基本的数学问题。 阿基米德定理的内容 阿基米德的论文由两部分组成。第一部分是圆面积与其周长之间关系的论断及其证明。在第二部分中作者应用前一部分证明过程中所奠定的技术来逼近圆周率。虽然第二部分内容最引人关注，但我将只考虑第一部分的内容。 我们现有的《圆的测定》版本中，开篇断言： 任意圆的面积，与两条直角边长分别为该圆半径和周长的直角三角形的面积相等。 粗略地说，该定理成立是因为我们可以将圆与三角形都分别剖分为面积很接近的小区域。 现存版本中