The Five-Point Case of Mordell's Discriminant Inequality

Abstract

Let $z_1,\ldots,z_5\in\mathbb C$ satisfy $\sum_{j=1}^5|z_j|^2=5$. We prove the sharp inequality \[ \prod_{1\le i<j\le5}|z_i-z_j|^2\le 5^5, \] with equality precisely for a regular pentagon on the unit circle, up to rotation and permutation. This settles the remaining five-point case of the discriminant problem considered by Mordell in 1960. The proof first identifies a maximizer with a normalized relative equilibrium of five identical planar point vortices. We then give an independent exact classification of the corresponding stationary equations. The main algebraic step proves that every collision-free physical solution of the normalized stationary equations is reflection symmetric; it is obtained from a resultant construction and exact Gröbner-basis elimination over $\mathbb Q$. The reflection-symmetric equations have exactly five physical shapes, and an exact discriminant comparison selects the regular pentagon. All symbolic eliminations, Sturm counts, and interval inequalities are reproduced by an accompanying verification script using rational arithmetic. As consequences, the same configuration gives the Gaussian weighted Fekete set and the global mode of the five-particle complex Ginibre density after the natural rescaling.