1一般形式
1.1起作用、不起作用约束
1.2KKT条件
在上面的包含等式、不等式的约束形式下：
分析：
u和g(x*)至少一个为0，既g起作用时u可以>=0，g不起作用时u=0
几何解释：
总结：
g>=0的情况：
u与g方向上极小点相反，极大点相同。
推广：
