Buenas tengo una duda, en una parte el teorema dice que A y D son matrices ortogonalmente equivalentes, ¿no deberia decir que son matrices congruentes?
Lo que sucede es que si dos matrices simétricas son ortogonalmente equivalentes, entonces son congruentes y por lo tanto representan a una misma forma bilineal. Pero como tú dices, lo que estamos usando es una propiedad de la congruencia.
Hubiese quedado mejor escrito poniendo "Como 
y 
son ortogonalmente equivalentes, entonces son congruentes, y por lo tanto ...".
Muchas gracias!