9.7.1 构造硬间隔广义拉格朗日函数