考虑最小化问题min f(x1, x2, x3),在约束条件gl(x1, x2, x3)≤0和g2(x1, x2, x3)=0下,其中gl和g2为可微函数。假设f为问题的最优解,且gl(x1, x2, x3)=0,g2(x1, x2, x3)>0。由于(X1, X2, X3)位于区域{(X1, X2, X3) | gl(X1, X2, X3)≤0}的内点,因此可得到最优性条件。