对称矩阵都可以正交相似对角化,即存在正交矩阵O使得A=O'*diag{a1,a2,...,an}*O.rk(A)=r说明对角元a1,a2,...,an中有r个非零,不妨设为前r个,则A=O'*diag{a1,a2,...,ar,0,..,0}*O,且每个ai(1