具有三种棱长的四面体种类探索

1、具有三种棱长的四面体种类探索蔡鼎尧（B01151128） 指导老师：林磊【摘 要】本文由1999年的一道高考填空题引入，探索了具有三种棱长的四面体种类。文中就3种棱长的个数分类讨论了三种棱长所构成的四面体的种类，且在各个分类下分别讨论构成四面体的条件，并研究了普遍的四面体体积公式以及各个分类下的四面体体积公式。【关键词】四面体，三种棱长，体积在1999年的高考题中有一道填空题：“若四面体各棱长是1或2，且该四面体不是正四面体，则其体积是_（只需写出一个可能的值）”。文1已经完美解决了由这道题拓展出的“具有两种棱长的四面体的种类”问题。本文尝试讨论一下“具有三种棱长的四面体”的问题。1. 四面体

2、种类的探索根据三种不同棱长a、b、c的棱的数量，可以分为三大类（其中a、b互不相等）。一、有1根棱长为a，一根棱长为b，4根棱长为c的情况：在这种情况下，可以分为以下两小类（）棱长为a和棱长为b的两根棱异面。如图（1），其中= b，= a，其余棱长均为c。图（1）因为 ABC与 APC 是可构造的，所以a,。下面证明对于a，是成立的一个充要条件。必要性证明：a，对于任一已确定的a和任一确定的c，实际上已经确定了四面体P-ABC的两个面：ABC以及PBC。而= b，因为可以构成，所以由ABC和PBC所夹的二面角，又因为=为固定的值，所以= b是的一个单调增函数，b=f(), 。f=2=（如图（2

3、），f()=2=2 ，f(0)=0。所以。图（2） 图（3）充分性证明：因为a，所以ABC和PBC都存在且共边BC（如图（3）。 取BC中点O，连接AO、PO，因为PBC和ABC都是等腰三角形，又因为PB=AB=PC=AC，且共边BC，所以ABCPBC，所以,都满足构成PAO，和PAC的条件。又因为B、O、C在同一线段BC上且不是重合的点，所以四面体P-ABC是可构造的。（）棱长为a和棱长为b的两根棱共面。对于这种情况我们这里只进行了定性分析。图（4）我们猜测的充要条件是：若（其中= b，=c）可以构成，则以点C作为球心，=c作为半径的半球；ABC在半球的底面上，另一个点P一定在这个半球上（底

4、面除外）（如图（4）。必要性证明：若符合要求的P-ABC存在，即=c， = a。以点C为球心，作如前面要求的半球。则因为=半径c，所以显然P点在除底面外的半球上。充分性证明：以点C为球心作如前面要求的半球。点A和点B在半球底面圆C上，任取半球除底面外的一点P，连接PA，PB，PC。因为等边ABC存在，所以P与ABC不在同一平面，且连接了PA，PB，PC，所以存在四面体P-ABC。 在此四面体中， = b， = a，=c，所以符合要求的四面体P-ABC存在，证毕。二、有1根棱长为a，2根棱长为b，3根棱长为c的情况： 在这种情况下，可以分为以下四小类。图（5）（）3根棱长为c的棱共面（如图（5）

5、。取PAB分析，因为PAB是等腰三角形，其中两腰=b，底=c，所以我们据此可以推出b。对于给定c，当且仅当时，符合要求的四面体P-ABC存在。图（6）必要性证明：证明方法类似前面（）。对于，因为c已确定，对于任取一定b，所以四面体中的两个面PAB和CAB已确定。的取值范围的确定取决于PAB和CAB所在平面所夹的两角的值，即=a=。a是的单调增函数（在前一（）中已经说明）。并且可以得到， ，。所以 。充分性证明：对于给定C，b,使得POC存在，PAC和PBC也存在。因为PAB、ACB存在，POC、PAC和PBC也存在，且点A、O、B在同一线段AB上，所以存在四面体P-ABC，证毕。（）3根棱长为

6、c的棱共点（不妨放在点P）。 图（7） 图（8）对于这种情况，我们也只进行了定性的讨论。构建如图（8），以P为球心， =c为半径的半球，充要条件是：当CAB是以AC=BC=b为腰，不过球心P的球内接等腰三角形时，符合要求的四面体P-ABC存在。必要性证明：任取一符合条件的四面体P-ABC，把顶点P放在前面构造的半球中。因为=c，所以A、B、C三点都在半球上。又因为，所以CAB是半球的内接等腰三角形。充分性证明：CAB是半球的内接等腰三角形，且，因为P是球心，所以。又因为P不在CAB所在平面，所以存在，且且，所以存在符合要求的四面体P-ABC。（）在中，（如图（9）a）。图（9）a（）在四面体P

7、-ABC中，（如图（9）b）。图（9）b在这种两情况下讨论四面体存在的充要条件比较困难，但找到一些特殊的充分必要条件还是可以的。三、棱长为a、b、c的棱各为2根的情况：在这种条件下，可分为三小类。（）3组各自等长的棱互相异面（如图（10）。图（10）不妨设其中，。四面体P-ABC的四个面是由四个全等的三角形构成。共面的三条棱长是互不相同的。我们先分析一下任意两个相邻的面。不妨取ABC和PAC，它们共边于AC，可绕AC为轴旋转，当两三角形所夹的角不为0和时，连接PB可得一四面体P-ABC，若则此四面体P-ABC为所求的符合要求的四面体。图（11）如何才能使=c呢？我们继续分析。是PAC和ABC所

