等式约束最优化问题的最优性条件