mathematica最优化问题