8、夹的两面角的一个单调增函数（理由同前一（）必要性的证明），当（0，）。我们现在来分析当=，即最大时的情况。此时PAC和ABC在同一平面，并不构成四面体。因为PACABC，所以四面形ABCP是平行四面形（如图（11）。在ABC中AC是ABC所对的边，在APB中，PB是PAB所对的角，因为，PABABC=180，根据两边相等，对应角越大，第三边也越大可知，当ABC90时，。而此时的是时的最大值。所以，若要符合条件P-ABC成立，ABC必须要是锐角。而我们是任意取的两个面，所以四个全等的三角形必须是锐角。这是关于符合要求P-ABC存在的充要条件：组成P-ABC的四个面都必须是全等的四个锐角三角形的必

9、要性证明。接下来证明其充分性： 图（12） 图（13）充分性证明：取任一锐角三角形ABC，作为一共边于AC的全等ABC的。其中，。是ABC与CPA所夹的的单调增函数，。因为锐角三角形ABC和锐角三角形CPA可构造，所以如图（13），。如图（12）因为，又因为两边相等，夹角越大，对应边也越长，所以。因为，所以，使得符合要求的存在。（）棱长相同的3组棱中有一组棱相互异面，另两组共面（如图（14）。不妨设棱长为b 的那组棱相互异面。图（14），在确定了a后，由PAB可得。所以，我们可以得到符合条件的四面体P-ABC存在的充要条件是：，。 图（15）a 图（15）b必要性证明：因为符合要求的四面体P-

10、ABC可构造，取AB的中点O，分别连接PO，CO如图（15）a，因为，所以POAB，COAB。将垂直且平分AB的平面POC单独拿出来研究，如，因为，所以C一定在以P为圆心，在上的圆P上。在ACO中可明显看出已定，取决于。由此，我们可以得到 ， ， ，所以， ，所以。在时（如图（15）c）。图（15）c因为，所以，所以，在同一三角形内，大角对大边，所以。所以在时，因为，有平方，所以的正负不影响计算结果，所以。必要性得证。充分性证明：因为 ，。构造等腰三角形ABC如，其中，取AB中点O，连接PO，CO。图（15）d所以，所以。因为，O为AB中点，所以POAB，COAB，点P、O、C共面。同样把平面

11、PCO单独拿出来看。（如图（15）e）图（15）e，因为，可见的取值范围是取值范围的正比例函数，所以取代入和，可得： ，等号在点C、P、O共线时取到。所以只要点C、P、O不共线，可得的取值范围，所以存在，可使得符合要求的四面体P-ABC存在。充分性得证。（）三组棱长相等的棱各自共面（如图（16）。其中，对于这种情况下四面体成立的充要条件，本文未能归纳出来。图（16）2. 四面体面积的探索在前面的讨论中，没有讨论关于体积的问题。下面介绍一个通用的体积公式，在知道6根棱长的情况下求体积。该公式的推导的基本思想来源于文4。建立空间坐标系，把四面体P-ABC的顶点P置于原点O的位置，设。如图并设四面体

12、的6根棱分别为。图（17）可知，=，两边平方可得：= =（*），。（根据余弦定理）。同理， 代回（*）式得到：=这就是已知6根棱长的情况下的通用体积公式。我们把这个公式用前面分类讨论的三大情况代入，就得到了这三大情况下的体积公式。一、 有1根棱长为a，一根棱长为b，4根棱长为c的情况：（）棱长为a和棱长为b的两根棱异面。不妨取 a=，b=，满足异面。 = （）棱长为a和棱长为b的两根棱共面。a=，b=二、有1根棱长为a，2根棱长为b，3根棱长为c的情况：（）3根棱长为c的棱共面。不妨设， 。（）3根棱长为c的棱共点P。不妨设，。（）在四面体P-ABC中，（如图（9）a）。不妨设，。（）在四面体

13、P-ABC中，（如图（9）b）。不妨设，。 三、棱长为a、b、c的棱各为2根的情况：（）三组等长的棱各自异面（如图（10）。不妨设，。（）棱长相同的棱有一组异面（如图（14）。不妨设，。=（）三组等长的棱各自共面（如图（16）。不妨设，。=以上就是全部三种棱长构成的四面体的体积。参考文献1 林磊，探索具有两种棱长的四面体的种类，数学教学, 2000年第5期。2 蔡聪明，毕氏定理的两个推广，科学月刊, 第25卷第12期。3 张雪明，立体几何巧用图：识图作图析图解图，中国致公出版社，2002年。4 On the tetrahedron with three type lengths of edges【Abstract】The problem in this paper inducts from a fill blanks question of the college entrance exam in 1999. We explore the tetrahedron with three type lengths of edges. We discuss the kinds of the tetrahedron with three type lengths of edg