実対称行列の固有ベクトルがそれぞれ直交するというのは
自明なのでしょうか？
斎藤の線型代数には特に説明がないのですが・・・