T21 二次型 f 的秩等于对应实对称矩阵 $A^TA$ 的秩