矩阵ab乘积为零矩阵,b行列式非零,推出矩阵a为零矩阵?