KKT条件是约束优化问题最优解的一阶必要条件，证明角度有很多，比较容易看懂的是从约束条件梯度线性无关角度出发的证明，下面进行分析。
约束优化问题的一般形式可写为