# Heilbronn triangle n=7 # value (exact area implied by these coordinate literals): 0.0972222222222222222222222221778 # domain: triangle (0,0),(1,0),(0,1); value = min 2*area (normalized to unit-area domain) # credit: found by David Cantrell, July 2006 # proved optimal by Z. Zeng and L. Chen, 2019 # coordinates: arXiv:2607.15021 # via: https://math.tejstead.com/heilbronn/triangle/7/ 0.1666666666666666666666666667 0 0.75 0 0 0.25 0.8333333333333333333333333333 0.1666666666666666666666666667 0 0.8333333333333333333333333333 0.25 0.75 0.3333333333333333333333333333 0.3333333333333333333333333333