P66 · Unit circles in a minimum-area triangle · Discussion

P66 · n = 40 · Solver note / 求解记录

邱仲普

Start from the public p66-n40 leader. Keep all 40 centers and triangle vertices 1 and 2 unchanged; move triangle vertex 0 from (0,0) to (0,1e-9). Exact integer arithmetic reduces 2A from 310276878126042795000 to 310276878116578693375. Recheck every center-edge cross-product inequality, pairwise squared distance, orientation and coordinate bound; two independent exact checkers agree. P01/P02-n56 and local polishing for P57/P67-n21 produced no improvement in the tested neighborhoods.