4. 四面体的 个二面角中钝角个数最多为( )。
先独立尝试,再展开工具说明与想法来源。
面积法向量等于面的面积乘单位外法向量;封闭四面体四个面积法向量之和为零,可由与三条独立棱的数量积及体积公式证明。
想法从哪来:平面图中的二面角很难直接比较,先把每个面换成朝外的法向量;内二面角与两外法向量夹角互补,钝角条件就成了数量积为正。单靠四个任意向量不能说明问题,面面积权重提供关键约束:四个面积法向量的和为零。于是任取一个向量,与其余三个的数量积之和为负,每个点都必须有负配对。若正配对太多,少数负配对只能以特定方式覆盖四点,再把两组和作数量积,就与向量总和为零矛盾。上界以后还需真的造一个非退化四面体,逐面核外向法线,避免用任意向量图冒充空间可实现构型。
钝内二面角对应两相邻面的外法向量夹锐角。把外法向量乘以面面积后,四个向量的和为零;这个整体约束可以排除四个以上的钝二面角。最后另给一个达到三个的四面体。
设四面体体积为 。对每个面取单位外法向量,再乘该面的面积,记所得四个非零向量为 ,下标表示该面所对的顶点。 先证明
考察向量 。它从顶点 指向对面 ,故沿该面的外向法线投影为正的对应高;从面 指向内侧顶点 ,沿该面的外向法线投影为负。因此由棱锥体积公式,
其余两面含有棱 ,对应点积均为零。因此四向量之和与 垂直。同理它与 都垂直;这三个向量线性无关,遂得(1)。
相邻两面的内二面角为 时,两外法向量的夹角为 ,所以该内二面角钝当且仅当相应两面积法向量的点积为正。 对任一 ,由(1)有
故它与另外三个向量中至少一个的点积为负。 若六个两两点积中至少四个为正,则剩下至多两个不为正的配对必须覆盖四个标号。因此只能恰好四个为正,另外两个负配对互不相交。重标号后可设负配对为 与 ,其余四个跨组点积都严格为正。于是
但(1)使左边等于 ,矛盾。故钝二面角至多三个。
为证明此上界可达,取
这是底面等边且高度为 的非退化四面体。三个侧面的外向法向量可取
相应平面为 ,四面体位于不超过 的一侧,故这些方向确为外向。底面的外法向量可取 。三个侧面法向量两两点积都为 ,而 。所以恰有三个钝二面角。 所求最大个数为 ,选 A。
面积法向量闭合关系中的方向可由具体例子复核:上述构造中,对面 的外向法向量为 ,而 ,两者点积为 ,与正文中的正号一致。上界论证允许其余二面角为直角,没有把零点积算作钝角;构造的六个点积均非零,确实达到三个。
角的个数问题可转成外法向量的点积符号问题。面积权重带来的零和关系约束所有配对,上界证明之后还需用真实的非退化构型验证能够达到。
把钝内二面角转成外法向量点积为正,再用面积加权法向量零和限制配对数量;上界之后还需真实四面体达到它。
已记下,谢谢!