Let $A \in \mathcal{M}_n(\mathbb{R})$. Show that there exists a pair $(O, S) \in \mathrm{O}(n) \times \mathcal{S}_n^+(\mathbb{R})$ such that $A = OS$. Is such a pair unique?
Let $A \in \mathcal{M}_n(\mathbb{R})$. Show that there exists a pair $(O, S) \in \mathrm{O}(n) \times \mathcal{S}_n^+(\mathbb{R})$ such that $A = OS$. Is such a pair unique?