Si "A" es una matriz real simétrica, se sigue por la versión real del teorema espectral para operadores simétricos que existe una matriz ortogonal tal que, "UAU*" es diagonal y todos los valores propios de "A" son reales.