(後只人季 证明设X=[x1,x2,…,xn是W中任一解向量,显然有 对任一向量qⅦ am) n=0 (at,X)=an1x1+…+ a=A11+λ2a2+…+λmm 则有 (a,X)=A1(a1,X)+λ2(a2,X)+…+λm(am,X)= 即W⊥L(ar1,a2, 设dimL(a1,a2,…,.axm)=T, 显然有dimW=n-r,又因W三Rn, dimL(a1,a2,…,.axn)sR且 dim dimL(al,a2,,am=n= dimR 即得W+L(ax1,a2,…,am)=R,由定义知 L(a1,a2,…,axm)是W的正交补