题目

在Mathematica中定义一个关于x的一元函数f（x,y）,其中x,y满足关系g（x,y）=0
有图片的总是显示不出来，用手打的了
就是在g（x，y）=0以及z=f（x，y）两个式子可以表示一个x，z之间的隐函数h（x，z）=0，现在我需要h（x，z）=0的图像，如何用Mathematica得到这个图像，思路即可
求解g=0的数值解得到y=F（x）再带入z=f（x，y）已经试过不行

提问时间：2021-03-20

答案

从你描述的问题来看,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.