若A是正定的,则由1.4可知：存在实可逆矩阵C使A=CTC
∴A-1 = (CTC) -1 = C-1 (C-1) T
∵C可逆 ∴C-1也是实可逆矩阵
∴有A-1也是正定矩阵.