高中数学必修二·大单元视域下“锥体体积定理”的深度建构与证明思想（人教A版2019）

高中数学必修二·大单元视域下“锥体体积定理”的深度建构与证明思想（人教A版2019）

一、教材与课标分析：定位“定理教学”而非“公式教学”

本节课位于人教A版《普通高中教科书·数学》必修第二册第八章“立体几何初步”第3节“简单几何体的表面积与体积”。在此之前，学生已经掌握了多面体与旋转体的结构特征，理解了柱、锥、台、球的基本元素，并学习了棱柱、棱锥、棱台和圆柱、圆锥、圆台的表面积公式。体积教学的关键转折点在于：从已知的长方体体积公式出发，向任意柱体乃至锥体完成逻辑跨越。这不仅是计算工具的扩充，更是立体几何公理化思想的一次集中展现。

本节课的学术价值不在于“记住V=1/3Sh”，而在于回答一个根本性问题：“为什么锥体的体积是等底等高柱体的三分之一？”传统的教学往往通过倒水实验或祖暅原理直接给出结论，学生虽然接受了公式，却未能经历完整的定理发生过程。本设计将锥体体积定理定位为“在祖暅原理统摄下，通过构造与推理完成的逻辑建构”，强调从“特殊三棱锥”到“一般锥体”的两次抽象，这正是数学核心素养中“逻辑推理”与“数学抽象”的落地支点。

依据《普通高中数学课程标准（2017年版2020年修订）》，本单元要求“理解柱、锥、台、球的体积公式，了解公式的推导过程”。【非常重要】这里的“了解推导”绝非可有可无，而是素养达成的主航道。因此，本设计将锥体体积公式的推导逻辑拆解为四个不可拆分的阶梯：第一阶梯，利用祖暅原理证明“等底等高的任意锥体体积相等”；第二阶梯，聚焦三棱锥，利用“补形法”证明其体积是等底等高三棱柱体积的三分之一；第三阶梯，由三棱锥的体积公式推广至任意n棱锥；第四阶梯，利用祖暅原理或极限思想将结论迁移至圆锥。这一逻辑链条既是本课【难点】，也是高考【低频但高区分度考点】，更是数学文化【核心传承点】。

二、学情诊断：从经验型认知向理性思辨的跨越

认知起点：学生初中已掌握三角形面积公式的推导（割补法），高中刚学完柱体体积公式，并初步接触祖暅原理。他们对“等底等高”这一条件有直观感知，但对于“为什么要分割三棱柱”“为什么三个三棱锥体积相等”这类需要严谨证明的问题，思维路径尚不清晰。

认知障碍【难点突破】：第一重障碍是“原理的信任危机”——祖暅原理表述极为简洁（幂势既同，则积不容异），但学生很难将“截面处处相等”与“体积相等”建立起牢固的心理联结，他们容易质疑：为什么偏偏要构造一个与锥体截面处处相等的已知几何体？第二重障碍是“分割的不可思议”——将一个三棱柱分割成三个三棱锥，学生即使看了动态演示，也常常困惑于“分割后的锥体底面与高如何对应”，分不清楚哪个面是底面，哪条线段是高。第三重障碍是“推广的恐惧”——即使承认了三棱锥的体积公式，学生也很难自信地将V=1/3Sh直接用到四棱锥、圆锥上。

学情对策：本设计将遵循“可视化→可操作→可推理→可迁移”的认知路径。对祖暅原理不满足于播放GGB动画，而是引入“物理截面模拟器”让学生亲自截取不同高度处的截面并计算面积；对三棱锥等积变换，采用实体拆分模型（泡沫教具）与GGB同步演示，让学生在“拆开—旋转—重标底面”的具身操作中内化空间关系；对于公式推广，则通过“相似截面面积比等于高之比的平方”这一代数工具，结合祖暅原理完成严密的逻辑闭环。

三、教学目标与核心素养对标

【基础】知识与技能：1.准确表述祖暅原理及其成立的三项前提条件；2.能完整复述三棱柱分割为三个等积三棱锥的几何构造，并据此推导三棱锥体积公式；3.掌握锥体体积定理（V=1/3Sh），并能解决直接套用公式的简单计算问题。

