实数方阵的同时对角化

证明了关于实数方阵同时对角化的一些定理,用时也得到了一点有趣的新结果。