定理已证明
棱柱体积定理
命题陈述
对任意棱柱(无论是直棱柱还是斜棱柱),只要底面积为 、高为 (两底面间的垂直距离),其体积都是 。
为什么成立?
一叠完全相同的扑克牌,无论叠得笔直还是被推斜,体积都不变——因为重复的是牌堆的截面,而不是它的外形轮廓。棱柱正是由无穷多张底面的极薄复制品这样堆叠而成的。
证明思路
首先考虑一个直棱柱,其侧棱与底面垂直。用平行于底面的平面在任意高度截取,截面都与底面本身全等,面积为 。将这些截面从高度 到 叠加,得体积 ,这正是直棱柱的 。
再考虑任意一个具有相同底面积 和相同高 的斜棱柱。将它与一个具有相同底面和高的直棱柱并排放置,共用一个底面所在的平面。斜棱柱在高度 处的截面是底面的一个平移副本(平移不改变面积),因此面积同样是 ,与直棱柱在该高度的截面面积完全相同。
由卡瓦列里原理,由于两个立体在每个高度 处的截面积都相等(均为 ),它们的体积相等。既然直棱柱的体积是 ,斜棱柱的体积也是如此,从而对一切棱柱证明了该公式。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XII (method of exhaustion; pyramid and prism volumes)
- Weisstein, Eric W. (2024). Platonic solid