球体积公式的发现与证明 怎样计算球的体积 发现球体积公式的过程和方法 证明球体积公式的思路和方法图1用祖暅原理证明球体积公式图2 用切割法证明球体积公式图3用定积分计算球体积数学是人类文化的重要组成部分。运用数学史材料进行数学教育是国际数学教育界共同关注的问题。球体积公式的发现和证明，是度量几何发展进程中具有标志意义的成果。祖冲之（公元429-500）刘徽（生于公元250左右）中国数学史阿基米德（Archimedes.约公元前287212年）西方数学史 阿基米德突破希腊古典时期几何定性研究的传统，重视定量研究，发现了球、球缺、椭球体体积公式及抛物线弓形面积公式，并给予严格证明。阿基米德这一成果，被古代传记作家普鲁塔克说：“几何学中不可能找到更难做的问题，也不可能找到更简练、更清楚的陈述和证明。”研究中算史的日本专家三上义夫指出，从刘徽到祖冲之父子通过“合盖”（即牟合方盖）得出球体积“可谓中算史上几何处理方法之最高发达，荀与希腊阿基米德之积分方法及其所言与外接圆柱之关系，一比较研究之，亦一趣事也”思考问题：刘徽、祖冲之父子、阿基米德都是蜚声中外的数学家，他们如何解决球体的计算问题呢？一、
