"=>" Symmetrische Matrizen sind orthogonal diagonalisierbar. Es existiert also eine Zerlegung \( A = U^T \Lambda U \) mit
$$ \Lambda = \begin{pmatrix} \lambda_1 \\&\ddots\\&&\lambda_n \end{pmatrix} $$
Setze jetzt
$$ \Lambda^{1/2} := \begin{pmatrix} \sqrt \lambda_1 \\&\ddots\\&&\sqrt \lambda_n \end{pmatrix} \in \mathbb{C}^{n\times n} $$
dann gilt mit \( S:= \Lambda^{1/2}U \in \mathbb{C}^{n\times n} \) bereits \( A = S^TS \)
"<=": Nachrechnen