【重要】过程与方法：1.经历“特殊三棱锥→任意棱锥→圆锥”的推广过程，领悟数学抽象与数学推广的基本范式；2.在补形、分割、等积变换的操作中，强化转化与化归思想；3.通过祖暅原理与截面分析，提升几何直观与逻辑推理的协同能力。

【非常重要】情感、态度与价值观：1.在祖暅父子数学成就的浸润中，建立“中国古代数学并非仅有经验公式，更有严谨推理”的文化自信；2.通过锥体体积定理的完整证明，体验数学定理的确定性与美感，破除“公式就是背下来”的功利主义学习观。

四、教学重难点的再界定

重点：【核心定理】锥体体积公式V=1/3Sh及其成立前提——“等底等高”。这个公式本身不难记忆，但必须让学生在推导中理解“1/3”这一系数并非实验测定，而是逻辑必然。

难点：【最难】从三棱柱分割出三个等积三棱锥的过程中，三个锥体体积相等的证明。学生往往能接受“补成一个三棱柱”的操作，但无法独立完成“体积相等”的逻辑论证。此处是本课思维含金量最高的环节。

关键能力点：【高频考点】等体积法求距离（点到平面的距离）、等积变换求不规则几何体体积。这些并非本节课的新知，但需要在例题中渗透，为后续向量法求距离埋下伏笔。

五、教学实施过程（主体篇幅，约85%）

（一）单元导入：重构体积测量的底层逻辑

师：我们已经知道，长方体的体积等于长×宽×高，也就是底面积×高。柱体的体积公式V柱=Sh，是通过祖暅原理将任意柱体转化为长方体得到的。那么，锥体呢？如果给你一个底面积是S、高是h的锥体，你认为它的体积是多少？

生直觉回应：三分之一Sh。

师：三分之一这个数字，是实验测出来的，还是逻辑推出来的？

课堂短时沉默，部分学生提到“倒水实验”。

师展示数据：等底等高的圆柱与圆锥，圆锥装水三次才能装满圆柱。但这个实验存在测量误差，而且只能说明圆锥，不能说明四棱锥。今天我们的使命是：在不借助任何测量的前提下，仅凭推理，锁定锥体体积公式中的系数一定是1/3。

设计意图：首轮认知冲突。破除学生对“实验法”的路径依赖，宣告本课属于“证明课”而非“验证课”。明确学习目标：完成一次严格的数学定理证明。

（二）第一板块：祖暅原理的深度复盘与条件强化

祖暅原理并非本课新知识，学生在柱体体积推导时已初步接触，但当时是教师演示为主。本课需将原理升格为“体积比较的唯一通用准则”。

师追问：祖暅原理说“幂势既同，则积不容异”。请复述这句话成立需要同时满足哪几个条件？

生归纳【非常重要】：第一，两个几何体必须夹在两个平行平面之间；第二，必须能用任意平行于这两个平面的平面去截；第三，在任意高度处，截面的面积都相等。

师：这里最容易忽略的是哪一条？

生：是“任意高度”而不是“某几个高度”。

师展示GGB课件：一个底面逐渐缩小的棱锥与一个标准三棱锥，虽在某几个特定高度截面面积相等，但其他高度不等，从而体积不相等。强调：截面相等必须在定义域内处处成立。

【基础】师布置即时任务：请画出一个反例草图——两个几何体体积不相等，但在一半高度处截面面积相等。学生当堂绘制（如一个圆柱与一个中间细两头粗的畸形柱体），强化“处处相等”的严格性。

设计意图：避免祖暅原理沦为口号。这一环节虽然短，但直接影响学生对后续“等底等高锥体体积相等”证明的信服度。

（三）第二板块：核心命题1——等底等高的任意两个锥体体积相等

已知：锥体P1与锥体P2，底面积均为S，高均为h，且两锥体的顶点与底面各在相互平行的平面内。

求证：V1=V2。

策略：构造祖暅原理适用场景。

师引导：我们现在面临两个不同的锥体，可能一个是三棱锥，一个是四棱锥，甚至一个是圆锥。它们形状完全不同，直接比较截面面积似乎不可能。但我们有一个重要的几何性质——相似性。

小组讨论【重要】：用平行于底面的平面截锥体，截面是什么形状？与底面有什么关系？

