来源:《量子杂志》
17世纪,鲁珀特王子证明了立方体可被钻出足够大的通道,让另一个立方体穿过,此特性后被命名为“鲁珀特性”。数百年来,数学家发现许多凸多面体(如四面体、十二面体)均具有该特性,甚至猜想所有凸多面体皆满足。然而,奥地利数学家斯坦宁格与尤尔凯维奇近日构造出拥有90个顶点、152个面的“无珀特体”,并通过理论证明与1800万次计算机模拟,严格证实无论以任何角度钻孔,均无法让另一个相同立体穿过。这一发现打破了长期猜想,并开创了结合几何理论与计算验证的新方法。
来源:《量子杂志》
17世纪,鲁珀特王子证明了立方体可被钻出足够大的通道,让另一个立方体穿过,此特性后被命名为“鲁珀特性”。数百年来,数学家发现许多凸多面体(如四面体、十二面体)均具有该特性,甚至猜想所有凸多面体皆满足。然而,奥地利数学家斯坦宁格与尤尔凯维奇近日构造出拥有90个顶点、152个面的“无珀特体”,并通过理论证明与1800万次计算机模拟,严格证实无论以任何角度钻孔,均无法让另一个相同立体穿过。这一发现打破了长期猜想,并开创了结合几何理论与计算验证的新方法。