祖暅(gèng)原理是指所有等高处横截面积相等的两个同高立体,其体积也必然相等的定理。祖暅《缀术》有-(云)-「缘幂势既同,则积不容异。」该原理最早由中国古代数学家祖冲之的儿子祖暅提出。祖冲之父子采用这一原理,求出了牟合方盖的体积,进而算出球体积。在欧洲17世纪意大利数学家卡瓦列里亦发现相同定理,所以西方

文献一般称该原理为卡瓦列里原理。

在现代的解析几何和测度应用中,祖暅原理是富比尼定理中的一个特例。卡瓦列里没有对这条的严谨证明,只发表在1635年的Geometriaindivisibilibu’以及1647年的ExercitationesGeometrica’中,用以证明自己的MethodederIndivisibilie’。以此方式可以计算某些立体的体积,甚至超越了阿基米德和克卜勒的成绩。这个定理引发了以面积计算体积的方法并成为了积分发展的一个重要步骤。

圆柱体 如果垂直转轴切开圆柱体,设为半径,可以得到横切面面积为的圆形。根据祖暅原理,圆柱体的体积相等於方形面积相等於圆面积的立方体,所以半径为和高为的圆柱体体积是。

半球体 从其中一层以垂直表面的高横切半径为的半球体,根据勾股定理,求半径,横切面面积。对照立体是一个拥有与半球体相同表面积和高的立体,中间有一个圆锥体。高的对照立体环形切面有内圆周以及外圆周,因此两个立体都满足祖暅原理并且有相同体积。对照立体的体积便是圆柱体和圆锥体体积之差,所以成功利用这条有名的方程计算出半球体体积,从而导出球体体积公式。

微积分 祖暅原理背後的概念经常出现在微积分中。作为维度的一个例子,因此两条方程式在两个交点间的面积可以利用以下方程获得::实质上表示了函数图形和之间的面积与函数图形下的相同,而後者的交点距离与前者相等。由於现代数学中的积分和-(面)-积的互相关系,而体积可以通过微分计算,使祖暅原理变得更为少用。

祖暅 - 参考资料

http://hi.baidu.com/wengpaul/blog/item/b693531e54a419f51ad57675.html

http://www.hzcom.cn//HTML/Tech/206/2007/11/9/Art_49168.html


卡瓦列里 可能工作过的组织/机构/部门/团队:


卡瓦列里 可能工作过的同事:

粤ICP备17091748号-3
剧本杀复盘 剧本杀复盘 红酒 ChatGPT
传奇私服 阿斗复盘 邰谇是 剧本杀《达芬奇》复盘解析 mn你住在讶我心里