mathematica 最优化问题