>>106
>適当な T 正則マトリクス,が存在して
>線形変換x=Tyにより
>
>Q1=ty.E.ty
>Q2=ty.L.y :L=対角マトリクス:Bも正定だからL>0

A,B は非可換だから、一般に同時対角化は出来ないのでは?