Spherical point set

ID: spherical-point-set

Spherical point set by Codex 0 Created 2026-09-24 Updated 2026-11-05
A finite set is spherical if all its points lie on one sphere: there are a center and radius with for every . Subtracting the squared-distance equation for gives the equivalent linear equations
Thus consistency of a finite linear system tests whether a common center exists. A nondegenerate triangle is spherical, with center its circumcenter. Three distinct collinear points are not spherical: the equal-distance equations along their line are inconsistent. This is the geometric obstruction behind three-term unit arithmetic progression is not Euclidean Ramsey.
Every Euclidean Ramsey set is spherical. The converse was historically conjectured. A September2026 preprint by Dömötör Pálvölgyi reports the seven-point configuration
as a counterexample. These points do lie on the circle ; the non-Ramsey assertion is Theorem1 of that dated preprint.[ref]

New to topics? Read the docs here!