属于不同的特征值的特征向量是线性无关的（这应该是书上的结论）接下来就是要说属于相同特征值的特征向量无关，这就是基本的解方程组的基础解系，当然是线性无关，除非你基础解没解对。这个定理关键点是在于个数；n个
