三棱锥六条棱线的垂直配对数
将三棱锥 各棱所在的 条直线每两条组成一对。设这些直线对中有 对 互相垂直,则正整数 的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
“每两条组成一对”共有对。
把垂直对分为有公共顶点的相邻棱与没有公共顶点的对棱。
每一对相邻棱属于唯一的一个三角形面,每个面至多有一个直角,故相邻棱的垂直对至多组。 对棱共有组。若至多组对棱垂直,则总数至多。
若组对棱全部垂直,又有一对相邻棱垂直,不妨记, 令。 由及,有
结合,可知两两垂直。 因此在处恰有组相邻棱垂直。在处的三种内积分别为 ,均为正;在处同理。 所以此时相邻棱垂直恰有组,加对棱组,共组。 若没有相邻棱垂直,总数仅,上界仍成立。
取, 处三棱两两垂直,三组对棱也分别垂直,达到。 故。
每个相邻棱对只属于一个三角形面,未重复计数;异面直线的垂直按方向向量定义,构造非退化。
统计棱线关系时先区分相邻棱和对棱;有公共顶点的关系可以转到三角形面,再检查各组条件能否同时达到。
相邻棱垂直对每个三角形面至多一组,共至多4组;对棱共3组。若三组对棱全垂直且存在一组相邻棱垂直,则该顶点三棱两两垂直,其余顶点无直角,合计恰为6;若对棱至多两组,总数也至多6。直角三棱锥达到6。
已记下,谢谢!