A是正交矩阵,证明:存在一个正交矩阵B,使得B的逆乘以A乘以B=diag(Er,-Es),我记得应该是相似于