>>116
　>>106の証明は誤りです。

実の対称マトリクスについては同時対角は可能ではないのですか？
（証明を見たようなきがするのだが。。。。自信ない）
A,Bがエルミートで一方が正定であれば同時対角化（Lamda,En)が可能であるというのは
よく使ったような気がする。（正定の定義が違うのかな？）