エルミート(または実対称)行列の性質より、その固有値は実数であるから、レイリー商の最小値は行列の最小の固有値に等しく、このときベクトルは最小固有値に対応する固有ベクトルに等しい。