单纯形法 为什么检验数那行，基变量对应的检验数一定是零

用基变量在目标函数中的系数,乘以你要算得那个变量对应的系数列的各个值,并求和,再减去你要算得那个变量在目标函数中对应的系数，其结果为0。
单纯形法，求解线性规划问题的通用方法。单纯形是美国数学家G.B.丹齐克于1947年首先提出来的。它的理论根据是：线性规划问题的可行域是 n维向量空间Rn中的多面凸集，其最优值如果存在必在该凸集的某顶点处达到。顶点所对应的可行解称为基本可行解。单纯形法的基本思想是：先找出一个基本可行解，对它进行鉴别，看是否是最优解；若不是，则按照一定法则转换到另一改进的基本可行解，再鉴别；若仍不是，则再转换，按此重复进行。因基本可行解的个数有限，故经有限次转换必能得出问题的最优解。如果问题无最优解也可用此法判别。

非基变量检验数Z-C=基变量对应的c乘以B的逆再乘以N，减非基变量对应的C，如果是基变量那就倒推回去。
非基变量对应的系数换为基变量对应系数代入，结果自然是0.

非基变量检验数Z-C=基变量对应的c乘以B的逆再乘以N，减非基变量对应的C，如果是基变量那就倒推回去，非基变量对应的系数换为基变量对应系数代入，结果自然是0

因为如果不是零那么对应的变量就不是基变量了