(T^-1AT)的转置=T的转置*A的转置*T^-1的转置
因为T是正交阵,所以T的转置=T-1
因为A是实对称阵,所以A的转置=A
则(T^-1AT)的转置=T的转置*A的转置*T^-1的转置=T^-1*A*T的转置的转置=T^-1AT
即T^-1AT是对称矩阵