Question

在Mathematica中定义一个关于x的一元函数f（x,y）,其中x,y满足关系g（x,y）=0

Answer 1

从你描述的问题来看,x,y,z由前两个式子（f 和 g 已知时)可以消除一个y变量,这样就有一个z 和 X 的关系式,h(x,z）就是一个一元方程了,x 是一个固定值了.

如下：

In[24]:= Clear[x,y,z];

Reduce[{x^2 + Exp[y]*x == 0,z == x^3/3 + Sin[x] + 3 y},{x,z},y]

Out[25]= (C[1] [Element] Integers && x != 0 &&

z == 1/3 (x^3 - 18 I [Pi] C[1] - 9 Log[-(1/x)] + 3 Sin[x])) ||

x == 0

这里随便取得f,g.