Let $f$ be a linear form on $\mathcal{M}_n(\mathbb{R})$, and let $A$ be the unique matrix in $\mathcal{M}_n(\mathbb{R})$ such that $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \operatorname{Tr}(AM)$. Let $\mu_1, \ldots, \mu_n$ be the $n$ positive eigenvalues of ${}^t A A$ counted with multiplicities, and $D$ the diagonal matrix whose diagonal elements are $\sqrt{\mu_1}, \ldots, \sqrt{\mu_n}$.
Deduce that $M_n = \sum_{k=1}^n \sqrt{\mu_k}$.