结论：截面是与底面相似的图形；若顶点到底面的距离为h，截面到顶点的距离为h‘，则截面面积S截=S底×(h’/h)²。

师：这说明了什么？无论你是什么锥体，只要底面积S和高h相等，那么在相同高度h‘处的截面面积，都等于S乘以(h’/h)²！所以任意两个等底等高的锥体，在所有等高处的截面面积必然对应相等。

师：这是祖暅原理最漂亮的应用之一——我们不需要知道锥体长什么样子，只需要知道“截面面积由高度唯一确定”这一函数关系，就能断定体积相等。

【核心定理】至此完成第一次抽象：锥体的体积只与底面积和高有关，与形状（几棱锥或圆锥）无关。这为后续将一般锥体体积计算简化为特殊三棱锥体积计算提供了逻辑依据。

（四）第三板块：核心命题2——三棱锥体积是等底等高三棱柱体积的1/3

此为全课【最难】与【思维巅峰】。

师展示问题：我们能不能直接证明一个三棱锥的体积等于等底等高三棱柱的三分之一？注意，我们还没有锥体体积公式，我们不能用V=1/3Sh去证明V=1/3Sh。

学生陷入思考。教师提示：在平面几何中，我们是如何求三角形面积的？我们把它补成平行四边形，取一半。在立体几何中，我们能否把一个三棱锥补成一个三棱柱？

1.构造环节：补形法

以三棱锥S-ABC为例。过点B作线段BB‘平行且等于SA；过点C作线段CC’平行且等于SA；连接A-B‘-C’。则形成三棱柱ABC-SB‘C’。

师GGB演示：原本孤零零的一个三棱锥，像“长出了翅膀”，变成了一个完整的柱体。学生惊叹。

师：现在三棱柱的体积我们是知道的——底面积×高。问题是，这个三棱柱与原来的三棱锥是什么关系？三棱柱还能分割成几部分？

1.分割环节：化整为零

连接B‘C、B’S、C‘S。学生观察GGB动态着色：三棱柱被分割成三个三棱锥。

教师操作实体模型：将泡沫三棱柱沿截面拆开，得到三个独立的三棱锥模型，分发给三个小组观察。

【非常重要】小组任务1：给这三个三棱锥分别命名，并写出每个三棱锥的底面和顶点。

第一组：三棱锥1——B‘-ABC（底面ABC，顶点B’）

第二组：三棱锥2——A-B‘CC’（底面B‘CC’，顶点A）

第三组：三棱锥3——C‘-AB’C（底面AB‘C，顶点C’）

1.等积变换：找全等的底与高

师：现在三个锥体都有了，它们的体积相等吗？

课堂沉默——这正是最棘手的环节。学生直观觉得对称，但说不清理由。

教师引导：我们不需要一下子证明三个都相等，可以两两比较。

第一步：比较三棱锥B‘-ABC和C’-AB‘C。

生观察：这两个锥体在GGB中旋转后发现，如果把B‘-ABC的顶点移到B’到底面ABC，把C‘-AB’C的顶点移到C‘到底面AB’C，两者底面积和高似乎没有直接关系。

师提示：换底！这是立体几何中最致命的思维武器——同一个三棱锥，你可以选择不同的面作为底面。

教师以三棱锥B‘-ABC为例：这个锥体，除了以ABC为底，还可以以哪一面为底？

生：可以以AB’B为底，顶点是C。

师：试试看。如果我们以三角形AB‘B为底，点C为顶点，此时底面积怎么求？高是多少？

通过GGB测量：三角形AB’B的面积正好等于三棱柱侧面积的一半，且高是点C到平面AB‘B的距离——这个距离恰好等于原三棱柱的高。

教师再演示三棱锥C’-AB‘C，若以AB’C‘为底，顶点C？通过一系列换底操作，学生逐步发现：实际上，三棱锥B’-ABC与三棱锥C‘-AB’C虽然摆放姿态不同，但都能变换为“以原三棱柱的某个平行四边形侧面的一半为底，以原三棱柱的高为高”的结构。最关键的是，这些底面三角形面积全相等，高也相等。

因此，三棱锥B‘-ABC=三棱锥C’-AB‘C。

