立体几何定理符号-立体几何定理符号

立体几何里最让人头疼的，往往不是证明那些死板的定理，而是看着一堆高高的柱体、锥体，突然认定脑子像被塞了一团棉花。
那会儿老师讲的时候，总爱在黑板上摆个几何体，上面画两个底面，下面画一条垂线，然后直接从中间蹦出一个“上底面积乘以高除以 3"的结论。
那会儿我就认定天灵盖被顶了，人站在台上只盯着公式看，彻底没顾得上那几何体到底长啥样。
后来慢慢琢磨，原来人类搞数学，压根儿都不是为了让别人跟你听个“起初、其次、最终”，也不是为了让你记住个“居维多定理”要么“皮克定理”是啥。他们就是想让你看到，看到那个被挖空又补平的圆，看到那个被切去一角的立方体，看到那条无限延伸却一辈子碰不到底边的线。 你看你拿个粉笔，在黑板上画个三棱锥，它的四个顶角分别是 60 度 90 度 120 度。
这时候你心里得有个数，不然这玩意儿如何算？你得先算出这个三棱锥的体积。
如何算？得知道底面积和高。底面积是直角三角形的面积，斜边是 1，直角边是 1。算完底面积，再除以 3，就是体积。
这时候要是我不给个例子，光说公式，你大约会晕。
比如拿个正方体做个对比，体积就是棱长的立方。
要是棱长是 2，体积就是 8。
这是没有棱长，没法算的。 实际上大量时候，立体几何的“定理”名字听起来挺唬人，实际上一点都不复杂。
比如“上底面积乘以高除以 3"，这玩意儿在球里也成立，在柱体里也成立。它只是告诉我们一种思维方式：不管东西多复杂，只要把它拆分成标准的柱体来算，就能顺理成章地凑出结局。就像把一堆散乱的石头往秤盘上一扔，秤盘上的重量就是它们的总和。立体几何里的体积公式，本质上就是把所有能凑成柱体的小片，一个个加起来。 举个具体的例子，想象一个圆锥。底面是个圆，直径是 10，半径就是 5。
那这个圆的面积是多少？$3.14 times 5 times 5$，算出来是 78.5。
这个圆是圆锥的底。再想高度，假设高度是 6。
如何算体积？直接用公式，$1/3 times 78.5 times 6$。
这 6 是出于高度，是垂直距离。算完就是 157。
这时候要是你拿个圆柱去做对比，圆柱的底面面积也是 78.5，高也是 6。圆柱的体积就是 $78.5 times 6$，等于 471。
你看，圆锥的体积是圆柱的三分之一。
这个结论一出来，简直不可思议，但逻辑上如何都绕不过弯去。 再细究一点，为啥是 1/3？这实际上跟如何算圆柱的体积分不开。圆柱的体积是底面积乘高，这忒好办了。圆锥呢？要是把圆锥看作是从圆柱里挖出来的——不对，是倒过来看。
要是把圆锥的顶点放在地上，底面放在天上，那它就是一个倒立的锥体。
要是你用 1/3 这个系数，体积就对了。 还有啊，有时候你会认定立体几何就是纯几何的，不用寻思物理。
实际上不然。
为啥？出于一旦涉及到力，要么想搞清楚东西到底“重不重”，你就得用到质量。体积是物质的多少。质量呢？质量等于密度乘以体积。密度是物质的特性，跟形状没关系。
这个区别挺大。
比如两个形状彻底不同的铁块，要是密度都一样，那它们的质量就一样。但这不代表它们的体积也一样。其中一个可能是球，另一个可能是立方体，就连可能是个扭曲的土豆形。体积变了，质量自然也能变。
故此，大量时候我们在做力学题，解立体几何，最终还得回头去算一个质量和力的关系。 这就引出了一个难题，为啥有些定理你认定“降维打击”？比如“上底面积乘以高除以 3"，听起来多平。
实际上它背后的逻辑贼严密。对于柱体，上下底面平行且全等，高就是两个面之间的距离。对于锥体，从顶点到底面的连线（高）垂直于底面，这个条件缺一不可。 比如拿个圆台来算。圆台的上下底面大小不一样，这就叫圆台。
如何算体积？公式是 $(S_1 + S_2 + sqrt{S_1 S_2}) times h / 3$。
你看这个式子，它把上下底面积 $S_1$ 和 $S_2$ 加起来，再加上个“根号下两底面积乘积”，最终除以 3。
这个根号项是啥？这是调和平均数。它代表了中间那个“大小适中”的截面面积。把这个中间截面面积也算进去，再乘以高度再除以 3，这就是圆台的体积。 这听起来有点像哈斯金斯 - 波利亚定理的变体，要么是那个叫“截断定理”的东西。但具体如何推导，确实需求点数学功底。
不能像平时聊天那样随手一脑补。 这时候你要想一想，为啥这些定理的存有？要是不用它们，学生如何学？
如何考试？要是连体积都算不出来，如何及格？故此这些定理不是凭空捏造的。它们是建立在这个几何体的“标准型”上的。就像学乘法一样，$2 times 3=6$ 这个定理，是建立在每一个根本数字都是 2 和 3 的倍数里的。立体几何里的定理，也是建立在每一个几何体都能被分解成标准柱体或锥体的前提下的。 再讲个生活中的例子。你小时候玩“飞镖”游戏，要么扔铅球。你知道铅球的体积是多少吗？你得知道它的密度，才能算出重量。别看铅球在手里是软的，看不出来，但在物理课上，老师会说：“这个铅球是一个完美的球体。”基于这个完美的假设，我们就能用到了球的体积公式，就是 $4/3 pi r^3$。
要是老师说了个“近似球”，那这个公式就得改。
要是老师说了个“椭圆球”，那公式就得加进去。定理在这里起关键功能，它固定了模型。 还有啊，有些定理看起来是为了证明“只要知足条件，结局就成立”。
比如“上底面积乘以高除以 3"这个定理，它的前提实际上是“这是柱体”要么“这是锥体”。
要是你拿着个扭曲的棱柱，要么把锥体歪歪扭扭地放上去，那个公式就不一定成立了。 这就解释了为啥立体几何有时候让人认定“高深莫测”，有时候又认定“干巴到想就寝”。出于它忒纯粹了。
没有函数，没有方程，没有物理，就纯几何。所有的数字，所有的形状，所有的相对位置，就靠这个定理来定生死。 并且，这个定理实际上普适性挺强。在微积分出现之前，它是分析学的基石之一。在微积分还没诞生的年代，这个定理就是计算体积的唯一正解。
后来几何学变成了代数，变成了庞加莱代数，变成了泛函分析。但那个“体积除以 3"的直觉，一直保留了下来。 有时候你会认定，要是不用这个定理，承认这一点有啥意义？承认这一点，你能把更多的难题从“算体积”变成“找通法”。
比方说，既然体积能够看作连通的底面积和高度的组合，那能不能把这个难题推广到其他维度？能不能用类似的分数比来算更高维度的体积？别看未来数学会发展出新的工具，比如辛几何、代数拓扑，但那个“分”的思想，那个“比例”的概念，会一直流淌在数学的血脉里。 故此说，立体几何的定理，实际上不是啥高高在上的玄学。它们只是人类为了描述这个世界关于“空间”的直觉，总结出来的一套操作手册。
没有它，世界上就没有严谨的测量，就没有确定的答案，就连连最好办的“一个物体占据了多少空间”这个概念都变得不清楚不清。 最终再啰嗦两句。别总想着背公式。要试着去想象那个几何体。想象它是由无数个细小单位拼成的。去触摸那个顶点的棱角，去感受那面的曲率。当你真正亲自去构建这个模型的时候，你会明白，那个 $1/3$ 和那个 $sqrt{}$ 里的东西，不是魔术，而是你看到的那些几何关系自然流淌出来的规律。
这就是数学的魅力，也是立体几何真正的教育意义所在。别怕难，别嫌繁琐，出于只有真正亲手摸上去、算出来过，那些定理才算确实“降维打击”了，才算真正归于你自己的。