文章目录

  • abstract
  • 祖暅原理
  • 推论
  • 棱锥和圆锥的体积
  • 用积分的方法推导
  • 棱台和圆台的体积
  • 圆台体积公式
  • 球体的体积
  • 球体的表面积


abstract

  • 锥体和球体的体积公式主要通过积分的方法推导
  • 这类公式的推导中学一般不要求,只要会应用公式
  • 在高等数学中由合适和方便的工具来推导这些公式
  • 而相关的衍生几何体例如台体体积,可以用割补法直接推导
  • 而中学中一个重要原理是祖暅原理,利用该原理可以确定或间接得到许多几何体体积公式

祖暅原理

  • 祖暅原理指出:幂势既同,则积不容异
  • 这句话是说,加载两个平行平面简的两个几何体,被平行于这两个平面的任意平面所截,若所截的两个截面的面积相等,那么这两个几何体的体积相等
  • 简单讲就是:若两物体在任意等高处的截面面积始终相等,则两个物体体积相等
  • 例如,取一摞纸对方在桌面上,将它们扭转一定的角度,得到一个不规则的体积,但我们知道,扭转前后这些纸构成的立体体积保持不变,因为高度保持不变,同一水平截面积相同,因此体积相同(祖暅原理)

推论

  • 祖暅原理可以说明,等底面积,等高的两个柱体或锥体的体积相等
  • 因此,无论是直棱柱还是斜棱柱,当它们的底面积和高都分别相等,则体积也相等
  • 因此只要知道柱体的底面积和高就可以求出柱体体积

棱锥和圆锥的体积

  • 在小学我们通过比较容积的方法,验证了圆锥的体积是等底面积,等高的圆柱体的常见立体几何图形的体积_立体j几何
  • 事实上,用同样体积的三个三棱锥常见立体几何图形的体积_立体j几何_02能够补成一个三棱柱常见立体几何图形的体积_加载_03(若常见立体几何图形的体积_立体j几何_04是斜棱锥,那么常见立体几何图形的体积_加载_03是斜棱柱)
  • 三棱柱有6个顶点,上底面和下地面各3个点,使用的常见立体几何图形的体积_加载_06存在相等的三角形面,例如常见立体几何图形的体积_立体j几何_07其中一个不含底面,拼接后得到5个顶点的多面体,再拼接常见立体几何图形的体积_加载_08得到一个三棱柱
  • 这并不是说三棱柱都可以分割成完全相同的三个棱锥
  • 例如一个非常细长的三棱柱,则按对角线分割后,有上下底面的两个三棱锥完全相同,但是第三个明显与前者不同
  • 再根据祖暅原理,可以说明三棱锥的体积是等面积,等高的三棱柱体积的三分之一
  • 在此基础上,可以推出锥体体积的计算公式:若锥体(包括棱锥和圆锥)底面积为常见立体几何图形的体积_立体j几何_09,高为常见立体几何图形的体积_立体j几何_10,则体积常见立体几何图形的体积_加载_11(0)

用积分的方法推导

  • 一个常见立体几何图形的体积_加载_12棱锥可以通过分割转化为三棱锥问题
  • 设,三棱锥的底面积为常见立体几何图形的体积_加载_13,高为常见立体几何图形的体积_立体j几何_10
  • 设棱锥的高对应的线段,起点为棱锥顶点常见立体几何图形的体积_加载_15,投影到底面常见立体几何图形的体积_加载_16
  • 常见立体几何图形的体积_加载_17上的一点常见立体几何图形的体积_加载_18,记常见立体几何图形的体积_立体j几何_19,常见立体几何图形的体积_加载_20=常见立体几何图形的体积_加载_21(1),
    常见立体几何图形的体积_立体j几何_22
  • 则过点常见立体几何图形的体积_加载_18垂直于常见立体几何图形的体积_加载_17的平面截棱锥得到截面常见立体几何图形的体积_立体j几何_25=常见立体几何图形的体积_立体j几何_26(2)
  • 将(1)代入(2),得常见立体几何图形的体积_加载_27(3),所以棱锥体积为常见立体几何图形的体积_立体j几何_28=常见立体几何图形的体积_加载_29=常见立体几何图形的体积_立体j几何_30=常见立体几何图形的体积_加载_31=常见立体几何图形的体积_立体j几何_32(4)
  • 对于圆锥也是类似的
  • 综上,我们有任意锥体公式,即式(0)

