正定矩阵与性质