>>77
適当な直交行列で対角化されると書いています。直交行列の列ベクトル全体ははR^nの
正規直交基底である事はわかりますが、その直交行列がその行列の固有ベクトルを
正規直交化して並べたものというのが良くわかりません。