A diameter-one set in R⁵ that cannot be covered by six diameter-one balls

We construct a compact set of diameter $1$ in R⁵ which cannot be covered by six Euclidean balls of diameter $1$. Its convex hull is a full-dimensional convex body satisfying the same property. Moreover, a finite subset of diameter $1$ cannot be covered by six closed balls even when their radius is increased to $0.50001$. The compact set is the quadratic image of the unit sphere in the space of symmetric 3×3 matrices of trace zero. A hypothetical cover leads to twelve spherical ellipses covering S² and arranged in six antipodal pairs. Using Euler's formula, we replace them by twelve pentagonal regions contained in the ellipses. An area estimate then gives a contradiction.