(8 分)一个棱长为 的正四面体纸盒内放一个小正四面体,若小正四面体可以在纸盒内任意转动,则小正四面体棱长的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
以外接球放入纸盒内切球给充分性;必要性选最不利的反向顶点朝向,把四个面约束相加,可消掉任何平移。
大正四面体边长六,内切球半径为 。设小正四面体边长 ,外接球半径为 。若 ,把两中心重合,则小四面体在其外接球内,而此球在大四面体内,因此任何旋转都可进行。反过来,取小四面体的四顶点分别朝向大四面体四个面的外法向;这是正四面体可经旋转取得的反向顶点组。设四单位外法向为 ,有 。即使该朝向允许任意平移 ,内含也要求 ,四式相加得 。所以 ,且二能够达到,。
必要性不把“外接球在盒内”作为未经证明的所有放置条件,而是选一个必须允许的朝向,以四个面约束严格推出。正四面体的反向顶点组与原顶点组可由正交旋转互换,例如标准交错符号模型绕一坐标轴转90度。
任意旋转要求往往由一个最不利朝向给必要界,再由同心包球构造给充分性。
任意旋转要求用最不利朝向的四面约束消平移给必要界,再以同心包球构造证明全部旋转可行。
已记下,谢谢!