定理3：n维向量组0y1,02,“,C是一组两两正交的非零向 量，则041,02，0线性无关。 证明： 设有2,2.几，使 1必1+202+.+，=0 以a左乘上式两端，得到 a1=0,因为a1≠0， a41=a12≠0n维向量组 是一组两两正交的非零向 量，则 线性无关。    r , , , 定理3: 1 2     r , , , 1 2  证明： 0 0 0 2 1 1 1 1 1 1 1 1 1 2 2 1 2 =  =  + + + =                  T r r r 因为 ， 以 左乘上式两端，得到 设有 ， ， 使 0 , 1 T T  