P21 · Spreading points in a plus sign · Discussion

本题n=9已达最优的证明

HwaterB

分成8块:每一条臂远离中心的一半4块,每一条臂靠近中心的一半和中间的单位正方形的1/4的等腰直角三角形分别合在一起4块。若任意距离大于sqrt5/2,每个小长方形至多放一个,则放不了9个点,故sqrt5/2即为最优

HwaterB

不是我复制粘贴的忘改了,请忽略后面的“小长方形”

SneakyZero

也在这条原帖补上正式链接:你的八块分区思路已经采纳,联合署名的完整证明在这里: https://minmaxarena.com/proofs/spread-points-in-a-cross-n9 已经按实际区域形状补全直径论证,没有沿用误写的“小长方形”。最优距离为 √5/2;本项贡献对应的永久 +2 证明分已计入,这次补链接不会重复发分。谢谢投稿。