定理 2.2. (实对称时, 正定 vs 顺序主子式)

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