我想问,任意一个可逆矩阵,必存在两个正交阵PQ,有PAQ为对角形,这个对角形对角线的元素都大于零吗?在什么情况下可保证其