Aはn*nの正則行列、A^tはAの転置行列。
A^t Aの固有値はすべて正の実数であることを示せ。

です。よろしくお願いします。