【答案解析】[证] 设β₁，β₂，…，β_s线性相关，于是存在s个不全为0的常数x₁，x₂，…，x_s使的x₁β₁+x₂β₂+…+x_sβ_s=0，将代入
   (c₁₁x₁+c₂₁x₂+…+c_s1x_s)α₁+(c₁₂x₁+c₂₂x₂+…+c_s2x_s)α₂+…+(c_1rx₁+c_2rx₂+…+c_srx_s)α_r=0
   因为α₁，α₂，…，α_r线性无关，所以
   
   方程组有非零解