线性无关是指向量组中任意两个向量都不线性相关，即它们的内积不为0，证明线性无关的方法有很多种，其中一种基于定义法的方法是：首先对向量组进行列分块得到向量组，这样就有了分析对象，然后作βx→=0βx→=0,如果证得x只有零解则问题可解。
