We consider $A \in \mathcal{M}_{n}(\mathbb{R})$ and assume that $A_{s} \in \mathcal{S}_{n}^{++}(\mathbb{R})$.
a) Show that there exists a unique matrix $B$ in $\mathcal{S}_{n}^{++}(\mathbb{R})$ such that $B^{2} = A_{s}$.
b) Show that there exists a matrix $Q$ in $\mathcal{A}_{n}(\mathbb{R})$ such that $\operatorname{det}(A) = \operatorname{det}(A_{s})\operatorname{det}(I_{n} + Q)$.
c) Deduce that $\operatorname{det}(A) \geqslant \operatorname{det}(A_{s})$.