由已知条件可得AB=BA，因此A，B可同时上三角化，实际上本题由于A，B都是实对称矩阵，因此A，B可同时对角化，即存在同一个可逆矩阵P，使得P^{-1}AP和P^{-1}BP为对角矩阵D_1和D_2，且对角元就是A，B的特征值。进而P^{-1}ABP=D_1D_2。
只需注意三个矩阵都对称意味着A和B乘法可换，因此可同时对角化。
