Spektralsatz

Si A es simétrica (A = Aᵀ), existe una base ortonormal de autovectores: A = QΛQᵀ.

Pruébalo — Cambia a, b, d o prueba un preset: el círculo unitario se convierte en elipse alineada con q₁, q₂.

Simetría ⇒ autovectores ortogonales (ángulo recto entre q₁ y q₂).