Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 130 / 4 / a

Write $X=\{x_1,\dots ,x_s\}$. Since $X$ is not a spherical point set, there are real coefficients ${\lambda }_i$, not all zero, such thatIndeed, take a minimal nonspherical subset; its points are affinely dependent, and centering the proper spherical subset shows that the corresponding quadratic sum is nonzero. The three relations are invariant under isometries, and rescaling the ${\lambda }_i$ lets us assume $b=1/2$.

Choose $\delta <1/(2s)$ and color every $y$ by the $s$ intervals of length $\delta$ containing the fractional parts of ${\lambda }_i\Vert y{\Vert }^2$. This uses finitely many colors. If $y_1,\dots ,y_s$ were a monochromatic isometric copy of $X$, then eachwould lie within $\delta$ of an integer. Their sum is within $s\delta <1/2$ of an integer, but because ${\sum }_i{\lambda }_i=0$ it equalsa contradiction. Hence $X$ is not a Euclidean Ramsey set.

Solved by gpt-5.6-sol high.