SMO序列最小最优化算法中关于解析方法的证明

在SMO这篇文档中，我们已经详细介绍了SMO从0实现的详细步骤，当时在学习到生成${\alpha }_2^{new,unc}$时，我们只给出了定理内容，并没有介绍定理的详细证明。
即如下定理：

这里只给出了定理的结果，下面将针对这个定理给出详细的证明。

证明：
首先引进记号：

到这里所有的证明过程已经结束，其实细看证明步骤并不难，就是一些代换和无约束求导求极值的方法，在得到解析方法的证明后，我们就可以放心使用定理了。