库恩-塔克定理是用于在约束条件g(x)下最小化函数f(x)的一种方法。我们可以将定理定义如下
其中Λ是拉格朗日向量,< , >表示点积运算。我们将在稍后讨论点积。如果我们首先对该方程关于x求导,然后关于Λ求导,我们将得到以下两个方程
我们有最终结果