是的.
因为 α1,α2,α3,α4,α5线性相关,α2,α3,α4,α5线性无关
所以 α1 可由 α2,α3,α4,α5 线性表示
所以 α1,α2,α3,α4,α5的极大线性无关组是α2,α3,α4,α5