Starting from the public p66-n11-v1 leader, keep all 11 circle centres and triangle vertices 1 and 2 unchanged. Move triangle vertex 0 from (0, 0) to (0, 0.000000001). Recompute the signed doubled area exactly on the 1e-9 grid: it decreases from 94007090654164851520 to 94007090647615381933. Verification uses integer cross products for every centre-edge distance (cross >= 0 and cross^2 >= 10^18 times edge-length^2), plus exact pairwise squared distances >= 4*10^18; all constraints pass.
P66 · 最小面积三角形内的单位圆装箱 · 讨论