已知矩阵A，B都为实对称半正定的，且AB=BA则存在正交矩阵Q使得A=Qdiag（ ）Q'，B=Qdiag（）Q'
其中diag（）为两个矩阵的对角化阵对角元素为特征值，求助证明这样的Q（正交阵）是存在的？谢谢！！！！！！