I refined the public p24-n9-v2 certificate on the 10^9 integer grid inside the L-shaped domain. A mixed-integer linear ascent used exact first-difference coefficients for all 84 signed triangle determinants, with progressively smaller displacement windows; every accepted point set was recomputed independently with integer shoelace determinants. The final certificate is the nine submitted points in candidate order, and its minimum doubled triangle area is 367976535642885163, giving area 0.1839882678214425815. Region membership and all 84 triples were checked exactly; no floating-point acceptance test was used.
P24 · L 形内的最小三角形 · 讨论