噗嗤……
除了李长思和牛见虎,其他人直接把口中的酒喷出来,纷纷怒视着程怀亮?
不吹牛逼你能不能死?
就问你,不吹牛逼你能不能死?
“师兄,当真?”李淳风也很不相信。
切圆术,又被称作割圆术,是魏晋时期的数学家刘徽首创割圆术,为计算圆周率建立了严密的理论和完善的算法,所谓割圆术,就是不断倍增圆内接正多边形的边数求出圆周率的方法。
在刘徽之前,人们求证圆面积公式时,是用圆内接正十二边形的面积来代替圆面积。应用出入相补原理,将圆内接正十二边形拼补成一个长方形,借用长方形的面积公式来论证《九章算术》的圆面积公式。
但是,这个长方形是以圆内接正六边形周长的一半作为长,以圆半径作为高的长方形,它的面积是圆内接正十二边形的面积。这种论证“合径率一而弧周率三也”,即后来常说的“周三径一”,当然不严密。
因为,圆内接正多边形的面积与圆面积都有一个差,用有限次数的分割、拼补,是无法证明《九章算术》的圆面积公式的。所以,刘徽大胆地将极限思想和无穷小分割引入了数学证明。他从圆内接正六边形开始割圆,将圆内接正多边形的边数不断加倍,则它们与圆面积的差就越来越小,而当边数不能再加的时候,圆内接正多边形的面积的极限就是圆面积。