先证A^(-1)正定; A正定,则A合同于E, 所以,存在C可逆,C^TAC=E; 则两边取逆,C^(-1){A^(-1)}C^(-1)^T=E; 所以,A^(-1)合同于E; 所以A^(-1)正定; 由于A,A^(-1)正定; 所以,任意X,X^TAX>0; X^TA^(-1)X>0; 所以X^T(A+A^(-1))X=X^TAX+X^TA^(-1)X>0; 所以(A+A^(-1))正定.