實矩陣A的特徵多項式的根全為實的如何證明存在正交矩陣T使T'AT成三角矩陣

僅這一個結論是不够的，還需要：
1.屬於不同特徵值的特徵向量正交
2.對A的k重特徵值a，有k個線性無關的特徵向量
（這個結論關鍵，它保證A可對角化，再由1，即可）
第1個證明簡單些，第2個麻煩，教科書一般不證.

RELATED INFORMATIONS

1. 如何證明全體上三角矩陣，對於矩陣的加法與標量乘法在實數域是線性空間
2. 兩個多項式在有理數域上不可整除，在複數域上可整除嗎？有助於回答者給出準確的答案
3. x^n+x^（n-1）…………x+1在複數域和實數域上因式分解
4. 將多項式x的五次方-9xy的五次方在下列範圍內分解因式有理數範圍內、實數範圍、複數範圍
5. A是n階矩陣，α1，α2……αn是n維列向量，αn≠0，Aα1＝α2，……，Aαn-1=αn，Aα
6. 一個數的偶數次幂和它的奇數次幂互為相反數，這個數是______A.1 B.-1 C.1或0 D.-1或0
7. 一個有理數的偶數次幂是正數，則這個有理數一定是正數.對還是錯？
8. 一切有理數的偶數次幂都是（）
9. （-2）3的底數是______；指數是______；幂是______.
10. -3^2的底數是（）指數是（），幂是（）關鍵是幂是多少？
11. 如何用數值方法解複數域上的多項式方程我有一個問題要問大家，就是如何編寫一個程式解複數域上的多項式方程（比如f（x）=a2*x^2+a1*x+a0=0），我現在用的是輻角原理（簡單的說就是在複數平面上對f '（x）/f（x）進行環線積分，如果內部有解，則積分不為零，否則為零），通過不斷縮小積分範圍來確定解.但是對於高階的來說（大於10階）有些力不從心，有沒有什麼算灋上的改進可以提高精度和速度呢？
12. x^4+1在有理數域上分解成不可約多項式
13. 證明：有理數域上含有實數根的不可約多項式必是2次多項式.
14. a=根號2加根號3，證明，存在有理數域上的不可約多項式f（x），使f（a）=0
15. 求i+根號2在有理數域Q上的不可約多項式，各位高手請告訴我把
16. 高等代數A是複數域上的一個N階矩陣，R1，R2…，RN是A的全部特徵根（重根按重數計算）證（1）若F（X）F（R1）高等代數A是複數域上的一個N階矩陣，R1，R2…，RN是A的全部特徵根（重根按重數計算）證（1）若F（X）是C上次數大於0多項式，則F（R1），F（R2），…F（RN）是F（A）的全部特徵根.（2）若A可逆，1/R1,1/R2，…，1/RN是A^-1的全部特徵根
17. 設A是複數域C上一個n階矩陣證明：存在C上n階可逆矩陣P使得P^-1AP=r1 a12 .a1n 0 a22 .a2n . 0 an2 .ann
18. 關於矩陣複數域上的證明，會追加1-2倍的分設A是複數域上一n階矩陣.證明： 1）A相似於一矩陣形如： λ1 c12 c13…c1n 0λ2 c23…c2n 0 0λ3…c3n …………… 0 0 0…λn 2）A在複數域中有n個特徵根（重根計重數），並且，如果λ1，λ2，…，λn是其全部特徵根，f（x）是複數域上任意多項式，則f（λ1），f（λ2），…，f（λn）是f（A）的全部特徵根.
19. 用maple解一下方程 x^5+x^4−；12x^3−；21x^2+x+5=0 y^5+y^4−；16y^3+5y^2+21y−；9=0 y^5+y^4−；24y^3−；17y^2+41y−；13=0 y^5+y^4−；28y^3+37y^2+25y+1=0 10x^6-75x^3-190x+21=0 前面的五次方程都有根式解，要根式解最後一個不知道有沒有，有就要根式解沒有我希望可以用特殊函數解出來，就像這樣 z^5+z^4-e^6=0 z=exp（6/5）*hypergeom（[-1/5,1/20,3/10,11/20]，[1/5,2/5,3/5]，256/3125*exp（-6）） +2/25*exp（-6/5）* hypergeom（[1/5,9/20,7/10,19/20]，[3/5,4/5,7/5]，2/3125*exp（-6）） -4/125*exp（-12/5）* hypergeom（[2/5,13/20,9/10,23/20]，[4/5,6/5,8/5]，256/3125*exp（-6）） +7/625*exp（-18/5）* hypergeom（[3/5,17/20,11/10,27/20]，[6/5,7/5,9/5]，256/3125*exp（-6）） -1/5
20. tanα=2，求[（sinα+ cosα）/（sinα+ cosα）] + cos²；α的值