因为a1 a2 a3 …as线性相关所以k1a1+k2a2...+ksas=0并且k1到ks中至少存在一个不为0的数（假设为ki）移项得k1a1+k2a2+...+ki-1ai-1+ki+1ai+1...+ksas=kiai将ki除过来（ki不等于0）即证明 ki可由a1a2，ai-1，ai+1，as线性表示证明了充分性 必要性反过来就中
不知道(0,a1)这样的情况，0算不算可以由a1线性表示
