Convex, n = 7 proven reconstructed coords

A =

\frac{1}{9}

= 0.111111111111111111111111111111111111111111111…

6 minimal triangles in 2 congruence classes, colored by class.

Symmetry

120° Rotationally symmetric (group C3, order 3). (Friedman's page says: 3-fold dihedral symmetry.)

6 triangles tied (within relative 10⁻⁹) at the minimal area, in 2 congruence classes:

	count	side lengths	triangles (point indices)
	3	`0.4746 · 0.8222 · 0.9493`	(0,3,6) (1,4,6) (2,5,6)
	3	`0.8222 · 0.9493 · 1.7114`	(0,4,6) (1,5,6) (2,3,6)

Proved optimal by Zhenbing Zeng and Lu Yang, 1995.
Coordinates reconstructed by local optimization: heilbronn-site reconstruct/reconstruct.py — reconstructed by local optimization; matches published value 0.111+.
Verified in exact arithmetic: all 35 triples enumerated, 6 tied at the minimum.
Friedman's page lists: A = 1/9 = .111+.