若一个线性规划模型存在最优解，则其对偶模型也存在最优解，且两模型最优解分别对应的目标函数最优值必然相等。