设ab都是n阶非零矩阵,且AB=0