因为任意5个4维向量线性相关
所以对任意一个4维向量β,向量组α1,α2,α3,α4,β 线性相关
又由(1) α1,α2,α3,α4线性无关
所以 β 可由 α1,α2,α3,α4 线性表示.
-- 这是个定理,教材中应该有的.