设ab均为n阶方阵,且