a1 a2a3是齐次方程组Ax=0的一个基础解系