# Heilbronn triangle n=9 # value (exact area implied by these coordinate literals): 0.054846938775509867346938775511 # domain: triangle (0,0),(1,0),(0,1); value = min 2*area (normalized to unit-area domain) # credit: found by David Cantrell, July 2006 # coordinates: heilbronn-site reconstruct/reconstruct.py (reconstructed by local optimization; matches published value 0.0548+ and symmetry (120° Rotationally symmetric)) # via: https://math.tejstead.com/heilbronn/triangle/9/ 0.875 0.125 0 0.875 0.125 0 0 0.107142857142857 0.892857142857143 0 0.107142857142857 0.892857142857143 0.178571428571429 0.392857142857143 0.428571428571428 0.178571428571429 0.392857142857143 0.428571428571428