Se puede demostrar que para una matriz simétrica real $A$, existe una matriz ortogonal $Q$ tal que $$Q^TAQ=Q^{-1}AQ=\Lambda,$$ donde $\Lambda$ es la matriz diagonal cuyas entradas son los valores propios de $A$.
Mi pregunta surge al considerar la "conversa": si $Q^TAQ=\Lambda$ para $A$ real y simétrica, y $\Lambda$ nuevamente denota la matriz diagonal de valores propios, ¿se puede afirmar que $Q$ es ortogonal?
Creo que a primera vista no es cierto, ya que hay muchas elecciones con las que podemos transformar de manera congruente $A$ en una matriz diagonal. Pero las cosas pueden volverse sutiles después de restringir que $\Lambda$ sea una matriz especial que consiste en los valores propios de $A$.
Puedo derivar $(QC)^TA(QC)=C^T\Lambda C$ para alguna matriz $C$, ¿tal vez podemos elegir algún $C$ para obtener un contraejemplo? ¿O podemos realmente probarlo? ¡Gracias!