分条件.假设目标函数formula_34及约束函数formula_35皆为凸函数，而formula_36是一仿射函数，假设有一可行点formula_12，如果有常数formula_15及formula_39令到那么formula_12这点是一全局极小值。