目标函数F（x）受制于约束条件写出梯度形式的库恩_塔克条件,并说明其几何意义。