>Aはn*nの正則行列、A^tはAの転置行列。
>A^t Aの固有値はすべて正の実数であることを示せ。
>
>>>201
>Ａは複素係数でもいいのか？Ａ＝√iＥだと成り立たなくないか？

Aは実行列、ｎは正の整数でした。