Triangle, n = 7 proven reconstructed coords
A =
= 0.0972222222222222222222222222222222222222222222…
Classes
Symmetry
Symmetry
120° Rotationally symmetric (group C3, order 3).
Minimal triangles
9 triangles tied (within relative 10−9) at the minimal area, in 3 congruence classes:
| count | side lengths | triangles (point indices) | |
|---|---|---|---|
| 3 | 0.3351 · 0.5803 · 0.6701 |
(0,1,3) (1,2,4) (1,5,6) | |
| 3 | 0.3351 · 0.8865 · 1.1607 |
(0,2,4) (0,3,6) (4,5,6) | |
| 3 | 0.5803 · 0.6701 · 1.2081 |
(0,1,5) (1,2,6) (1,3,4) |
Provenance
- Found by David Cantrell, July 2006.
- Proved optimal by Z. Zeng and L. Chen, 2019.
- Coordinates reconstructed by local optimization:
heilbronn-site reconstruct/reconstruct.py— reconstructed by local optimization; matches published value 0.0972+ and symmetry (120° Rotationally symmetric). - Verified in exact arithmetic: all 35 triples enumerated, 9 tied at the minimum.
- Friedman's page lists:
A = 7/72 = .0972+.
Downloads
- points.txt coordinates, tab-separated
- points.csv coordinates, CSV
- points.json full record: value, provenance, verification
- figure.svg this figure
