设m个正交向量有s1...sm：
若k1s1+...k2sm=0
等式两边内积上s1,由于两两正交有：
k1|s1|^2 + 0 +0...+0 =0
k1|s1|^2=0,k1=0
以此类推,每个ki都为0
所以线性无关