你这是谁对谁的隐函数啊?是极大值还是极小值?嘛,不过稍加分析（画画图或者求求导）就会发现只有x在y取某值的时候有极小值：
sol = Solve[y == (1 - x E^y), x]
Minimize[Flatten@{x /. %}, {y}]那么mathematica 里关于参数方程x=a cos t,y=b sin t的极值怎么求……所以说你到底在对谁求极值？对x？对y？唉，想来是对x或者y吧。这个依旧可以用Maximize，不过因为这里已经涉及了三角函数，而Maximize对三角函数较弱，所以要做点变形，那就是，用万能公式把这里的三角函数化掉：Maximize[{b2 a/(1 + a^2)}, {a}](* 这里的a代表的是tan(t/2) *)得出的结果是个分段函数。其中第三项的成立条件是True，代表此项是在前两个条件都不成立时成立的。