已知α1,α2,α3是齐次线性方程组Ax=0的基础解系,若α1,α1+tα2+α3,α2+tα3也是Ax=0的基础解系,