若存在可逆矩阵B使得实对称矩阵A=BTB，则A的主对角线上的元素全大于O.