复习笔记 Day13(7)

故必要性对阶的正定矩阵也成立，必要性得证。
这里的构造我是这样想的：

假设那么应该有
但是不能保证是正的，所以做一个变换，放大，保证是正的。