We denote by $\mathbf{e}$ the matrix of $\mathcal{M}_{n,1}(\mathbb{R})$ whose coefficients are all equal to 1, $P = I_n - \frac{1}{n}\mathbf{e}\cdot\mathbf{e}^T$, and $\Delta_n$ the set of EDM of order $n$.
Let $D$ be a non-zero EDM of order $n$. Show that for all $x \in \operatorname{Vect}(\mathbf{e})^\perp$, we have
$$x^T D x \leqslant 0.$$