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