Square, n = 13 record
A = 0.0270188309265
full precision
Exact value of the published coordinate literals:
0.0270188309265
Symmetry
Not symmetric (group C1, order 1).
Minimal triangles
1 triangle tied (within relative 10−9) at the minimal area:
| count | side lengths | triangles (point indices) |
|---|---|---|
| 1 | 0.4086 · 0.6201 · 1.0230 |
(0,3,10) |
Provenance
- Found by Peter Karpov, August 2011.
- Coordinates from spiralulam/heilbronn (MIT):
spiralulam/heilbronn config_n13.json— Karpov (unpublished). - Verified in exact arithmetic: all 286 triples enumerated, 1 tied at the minimum.
- Friedman's page lists:
A = .02702+.
Downloads
- points.txt coordinates, tab-separated
- points.csv coordinates, CSV
- points.json full record: value, provenance, verification
- figure.svg this figure
