若不然,则存在一组不全为0的(k1,k2,...,kn)使得k1α+k2Aα+...+kn(A^n)α=0设ki是是下标最小的不为0的k则两边同时左乘A^(n-i-1)则左边=ki*A^(n-1)α+0+0+...+0=ki*A^(n-1)α≠0(因为αAn=0,所以m>n时αAm也是0)矛盾所以它们线性无关
K1a+k2Aa+…+kn An-1a=0,等式两边乘以An-1,得K1=0,然后乘以An-2得k2=0,…最后乘以1,得kn=0