数值最优化6(最优性条件)