设
若系数不全为零,令 j 为满足 cj=0 的最小下标。
对等式两边左乘 Ak−1−j。下标小于 j 的项系数为零;下标大于 j 的项都含 Arα(r≥k),由 Akα=0 均为零。因此只剩 cjAk−1α=0。
这与 cj=0 及 Ak−1α=0 矛盾。故所有系数均为零,向量组线性无关。