研赛02969实对称矩阵的最小特征值刻画/任意n维向量都可表示为第一卦限中两个正交向量的差/正定的一个几何型充分条件