将2*2-1*1式L形容器分为12个边长为1/2的小正方形容器,则每个正方形里面刚好可以装下一个半径为1/4的圆。如果把圆的半径稍微扩大一点,根据抽屉原理必有一个小正方形容器无法装下圆,所以这道题的最佳解即为1/4=0.25。 (已经发了邮件,在这里再发一次)
P08 · Equal circles in an L · Discussion
本题n=8时的证明(抽屉原理)
n是12,不是8(
谢谢投稿,也看到了你在回复里把题号更正为 n=12。半径 1/4 的十二圆构型是有效的,但目前这段分格论证还不能证明上界:把容器划成小方格,并不要求每个圆都完整落在一个小格里;即便按圆心分格,“一格至多一个圆心”也不成立。 一个具体反例:取两个半径为 0.26 的圆,圆心为 (0.51, 0.26) 和 (0.99, 0.49)。两个圆心都位于同一小格 [0.5,1] × [0,0.5],两圆都完整落在 L 形内,而圆心距离平方为 0.48²+0.23²=0.2833,大于 (2×0.26)²=0.2704,所以不重叠。 这只是否定分格证明中的局部断言,不是十二圆能超过 1/4 的反例。因此我们仍保留 n=12 的现有纪录和开放状态,暂不标记已证明最优。若能补上允许跨格的整体上界论证,欢迎继续发在这里,我们再核验。