>>237
該当ページには、相似のときに P^{-1} A P = B を満たす P を
求める方法がありますが、P を直交行列に選べるときに、
実際に P を直交で持ってくる方法は、陽には書いてありません。

>>241
任意の行列が対角化できるとは限りません。例えば
|2 1|
|0 2|
は対角化できません。ジョルダン標準形にする行列をうまく選ぶと、
その T S^{-1} が直交行列になっている……ようなことが言えるとうれしいのですが。