令k1b1+k2b2+...+krbr=0 带入b1=a1,b2=a1+a2,...,br=a1+a2+...+ar整理得: (k1+k2+...+kr)a1+(k2+k3+..+kr)a2+..+krar=0 向量组a1,a2,...,ar,线性无关有 k1+k2+...+kr=0 k2+...+kr=0 : : kr=0 联立得:k1=k2=...=kr=0 即向量组b1,b2,...,br线性无关