复习笔记 Day13(6)

必要性对于阶的矩阵显然成立。
假设必要性对小于阶的正定矩阵也成立，现证明必要性对阶的正定矩阵也成立

假设为阶正定矩阵，设，那么依归纳假设，存在主对角元素全为正的实上三角矩阵，使得，记，那么