设ab均为n阶矩阵,且AB=0