证明下述结论： 设x（1)，x（2)是LP的可行解集K={x|Ax=b，x≥0)的两个极点，则x（1)与x（2)相邻的充要条件是：A的列

证明下述结论：

设x⁽¹⁾，x⁽²⁾是LP的可行解集K={x|Ax=b，x≥0)的两个极点，则x⁽¹⁾与x⁽²⁾相邻的充要条件是：A的列向量集{p_i|x_i⁽¹⁾+x_i⁽²⁾＞0}线性相关，且存在指标l使{p_j|x_i⁽¹⁾+x_i⁽²⁾＞0，i≠l)线性无关(x_i⁽¹⁾，x_i⁽²⁾分别表示x⁽¹⁾，x⁽²⁾的第i个分量)