We consider $A \in \mathcal{M}_{n}(\mathbb{R})$. We assume $A$ is invertible and, in accordance with the notations of the problem, $(A^{-1})_{s}$ denotes the symmetric part of the inverse of $A$. Show that $(\operatorname{det}(A))^{2}\operatorname{det}\left((A^{-1})_{s}\right) = \operatorname{det}(A_{s})$.
One may consider $A(A^{-1})_{s}A^{\top}$.