公式推导
圆周长(c):圆的直径(D),那圆的周长(c)除以圆的直径(D)等于π,那利用乘法的意义,就等于 π乘圆的直径(D)等于圆的周长(C),C=πd。而同圆的直径(D)是圆的半径(r)的两倍,所以就圆的周长(c)等于2乘以π乘以圆的半径(r),C=2πr。把圆平均分成若干份,可以拼成一个近似的长方形。长方形的宽就等于圆的半径(r),长方形的长就是圆周长(C)的一半。长方形的面积是ab,那圆的面积就是:圆的半径(r)的平方乘以π, 。
推导历史如何求圆面积?如今已是非常简单的问题,利用公式一算,便可得到答案。可在过去,人们为了研究和解决这个问题,花费大量的精力和时间。
4000多年前修建的埃及胡夫金字塔,底座是一个正方形,占地52900平方米。它的底座边长和角度计算十分准确,误差很小,可见当时测算大面积的技术水平已经很高。而圆是最重要的曲边形。古埃及人把它看成是神赐予人的神圣图形。如何求圆的面积,是数学对人类智慧的一次考验。圆面积公式的常规推导思路是:先把一个圆平均分成若干份,然后将其拼成近似的长方形,最后根据长方形与圆的关系推导出圆的面积公式。当时人们认为既然正方形的面积容易求,只需要想办法做出一个面积恰好等于圆面积的正方形。但是怎样才能做出这样的正方形又成为了另外一个难题。古代三大几何难题其中之一,便是化圆为方。这个起源于古希腊的几何作图题,在2000多年里,不知难倒了多少能人,直到19世纪,人们才证明了这个几何题,是根本不可能用古代人的尺规作图法作出来的。1
古代数学家的贡献我国古代的数学家祖冲之,从圆内接正六边形入手,让边数成倍增加,用圆内接正多边形的面积去逼近圆面积。
古希腊的数学家,从圆内接正多边形和外切正多边形同时入手,不断增加它们的边数,从里外两个方面去逼近圆面积。
古印度的数学家,采用类似切西瓜的办法,把圆切成许多小瓣,再把这些小瓣对接成一个长方形,用长方形的面积去代替圆面积。
众多的古代数学家煞费苦心,巧妙构思,为求圆面积作出了十分宝贵的贡献。为后人解决这个问题开辟了道路。
开普勒的求解方法16世纪的德国天文学家开普勒,当过数学老师,他对求面积的问题非常感兴趣,曾进行过深入的研究。他想,古代数学家用分割的方法去求圆面积,所得到的结果都是近似值。为了提高近似程度,他们不断地增加分割的次数。但是,不管分割多少次,几千几万次,只要是有限次,所求出来的总是圆面积的近似值。要想求出圆面积的精确值,必须分割无穷多次,把圆分成无穷多等分才行。
开普勒也仿照切西瓜的方法,把圆分割成许多小扇形;不同的是,他一开始就把圆分成无穷多个小扇形。圆面积等于无穷多个小扇形面积的和,所以在最后一个式子中,各段小弧相加就是圆的周长2πR,所以有 。这就是我们所熟悉的圆面积公式。
开普勒运用无穷分割法,求出了许多图形的面积。1615年,他将自己创造的这种求圆面积的新方法,发表在《葡萄酒桶的立体几何》一书中。开普勒大胆地把圆分割成无穷多个小扇形,并果敢地断言:无穷小的扇形面积,和它对应的无穷小的三角形面积相等。他在前人求圆面积的基础上,向前迈出了重要的一步。《葡萄酒桶的立体几何》一书,很快在欧洲流传开了。数学家们高度评价开普勒的工作,称赞这本书是人们创造求圆面积和体积新方法的灵感源泉。
开普勒创造的求圆面积的新方法,引起了一些人的怀疑。他们问道:开普勒分割出来的无穷多个小扇形,它的面积究竟等于不等于零?如果等于零,半径OA和半径OB就必然重合,小扇形OAB就不存在了;如果客观存在的面积不等于零,小扇形OAB与小三角形OAB的面积就不会相等。开普勒把两者看作相等就不对了。
面对别人提出的问题,开普勒自己也解释不清。
卡瓦利里的求解方法卡瓦利里是意大利物理学家伽利略的学生,他研究了开普勒求圆面积方法存在的问题。
卡瓦利里认为,开普勒把圆分成无穷多个小扇形,这每个小扇形的面积到底等不等于圆面积,就不好确定了。但是,只要小扇形还是图形,它是可以再分的。要是真的再细分下去,那分到什么程度为止呢?这个问题,使卡瓦利里陷入了沉思。
一天,当卡瓦利里的目光落在自己的衣服上时,他灵机一动:布可以看成面积!布由棉线织成,要是把布拆开,拆到棉线就停止了。我们要是把面积像布一样拆开,应该拆到直线为止。几何学规定直线没有宽度,把面积分到直线就应该不能再分了。于是,他把不能再细分的东西叫做“不可分量”。棉线是布的不可分量,直线是平面面积的不可分量。
卡瓦利里还进一步研究了体积的分割问题。他想,可以把长方体看成为一本书,组成书的每一页纸,应该是书的不可分量。这样,平面就应该是长方体体积的不可分量。几何学规定平面是没有薄厚的,这样也是有道理的。卡瓦利里紧紧抓住自己的想法,反复琢磨,提出了求圆面积和体积的新方法。
1635年,当《葡萄酒桶的立体几何》一书问世20周年的时候,意大利出版了卡瓦利里的《不可分量几何学》。在这本书中,卡瓦利里把点、线、面,分别看成是直线、平面、立体的不可分量;把直线看成是点的总和,把平面看成是直线的总和,把立体看成是平面的总和。
卡瓦利里还根据不可分量的方法指出,两本书的外形虽然不一样,但是,只要页数相同,薄厚相同,而且每一页的面积也相等,那么,这两本书的体积就应该相等。他认为这个道理,适用于所有的立体,并且用这个道理求出了很多立体的体积。这就是有名的“卡瓦利里原理”。事实上,最先提出这个原理的,是我国数学家祖暅。比卡瓦利里早1000多年,所以我们叫它“祖暅原理”。
在一个圆里画一个最大的正方形,正方形占圆面积的约63.7%,在一个圆外画一个最小的正方形,正方形面积是圆形面积的157%。2
新增求解方法在卡瓦利里的观点上拓展,也可以将曲线看做不可分量。所以圆面积近似于无数个圆周长曲线的拼接,这些圆的半径是从0到r的连续点,可以看作长度为r的直线,这些圆的半径之和可以看作直角边长为r的直角等边三角形,故可得公式: