用库恩塔克条件解非线性规划