先證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))正定.