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