关于2.3证明的补充

[Qwake0908]

图中直接指出x+和x-存在，并且dist(x+,x-)>0，这是需要说明的，注意dist(x1,x2)是一个连续函数，而定义域凸包是闭集，连续函数在有界闭集上一定有最大最小值。这也是凸壳这一限制条件的作用。