反证法：若A不可逆,则存在非零向量x,使得Ax＝0,在AB+B'A中左乘x‘,右乘x,得x'(AB+B'A)x=x'ABx+x'B'Ax=(Ax)'Bx+(Bx)'(Ax)=0,但这与AB+B'A正定矛盾.