第二步：类似方法证明这两个锥体又与中间那个锥体A-B’CC‘等积。

通过约8分钟的师生协作、GGB动态标注底面与高、实体模型旋转标注，最终得出结论：

V(三棱锥1)=V(三棱锥2)=V(三棱锥3)

所以，每一个小锥体的体积=1/3×V(三棱柱)。

而三棱柱的体积=S底×h，其中S底是三角形ABC的面积，h是原三棱柱的高，也是原三棱锥S-ABC的高（注意：原三棱锥的顶点S在补形后对应B‘，高一致）。

因此：V(三棱锥)=1/3×S底×h。

【核心定理】至此，三棱锥体积公式得证。

（五）第四板块：从三棱锥到任意锥体——定理的全面确立

师：我们已经证明了底面积为S、高为h的三棱锥体积为1/3Sh。那四棱锥呢？五棱锥呢？圆锥呢？

【关键推理1】任意n棱锥都可以通过连接底面一个顶点与其他不相邻顶点，分割成(n-2)个三棱锥。这些三棱锥的高都等于原棱锥的高，底面之和等于原棱锥的底面积。因此：

V(n棱锥)=1/3×(S1+S2+…+S_{n-2})×h=1/3S原底×h。

【关键推理2】圆锥呢？根据本课第二板块的结论：等底等高的圆锥与棱锥体积相等。既然棱锥体积是1/3Sh，圆锥也必然是1/3Sh，具体可写为1/3πr²h。

师强调：这里体现了数学推理的巨大力量。我们从未直接测量圆锥，却准确得知它的体积系数也是1/3。

至此，锥体体积定理全部证毕。

（六）第五板块：应用进阶——从公式记忆走向策略建模

本环节设计三个层级，覆盖【基础巩固】【高频考点】【思维拓展】。

【基础巩固·直接套用】

例1：已知四棱锥P-ABCD，底面是边长为2的正方形，侧棱PA⊥底面ABCD，PA=3，求该四棱锥的体积。

解析：明确底面是正方形，面积=4；高是PA=3（线面垂直保证了高是侧棱）；V=1/3×4×3=4。

【重要】易错点强化：高一定是顶点到底面的垂线段，不是侧棱长。若侧棱不垂直底面，需先求高。

【高频考点·等体积法】

例2：如图，在棱长为2的正方体ABCD-A‘B’C‘D’中，求三棱锥B‘-ACD’的体积。

解析：方法一：直接公式法——底面△ACD’是等边三角形（边长2√2），面积需计算；高B‘到平面ACD’需作垂线，计算复杂。

方法二：等积转换——注意到B‘-ACD’=D‘-ACB’=A-B‘CD’等。最简单的视角：把三棱锥看作以正方体的某个面为底。

选择：以△B‘CD’为底，顶点A。底面B‘CD’是直角三角形，面积=2×2÷2=2；高是A到底面B‘CD’的距离，由于正方体对称性，高=2。因此V=1/3×2×2=4/3。

【难点突破】教师示范“换底五步法”：①选点集；②定底面；③求底面积；④求高；⑤代公式。让学生体会“谁当底”的优化策略。

【思维拓展·内切球与体积分割】

例3（选讲）：已知正三棱锥P-ABC，底面边长为a，侧棱长为b，求其内切球的半径。

解析：这是体积公式的逆向运用。内切球球心到各个面的距离相等，等于半径r。将三棱锥分割为四个小棱锥（O-ABC、O-PAB、O-PBC、O-PCA），四个小棱锥体积之和=原棱锥体积。

每个小棱锥的高均为r，底面分别是原棱锥的四个面。

故V总=1/3×r×(S底+S侧1+S侧2+S侧3)=1/3×r×S表。

因此，r=3V/S表。

【热点】此模型不仅适用于正棱锥，还适用于一般存在内切球的四面体。为高二选修“球与几何体”打下坚实基础。

（七）第六板块：数学文化浸润与价值认同

师：我们今天的整个推理链条，起点是祖暅原理，终点是锥体体积公式。请各位留意，祖暅是公元5-6世纪南北朝时期的数学家，他的父亲祖冲之计算了圆周率到小数点后七位。祖暅在推导球体积公式时，需要用到锥体体积公式，而他的证明方法，就是我们今天刚刚亲手操作过的“三棱柱分割成三个三棱锥”。

