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