设向量组α1,α2,α3线性相关,α2,α3,α4线性无关,证明向量α1必可表示为α2,α3,α4的线性组合