Desde det, A es nonsingular y todas las diagonales de Un debe ser igual a uno. Lado, sabemos que la relación entre el determinante y la traza es
\begin{align*}
\det(A) &= \exp(tr(\ln(A))) \\
&= \exp(0) \\
&= \exp(\sum_i \ln(\lambda_i)) \\
\end{align*}. Paso 2 tiene porque todas las diagonales de Un son uno, por lo que su registro es cero, y el paso 3 porque natural registros analíticos. Esto sugiere \sum_i \ln(\lambda_i) = 0,, \prod_i \lambda_i = 1.
Luego, debido a que todas las diagonales de A, tr(A) = \sum_i \lambda_i = n debe ser verdadera. Por lo tanto, el AM-GM de la desigualdad de los estados \left[ \prod_{i} \lambda_i \right)^{\frac{1}{n}} \leq \frac{1}{n} \sum_{i} \lambda_{i}, con igualdad de retención sólo cuando \lambda_i = \lambda_j \forall (i,j. Por lo tanto, $$ 1^{\frac{1}{n}} = \frac{1}{n} \cdot n, y todos los autovalores de Un debe ser igual. Desde \prod_i \lambda_i = 1, todos los autovalores debe ser uno.