对非零列向量xBx 是一个列向量则 (Bx)'(Bx) >= 0 [这里要求B是实矩阵--线性代数默认]这是内积的非负性(一个性质),原因:设 Bx =(a1,...,an)'则 (Bx)'(Bx) = a1^2+...+an^2 >=0.所以 x' (A-B^2)x= x'Ax + x'B'Bx [ B' ...