运筹学单纯形法中,为什么检验数小于等于零才有最优解?我想要详细的推导过程和说明,我就这里不太懂

对于线性规划问题标准型,最优性判别条件所有检验数均小于等于零.如果是求最小问题,则最优性判别条件是所有检验数均大于等于零.
检验数是用非基变量表示基变量,带入目标函数的表达式中得来的非基变量的系数.它的含义是对应非基变量如果取得一个大于零的值时,能给目标函数增大的量为 该值的检验数倍.对最大化问题,如果检验数均小于等于零,意味着再进行迭代,也不能使目标函数增大了.最小化问题,同理!