矩阵A、B满足什么条件能得出方程组AX=0与BX=0同解?