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