咱看这圆,看着挺简单,其实挺让人头疼。古时候把它画在纸上时,第一个问题就冒出来了:到底怎么量它?这东西是弯的,不像直线好测。于是他们就想,先把圆拆了看,换成容易把握的多边形。 有个叫欧多克索斯的人,公元前370年左右开始用一种特别的办法——穷竭法。就是拿针把圆切成很多个正n边形。咱们可以用剪刀把圆剪开,每一块都是三角形。每个三角形的底边长s,高是从圆心到边的垂直线段h。面积公式是1/2·hs,把n个三角形加起来就是1/2·hsn。 这里面有个巧思:三角形的底边加起来正好是多边形的周长p,高h也慢慢逼近半径r。所以面积公式就变成A≈1/2·pr。只要n变大点,误差就小多了。等到n无穷大时,p就是圆的周长C,高就是半径r,面积公式自然就接近圆的真实面积了。这时候咱们就知道:圆的面积等于半径乘以圆周的一半。 这个过程也把“弯曲”和“直线”拉到了一个水平面上。把圆周拉直,它就和半径构成了一个直角三角形,面积正好等于这个直角三角形。这个结论直接把无限的概念引入到了数学里。 接下来聊聊圆周率π。内接正六边形的周长是直径的三倍,但真正的圆周比这个还长,所以π肯定比3大。要是想再精确点呢?那就用正96边形算了一下,阿基米德得出π≈22/7。后来祖冲之也算出了更精确的结果π≈355/113。数字越大误差越小,但这数字永远除不尽。 后来数学家们还证明了π是无理数。1768年兰伯特证明了π是无理数;1882年林德曼又说π是超越数,没法满足任何整系数多项式方程。说白了就是π既不像√2那样可以用方程抓住,也没有两个整数能让它“听话”。 莱布尼茨在1674年给π开了个“名片”——他把π表示成了无限级数:π/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - …。右边的数项加得越多,误差就越小。 最后咱们再看两个重要公式:C=2πr和A=πr²。第一个就是周长公式的定义重写;第二个才是核心——它用代数语言把圆和半径之间的关系说清楚了:面积等于半径与圆周乘积的一半。有了这两个公式,不管怎么放大缩小圆的“身份证”都能带着跑。