编号	名称	标签	来源
00D7	Sylvester 惯性不等式	二次型证明题代数高等代数	admin
00D8	平移主对角线上元素使实对称矩阵正定	二次型证明题代数高等代数	admin
00D9	二次型非零零点存在引理	二次型证明题代数高等代数	admin
00DB	矩阵主对角线与二阶主子式和为零，求证零矩阵	二次型证明题代数高等代数	Liu One
00DC	Hadamard 不等式的正定矩阵情形及其推论	二次型证明题代数高等代数	Liu One