ab均为n阶方阵,a不等于0 且AB=0