k为何值时齐次线性方程组仅有零解