把所有长度换成倒数就交换了 aaa 边与单位边的角色。
当 k=4k=4k=4 时交换两种边长,再对 k=2k=2k=2 的结果作相似缩放。条件变为 1/a<2+31/a<\sqrt{2+\sqrt3}1/a<2+3,等价于 a>1/2+3=2−3a>1/\sqrt{2+\sqrt3}=\sqrt{2-\sqrt3}a>1/2+3=2−3。严格不等号排除了共面退化四面体。