# Inverse Matrix of Positive-Definite Symmetric Matrix is Positive-Definite ## Problem 397

Suppose $A$ is a positive definite symmetric $n\times n$ matrix.

(a) Prove that $A$ is invertible.

(b) Prove that $A^{-1}$ is symmetric.

(c) Prove that $A^{-1}$ is positive-definite.

(MIT, Linear Algebra Exam Problem) Add to solve later

## Proof.

### (a) Prove that $A$ is invertible.

Thus, since $A$ is positive-definite, the matrix does not have $0$ as an eigenvalue.
Hence $A$ is invertible.

### (b) Prove that $A^{-1}$ is symmetric.

By part (a), we know that $A$ is invertible. We have
$A^{-1}A=I,$ where $I$ is the $n\times n$ identity matrix.

Taking the transpose, we have
\begin{align*}
&I=I^{\trans}=(A^{-1}A)^{\trans}\\
&=A^{\trans}(A^{-1})^{\trans}\\
&=A(A^{-1})^{\trans} && \text{since $A$ is symmetric}.
\end{align*}
It follows that $A^{-1}=(A^{-1})^{\trans}$, and hence $A^{-1}$ is a symmetric matrix.

### (c) Prove that $A^{-1}$ is positive-definite.

Again we use the fact that a symmetric matrix is positive-definite if and only if its eigenvalues are all positive.
(See the post “Positive definite real symmetric matrix and its eigenvalues” for a proof.)

All eigenvalues of $A^{-1}$ are of the form $1/\lambda$, where $\lambda$ is an eigenvalue of $A$.
Since $A$ is positive-definite, each eigenvalue $\lambda$ is positive, hence $1/\lambda$ is positive.

So all eigenvalues of $A^{-1}$ are positive, and it yields that $A^{-1}$ is positive-definite.

## Comment.

Note that the above proof of (b) shows the following.

The inverse matrix of a nonsingular symmetric matrix is symmetric. Add to solve later

### 1 Response

1. 05/01/2017

[…] For proofs, see the post “Inverse matrix of positive-definite symmetric matrix is positive-definite“. […]

This site uses Akismet to reduce spam. Learn how your comment data is processed.

###### More in Linear Algebra ##### Positive definite Real Symmetric Matrix and its Eigenvalues

A real symmetric $n \times n$ matrix $A$ is called positive definite if $\mathbf{x}^{\trans}A\mathbf{x}>0$ for all nonzero vectors $\mathbf{x}$ in...

Close