无约束优化——一阶必要条件