师展示《九章算术》李淳风注引祖暅之语：“幂势既同，则积不容异。”这八个字，一千多年后由意大利数学家卡瓦列里重新发现。从时间上说，祖暅领先了11个世纪。

【非常重要】师：请大家思考一个问题——中国古代数学常常被西方中心论者评价为“只重算法，不重证明”。祖暅原理和三棱锥分割法是重算法还是重证明？这明明是极其严格的穷竭法证明。我们今天重走一遍祖暅之路，不是为了复古，而是为了确认：严谨的演绎推理，并非古希腊独有；中国古代数学有自己的公理体系，只是表达方式不同。

此时课堂氛围会达到情感高潮。这不是强行灌输爱国主义，而是基于数学事实的文化自信。

（八）第七板块：课堂小结与认知结构图式

师引导学生从四个维度进行复盘：

1.知识图谱【基础】：

1.2.柱体体积：V=Sh（已证）

2.3.等底等高锥体等体积定理（祖暅原理+截面相似）

3.4.三棱锥体积公式（分割三棱柱法）

4.5.任意锥体体积公式：V=1/3Sh（推广）

6.方法论工具箱【重要】：

1.7.祖暅原理：截面控制体积

2.8.补形法：未知几何体向已知几何体转化

3.9.等积法：换底不换体，计算降维打击

10.思维进阶【核心素养】：

1.11.从特殊到一般（三棱锥→n棱锥→圆锥）

2.12.从直观到推理（实验感知→逻辑证明）

3.13.从一维到三维（相似比平方关系）

14.未竟之境【悬念】：

师：球的体积公式V=4/3πR³，大家初中就背过。你能用祖暅原理证明它吗？需要构造一个怎样的几何体，使它在每个高度处的截面都与半球截面面积相等？这将是下一节“探究与发现”的核心任务。

（九）第八板块：作业设计——分层进阶与长周期探究

【A层·定理复演】（全员必做）

1.请用文字+简图，向父母完整讲解“为什么三棱锥的体积是等底等高三棱柱的三分之一”，并请父母签名。此作业旨在强制输出，倒逼逻辑梳理。

2.教材P120练习第2、3题（直接套用公式，巩固基础）。

【B层·变式迁移】（选做，建议80%学生尝试）

3.如图，在斜三棱柱ABC-A₁B₁C₁中，侧面BCC₁B₁是矩形，AB⊥侧面BCC₁B₁，AB=3，BC=4，BB₁=5。求三棱锥B₁-ABC的体积。

（设计意图：打破标准“立正”摆放，训练学生识别底面与高的能力）

【C层·小课题研究】（研究小组合作，周期1周）

4.祖暅原理证明球的体积——阅读教材“探究与发现”，模仿本节课的锥体证明思路，尝试构造“牟合方盖”的1/8或圆柱挖圆锥模型，写出推理报告。

5.任意四面体的五心与体积分割——探究：四面体内是否存在一点，将四面体分割为四个等体积的小四面体？若存在，这一点是重心吗？请用体积公式进行论证。

【非常重要·长效渗透】第4、5题属于开放性、长周期、高回报的探究作业。其价值不在于得出正确答案，而在于驱动学生持续运用本节课习得的“分割—等积—转化”思维模式。这部分成果可在下一节“数学建模活动”中进行展示答辩。

六、板书设计逻辑（文字实录）

板书是课堂思维流动的显性痕迹。本课板书按四象限布局，全程保留，不擦除：

左上区【源流】：

祖暅原理：幂势既同，则积不容异。

↓条件：夹在平行平面间；任意平行截面；截面积处处相等。

↓推论：等底等高锥体等体积（截面面积比=(h‘/h)²）

右上区【突破】：

三棱柱分割法（GGB截图简笔画）：

三棱柱ABC-A₁B₁C₁→连A₁B、A₁C、B₁C→三个三棱锥。

等积证明路径：换底法→高相等→底全等→体积三等分。

∴V锥=1/3V柱=1/3Sh。

左下区【公式】：

锥体体积定理：

V棱锥=1/3S底h

V圆锥=1/3π