凸优化证明的一个问题，求帮助