齐线性方程组 x1+2x2+入x3=0,2x1+5x2-x3=0,x1+x2+13x3=0,当入为何值时,有非零解,并求