设A是n阶实矩阵,E是n阶单位矩阵,证则B=E+A^TA为正定矩阵