实对称矩阵是正定矩阵当且仅当它的各阶顺序主子式全大于零.