Jordan normal form
ジョルダン標準形を用いると、任意の実正方行列が二つの実対称行列の積として書けることや任意の複素正方行列が二つの複素対称行列の積に書けることが証明できる。