Теорема. Собственные векторы самосопряженного оператора А, соответствующие различным собственным значениям, ортогональны.
Доказательство. Пусть причем Тогда
Следовательно, Теорема доказана.