比较常用的是这些方法
直接用定义
判定顺序主子式大于0
找出Cholesky分解
通过合同变换化为一个容易判定正定性的矩阵
最小特征值大于0
写成一个正定阵和一系列半正定阵的和
构造一组向量，使得该矩阵成为向量组的Gram矩阵
写成一系列正定阵的Hadamard乘积
