正交向量组必是线性无关向量组的证明有一段话如下:.两边与a1作内积,得(k1a1+k2a2+...+kmam,a1)=(