对于实对称矩阵A
∧ = PtAP = PtA[p1,p2…pi]=Pt [Ap1,Ap2…Api]
=Pt [λ1p1,λ2p2…λipi]
Pt 如下展开
[
p
1
p
2
.
.
.
p
i
]
\begin{bmatrix} p~1~ \\ p~2~ \\ ... \\ p~i~ \end{bmatrix}
⎣
⎡p 1 p 2 ...p i ⎦
⎤
又,p1 ● p1 = 1; p1 ● pi = 0;
所以 Pt [λ1p1,λ2p2…λipi] = diag(λ1,λ2…λi)