如果>s,则方程组 (Kx=0) 有非零解，从而方程组 (a1,a2,·,as)Kx=0 有非零解，即 (b1,b22,b,x=0 有非零解，这与B,组线性无关矛盾，因此r>s不能成立，故 r≤S。 如果r>s,则方程组 Ks×r 1 r x x           = 0 ( Kx = 0 ) 有非零解，从而方程组 (α1，α2，… ，αs )Kx = 0 有非零解，即 (b1 ,b2 ,…,br )x = 0 有非零解，这与B0组线性无关矛盾，因此r>s 不能成立 ,故 r ≤ s