zzzcy 的纪录(面积 1.996)找到了一个巧妙的构造:两个单位正方形相距 17,中间用一条宽度几乎为零的细线相连。下段的上沿和上段的下沿都落在直线 y = 1 上,所以这条细线可以贴着 y = 1 滑过整个走廊。整个过程是:先稍微倾斜,让左边的方块经竖井升到上段;再沿 y = 1 平移;最后倾斜回来,让右边的方块也升上去。用这种办法,面积可以任意接近 2。 由于最优解退化成"用细线连起来的几块方块",d = 0 和 d = 0.1 两档将在第 7 周结算后(2026-10-18 04:00 UTC)冻结,已有纪录全部保留。但数学问题本身仍然有意思: d = 0 时,面积的上确界是否恰好等于 2?能否证明不存在面积超过 2 的沙发(包括带旋转的运动)? 上确界能否取到?还是只能无限逼近? d > 0 时,这类"细线"构造最多能带来多少面积?上确界 S(d) 随 d 怎样变化?d = 0.1 的纪录是 1.758。 一个可能的切入点:沙发内部的每一点都必须从开线段 (0,1)–(1,1) 这道长 1 的"门"向上穿过。整体上升时,仍在下段的方块会顶到天花板,已在上段的方块会顶到屋顶。 欢迎在这里讨论。严格证明经审核采纳后,按现有规则记 +2 证明分。
P88 · 曲折走廊里的沙发 · 讨论