最优柱体及其制作书稿.docVIP

第三章 初等几何模型 第三节 最优柱体及其制作 日常生活中，我们经常看到许多无盖或有盖的柱体（含棱柱与圆柱）容器。这些柱体，我们希望在一定的条件下，其体积或表面积达到最优（最大或最小），我们把这类柱体称作最优柱体。关于最优柱体，主要有两类问题，一是在柱体表面积定的情况下，体积最大的柱体其形状与大小如何；二是在体积定情况下，表面积最小的柱体其形状与大小如何。另外，从制作的角度来看，给定一平面封闭图形，是否可以在尺规作图，即通常所说的图形割补的情况下，制最优柱体呢？哪些平面图形是可以的，哪些是不可以的？ 1．表面积定体积最大的柱体 柱体容器有些是无盖的（即上底开着），有些是有盖的（即封闭的）。以下我们研究有盖的最优柱体，然后把相关结论运用到无盖柱体。 1.1 表面积定体积最大的n棱柱是正n棱柱 不妨设表面积为定值s体积最大的n棱柱（底面是n边形，且n≥3）是棱柱C，以下证明分两步来棱柱C必是正n棱柱。 首先证明棱柱C是直棱柱。用反证法。假设棱柱C不是直棱柱，即棱柱C是斜棱柱棱柱C的侧面展开图是一个非矩形的平行四边形。构造一个底面与棱柱C的底面全等且表面积仍为s的直棱柱A，则直棱柱A的侧面积与棱柱C的侧面积相等。由于棱柱的侧面展开图是一个平行四边形，其中一边是底面周长，因此直棱柱A的侧面展开图的另一边（即直棱柱A的高）与棱柱C的斜高相等。又由假设棱柱C是斜棱柱，知其高小于其斜高，所以直棱柱A的体积大于棱柱C的体积。这与棱柱C是体积最大的矛盾。所以棱柱C必是直棱柱。 然后证明棱柱C是正棱柱。仍用反证法。假设棱柱C的底面n边形P不是正n边形，将它的底面改成一个与其等面积的正n边形Q，由等周定理，知正n边形Q的周长比n边形P周长小。作一个正棱柱B，其表面积为s，底为正n边形Q，则棱柱B与棱柱C的侧面积相等，于是正棱柱B的高大于棱柱C的高，故正棱柱B的体积大于棱柱C的体积，这与棱柱C是体积最大的矛盾，所以棱柱C必是正棱柱。 综上所述，表面积定体积最大的n棱柱是正n棱柱。 2 表面积定体积最大的n棱柱的大小 设表面积为定值s，体积最大的n棱柱是正n棱柱C，其底面边长为a，高为h，体积为v。=k1a2，=2k1a2=2k1a2， 而（其中k1，k2，k3均为大于0的常数）， 故当=2k1a2，即时，正n棱柱C也就是说，表面积为定值s体积最大的有盖正n棱柱C，其底面积为，侧面积为。 3 表面积定体积最大的有盖圆柱的大小 设该圆柱的表面积为定值s，底半径为r，高为h，则体积为，。由算术-几何平均值不等式，得 =， 当且仅当，即h=2r时取等号，此时体积v最大。 由，得体积最大的圆柱的底面积=，侧面积为。 表面积定表面积为定值s体积最大的正n棱柱C，其底面积侧面积正n棱柱C棱柱C棱柱C表面积为定值表面积定对于表面积定无盖柱体，用两个相同的柱体，沿无盖的一面拼成一个是的有盖柱体。是的有盖柱体n棱柱，侧面积为的正n棱柱柱，侧面积为的圆柱表面积定n棱柱表面积为定值定表面积表面积定体积最大的n棱柱定表面积n棱柱是正n棱柱n棱柱、底面积和表面积s有如下关系：s=+2，而（其中k是常数），因此，当柱体（正n棱柱，即该柱体的侧面积是底面积4倍的时候，该柱体的表面积最小。而且，在同为体积为定表面积n棱柱为定值表面积为定值表面积柱体的制作 用一已知的平面封闭图形P制作体积最大的柱体C，其问题本质在于将图形P借助于直尺圆规剪拼成柱体C的表面展开图。为探讨方便，我们先给出“两个图形组成相等”的概念：用尺规作图剪拼的方法，把两个平面图形中的一个剖分成有限个部分以后，将这些部分重新配置剪拼，组成另一个图形，那么这两个图形叫组成相等。 波尔约一盖尔文定理 显然，任意两个组成相等的平面图形面积相等。自然，人们会它的逆命题：任意两个面积相等的平面封闭图形组成相等。由于平面封闭图形范围太宽泛，我们很容易举出一个逆命题不成立的反例：面积等的圆与正方形不能组成相等。因为这实际上是已被人们证明了的三大几何作图不能问题之一——化圆为方。但是，如果我们对平面图形进行一些限制，就可以得到一个非常著名的定理，这就是由匈牙利数学家W.F.波尔约(1832年)与德国数学爱好者盖尔文(1833年)几乎同时发现的一个命题——由于组成相等具有对称性（）和传递性（），因此波尔约一盖尔文定理证明的关键在于能否使一个多边形与一个特殊的平面图形组成相等。这里特殊的平面图形有两种矩形正方形思路证明思路一：略证：假设AB是平行四边形ABCD与平行四边形ABFE的公共边，如图2，移动标记数码相同的三角形或平行四边形，就得到平行四边形ABCD与平行四边形ABFE 组成相等。 引理3：面积相等的两个矩形组成相等。 略证：假设ABCD与EFGH是两个面积相等的矩形，如图3，AB是这两个矩形中AB、BC、EF、FG这四条边中的最