中学数学研究-上030211波尔约——盖尔文定理与2002年高考（文）第22题.docVIP

资料编号 FORMTEXT 14584 FORMTEXT 立体几何 FORMTEXT FORMTEXT 戴再平发表在 FORMTEXT 上030211 上属于 FORMTEXT 高考 、 FORMTEXT 考试 、 FORMTEXT 探究 题为《 FORMTEXT 波尔约——盖尔文定理与2002年高考（文）第22题》 310012浙江教育学院戴再平 2002年全国高考(文)第22题(文理合卷第21题)： ⑴给出两块相同的正三角形纸片(如图1、图2)，要求用其中一块剪拼成一个正三棱锥模型，另一块剪拼成一个正三棱柱模型，使它们的全面积都与原三角形的面积相等，请设计一种剪拼方法，分别用虚线标示在图1、图2中，并作简要说明； (l) 试比较你剪拼的正三棱锥与正三棱柱的体积的大小； (m) (本小题为附加题,如果答案正确，加4分，但全卷总分不超过150分.） 如果给出的是一块任意三角形的纸片(如图3)，要求剪拼成一个直三棱柱模型，使它的全面积与原三角形的面积相等,请设计一种剪拼方法，分别用虚线标示在图3中，并作简要说明. 该题是一道典型的开放性题，但考试管理部门所提供的“参考答案”，只给出唯一答案，作为封闭题处理，因此引起了不少争议.笔者曾接到过多个咨询电话，据不完全统计至少已有7篇杂志上文章[1]、[2]、[3]、[4]、[5]、[6]、[7]讨论过这个题目.笔者认为这7篇文章都提出了一些有益的看法，或补充了新的解法，特别是文[7]，指出了该题有无穷多种解法.但是作为问题在理论上的解决，均尚未到位.这里谈谈笔者对本题的看法，主要通过其中的第(I)小题来谈. ―、波尔约盖尔文定理 第⑴小题本质上等同于一个正三角形怎样剪拼成一个正三棱锥或一个正三棱柱的表面展开图.为探讨方便，我们先给出“两个图形组成相等”的概念：如果用一定的方法把两个平面图形中的一个剖分成有限个部分以后，又可以用其他方法配置这些部分，以组成这两个图形中的另一个，那么这两个图形叫做组成相等.显然有:任意两个组成相等的多边形面积相等.一个逆命题自然会提出来:任意两个面积相等的多边形是否组成相等？匈牙利数学家W.F.波尔约（Bolyai,Wolfgang.Farkas;1832年)与德国数学爱好者盖尔文(Gerwien;1833年)几乎同时给出这个命题的肯定回答.下面给出波尔约一盖尔文定理的简要证明：先考虑几个辅助定理： 引理1如果图形A和图形B组成相等，而图形B和图形C组成相等,则图形A和图形C组成相等(证明略). 波尔约一盖尔文定理 两个面积相等的多边形组成相等. 证明根据引理5,两个多边形中的每一个和一个矩形组成相等，因而得到面积相等的两个矩形，因此它们组成相等(引理4).由引理 1，所以最初的两个多边形组成相等.[8] 有了这个定理，我们立即可得到：第⑴小题存在无穷多个解的结论.因为设正三角形的边长为2a，我们可任意剪出1个(或剖分拼成2个)边长小于(即面积小于原正三角形的一半)的正三角形，作为正三棱锥(或正三棱柱)的底面，把余下的部分的多边形，经适当剖分拼成正三棱锥(或正三棱柱)的3个侧面.所以第(I)小题有无穷多个解.同样地，第(m)小题也有无穷多个解. 这里不能不提到的是，波尔约一盖尔文定理直接引发了一个著名的猜想，即希尔伯特1900年在巴黎国际数学家代表会上的演讲《数学问题》中所提出的23问题中的第3问题:“两个等高等底的四面体，我们不能将它们剖分为全等的四面体，同时也不能拼补上全等的四面体使形成两个本身可以剖分为全等部分的四面体.”[9]这一猜想在希尔伯特提出的当年，即由其学生戴恩(H.Dehn)予以肯定的解决. 二、作为试题的构造性解法 作为高考试题，我们需要给出构造性的解法，当然它尽可能应是简单的.下面以第⑴小题中的正三棱锥剪拼为例，说明其解法结论的个数的无穷性.众所周知，正三角形可通过边上的等分点作相应边的平行线剖分为n2个小正三角形，当n=2时，就可得到“参考答案”所给出的解答.我们考虑n二3时，正三角形可剖分为9个小正三角形，如图8(1),现在我们取其中的1个作为正三棱锥的底面，将余下的8个经过适当的剖分拼成三个正三棱锥的侧面，办法是：先将每一个小正三角形剖分拼成矩形(图8(2))，再将这些矩形连成一长条(仍是矩形)，将这长条矩形等分为三部分(图8(3)),最后将每一部分剖分拼成一个等腰三角形(图8(4))，这三个全等的等腰三角形就是正三棱锥的侧面. 因为正三角形一边的等分办法有无穷多种，所以第(I)小题的解法和结论有无穷多个.其实不仅通过将正三角形一边的等分办法可说明第⑴小题的解法和结论有无穷多个，将正三 角形一边作有理分割，甚至作无理分割，都可说明第(I)小题的解法和结论有无穷多个.其约束条件是:如果正三