>>743
T^1・A・Tとしたときに下のような行列に変換するユニタリ行列を求めるのだと思います。
λ1
  λ2
     λ3  (λjはAの固有値)