技术问询：边长为1/n的正方形能否填充进1×ζ(2)矩形？

先明确背景：边长依次为1、1/2、1/3、1/4……的正方形总面积为π²/6（也就是黎曼ζ函数的ζ(2)值）。

核心问题 #

这类正方形能否完全铺砌进1×π²/6的矩形中？

关于你的贪心算法尝试 #

你提到已经用简单贪心算法完成了前10¹⁰个正方形的填充，还设计了splinter（碎块）机制来管理剩余可用空间——初始只有一个对应整个矩形的碎块，程序追踪每个碎块的宽和长，通过拆分碎块来适配后续正方形。这种思路是铺砌问题里非常务实的工程化尝试，10¹⁰的规模已经能提供极强的实证支撑：至少在极大数量的正方形下，这种策略是可行的。

但必须明确：有限数量的填充成功，还不能等同于无穷序列的完全铺砌证明。这个问题本质上是组合几何里的开放性问题之一——面积匹配只是必要条件，几何空间的兼容性才是难点：无穷小的正方形能不能“填满”所有剩余的缝隙？

从理论方向来看，要完成严格证明，可能需要两种路径：

• 证明你所用的贪心算法的剩余空间会随着正方形数量增加收敛到零；
• 设计一种更结构化的铺砌策略，能系统性地为每个正方形分配位置，同时保证没有空间浪费。

内容的提问来源于stack exchange，提问作者Clive Tooth