对于对称矩阵A,若对任意非零向量x,都有x*AX>0成立,则称A为正定.
如果A是正定矩阵,那么a[i][i]一定大于0.因为,a[i][i]=ei*Aei>0.
其中,ei为第i个单位向量.