3.6.3 凸优化证明