正五边形装入正方形 · n = 16
把 n 个边长为 1 的正五边形装入正方形，允许接触但内部不能重叠，最小化容器正方形边长。
子题n = 16
目标最小化 容器正方形边长
已知最好（未证明）6.06452来源精度区间：6.06452–6.06453（区间内视为追平）本站展示证书 6.064520047Erich Friedman 编录；Found by Timo Berthold et al in April 2026. 原式：s = 6.06452+。
严格定义
- 容器编辑器及证书统一缩放到单位正方形 [0,1]²；仅是坐标约定，分数按文献的单位图形计算。边界接触允许。
- 提交提交 {radius, placements:[{x,y,turn},…]}，每个数用最多九位小数的十进制字符串。x、y 是中心坐标；圆的 turn 必须为 0，多边形 turn = tan(θ/2)。坐标和 turn 限于 ±4，0 < radius ≤ 4。
- 约束恰好 n 个同样大的图形，完整位于容器内，任意两图形内部不重叠。多边形可独立旋转，不限直角。
- 精度输入小数精确表示有理数；正多边形的顶点用代数数定义，不截断成小数。可行性验算没有浮点容差。有限小数证书不等于连续最优性证明。
- 目标容器正方形边长 = 1/(2 sin(π/5) r)，越小越好。页面、排行榜和外部纪录使用相同单位，自动计算，无需手工换算。