棱台和圆台的体积

  • 棱台是由棱锥被一个平行于底面的平面截取一个锥体得到的立体图形,圆台类似
  • 因此,台体的体可以用2个椎体的体积只差计算
  • 设棱台的上下底面面积分别为常见立体几何图形的体积_立体j几何_33;而台体的高为常见立体几何图形的体积_立体j几何_34
  • 设台体由棱锥常见立体几何图形的体积_加载_35被平面截取所得包含原底面的部分,而另一部分是包含顶点的锥体常见立体几何图形的体积_立体j几何_36,设其高度为常见立体几何图形的体积_加载_37,则常见立体几何图形的体积_加载_38的高度为常见立体几何图形的体积_加载_39
  • 从而台体的体积常见立体几何图形的体积_立体j几何_40=常见立体几何图形的体积_立体j几何_41(5)
  • 而由几何平行于相似的知识可知若设常见立体几何图形的体积_加载_42=常见立体几何图形的体积_立体j几何_43(6),常见立体几何图形的体积_加载_44,则常见立体几何图形的体积_加载_45(7),即常见立体几何图形的体积_加载_46(8)
  • 联立(7,8)可以求得常见立体几何图形的体积_加载_37=常见立体几何图形的体积_立体j几何_48=常见立体几何图形的体积_立体j几何_49(9)
  • 将(9)代入(5):
  • 常见立体几何图形的体积_立体j几何_50=常见立体几何图形的体积_加载_51=常见立体几何图形的体积_立体j几何_52=常见立体几何图形的体积_加载_53(10)
  • 公式(10)就是台体的体积公式
圆台体积公式
  • 当圆台的上下底面的半径分别为常见立体几何图形的体积_立体j几何_54,高为常见立体几何图形的体积_加载_55,则它的体积为常见立体几何图形的体积_加载_56

球体的体积

  • 设球的半径为常见立体几何图形的体积_立体j几何_57,则其体积为常见立体几何图形的体积_加载_58
  • 球体的体积可以基于牟合方盖祖暅原理以及锥体体积公式得到
  • 但是过程较为繁琐,如果使用积分的方法,可以简单的推出这个公式
  • 积分的方法推导
  • 球体可以理解为半圆旋转一周得到的立体图形
  • 在直角坐标系上做半径为常见立体几何图形的体积_立体j几何_59,圆心为原点的圆,并只取其在第一象限内的部分(常见立体几何图形的体积_加载_60圆),记为曲线常见立体几何图形的体积_加载_18,常见立体几何图形的体积_立体j几何_62,即常见立体几何图形的体积_立体j几何_63,常见立体几何图形的体积_加载_64
  • 常见立体几何图形的体积_加载_18绕着常见立体几何图形的体积_加载_66轴旋转一周,得到半球记为常见立体几何图形的体积_加载_67,我们先求常见立体几何图形的体积_加载_67的体积(仍然记为常见立体几何图形的体积_加载_67)
  • 用空间平面常见立体几何图形的体积_加载_70(垂直于常见立体几何图形的体积_加载_66轴的平面)截取常见立体几何图形的体积_加载_67的截面面积为常见立体几何图形的体积_立体j几何_73=常见立体几何图形的体积_加载_74=常见立体几何图形的体积_立体j几何_75
  • 常见立体几何图形的体积_立体j几何_76=常见立体几何图形的体积_加载_77=常见立体几何图形的体积_立体j几何_78=常见立体几何图形的体积_立体j几何_79=常见立体几何图形的体积_立体j几何_80
  • 从而常见立体几何图形的体积_加载_81=常见立体几何图形的体积_加载_82
  • 事实上可以直接用旋转体积中绕常见立体几何图形的体积_立体j几何_83轴旋转的立体图形的体积公式:常见立体几何图形的体积_加载_84=常见立体几何图形的体积_加载_85=常见立体几何图形的体积_加载_86
  • 还可以借助三重积分(令积分区域为球,被积函数为1)在球坐标上的计算方法来求解球的体积常见立体几何图形的体积_立体j几何_87=常见立体几何图形的体积_加载_88=常见立体几何图形的体积_加载_89=常见立体几何图形的体积_加载_90=常见立体几何图形的体积_立体j几何_91

球体的表面积

  • 利用球体的体积和微积分思想,可以求出半径为常见立体几何图形的体积_立体j几何_92的球体的表面积为常见立体几何图形的体积_加载_93
  • 将球面微分成个常见立体几何图形的体积_立体j几何_94小区域,每个小区域边缘和球心连线近似为一个锥体,将求的表面积设为常见立体几何图形的体积_立体j几何_09,则常见立体几何图形的体积_加载_96=常见立体几何图形的体积_立体j几何_97,解得常见立体几何图形的体积_立体j几何_98