We investigate some geometric properties of the real algebraic variety Δ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart–Young–Mirsky-type theorem for the distance function from a generic matrix to points in Δ. We exhibit connections of our study to real algebraic geometry (computing the Euclidean distance degree of Δ) and random matrix theory.
