若原问题有最优解，那么对偶问题也有最优解（反之亦然），且两者最优值（）