因为A列满秩, Ay=0和y=0等价, 所以A[alpha_1,...,alpha_l][x_1,...,x_l]^T=0 <=> [alpha_1,...,alpha_l][x_1,...,x_l]^T=0 <=> [x_1,...,x_l]^T=0
