从页面公开的 n=7 圆心出发,固定七个圆心,在 1e-9 整数网格上枚举三角形顶点附近各 ±50 格。把底边写为 (0,0)–(W,0)、顶点写为 (Cx,H),逐项用整数条件 cross²≥|edge|²·10^18 和圆心距平方≥4·10^18 筛选。最优枚举点为 W=10.352945763、Cx=5.176472882、H=6.029622567,即相对原证书将 W、H 各缩短 1e-9;全部圆心不变。两倍面积整数从 62424355413541456188 降至 62424355407511833621。
P66 · Unit circles in a minimum-area triangle · Discussion