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