由 $A$ 半正定知存在矩阵 $B$ 使得 $$\beex \bea A=B^tB&\ra 0=a_{ii}=\sum_j b_{ji}^2\\ &\ra b_{ji}=0,\ \forall j\\ &\ra \seddm{ a_{il}=\sum_j b_{ji}b_{jl}=0\\ a_{ki}=\sum_j b_{jk}b_{ji}=0 }. \eea \eeex$$
由 $A$ 半正定知存在矩阵 $B$ 使得 $$\beex \bea A=B^tB&\ra 0=a_{ii}=\sum_j b_{ji}^2\\ &\ra b_{ji}=0,\ \forall j\\ &\ra \seddm{ a_{il}=\sum_j b_{ji}b_{jl}=0\\ a_{ki}=\sum_j b_{jk}b_{ji}=0 }. \eea \eeex$$