计算题 设A是n级实矩阵，证明：存在正交矩阵T使T^-1AT为三角形矩阵的充分必要条件是A的特征多项式的根全是实的。