现有一个能容纳 10 个半径为 的小球的封闭正四面体容器,则该容器棱长最小值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
三维五点必有仿射依赖:给每个三维坐标末尾添一个1,得到五个四维向量,它们线性相关,故存在不全零系数,其和为零、加权原向量和也为零。若各交叉数量积严格负,分正负系数移项后,同一向量的模平方会等于负数,矛盾。
想法从哪来:先把球转为球心:距四个面的距离都至少为半径,故球心可行域是原正四面体四面同时内缩后的较小正四面体。问题于是变成放十个两两距离至少二的点。试选四顶点加六棱中点会提示一个可达尺寸,但对称构造只能给上界,必须另外排除更小尺寸。可把小四面体分成四个角区与中央八面体;尺寸太小时,每角区直径不足二只容一个球心,中央又被一个小球包住。再用三维仿射依赖证明这个小球里放不下五个所需间距的点,就能给总数矛盾。最后按内缩量把球心尺寸还原成容器棱长。
先把实体球内含化为球心所在的内缩四面体;必要下界按四个角区和中央八面体计数,不能只给规则十球构造。
设容器棱长为 。单位球心到四个面都至少为一,所以球心可行域是四面各内缩一的同心正四面体。原内切半径为 ,故内缩后的棱长为 ;能容十球必有 。先证若 不可能。在球心四面体中,把重心坐标至少二分之一的四个角区分别取出;每区是棱长 的小正四面体,直径小于二,故至多含一个球心。其余部分是六棱中点围成的中央正八面体,它包含在半径 的球内。引理:三维半径 的球内任意五点必有两点距离不超过 。若不然,以球心为原点的任意两点向量内积都严格负;五点在三维有非平凡仿射依赖 。把正负系数移到两侧,得到同一向量 ;其平方是两侧正权交叉内积之和,严格为负,矛盾。由引理,中央区至多容四个间距至少二的球心;加四角至多八个,更不可能容十个。故 。反之取 ,将球心放在该正四面体的四顶点与六棱中点,任意两心距离不少于二,且所有心到原容器各面至少一,十单位球全部可放入。因此 。
四角与中央区边界可任意固定归类,分区覆盖全部球心,重复边界不会增加计数。阈值 时中点间距二允许实体球相切,构造完全内含。若容器边不超过 ,连十个不同单位球心的可行域都没有,不是遗漏。
装球最小容器须同时有任意构型的不可行下界与真实达到构造;内缩球心域和五点球引理把两者接起来。
球心域须先内缩容器,再把任意配置分四角区与中央八面体,以三维五点仿射依赖距离引理证明全局下界,最后反构十球同时达到。
已记下,谢谢!