正交向量组一定线性无关,这句话错那了?为啥一定要加非零的条件?