求助，如何绘制三元方程的图像(限制条件下)

用参数方程可实现，但你这问题本身是有问题的，三变量中限定x、y是可以，这时候z是由方程决定的，不能再被限定。
曲面(u,v,1-u-v,u,0,1,v,0,1)
这个命令的用法如下:
曲面[<x 表达式>,<y 表
达式>,<z 表达式>,<参变量 1>,<初始值>,<终止值>,<参变量 2>,<初始值>,<终止值>]。

对于双变量方程，如：eq1: x² + y² - 2x - y = 1，由于它是二维平面图，我们在不参数不参数化的情况下，是可以限定x,y的范围的，方法就是通过通过升维到3D函数来解决：

至于三元方程,一是Geogebra作不出高次方程图像，一般就是二次曲面，二是不参数化的情况下，尽管可定义四维函数，如b(x,y,z)=x² + y² + z²,但是看不到图的，包括你举的那个例子，也作不出图，就没有讨论的意义了。

二元函数是可以像楼上那样限定，方程（隐式曲面）不能直接限定。狄利克雷函数作不出图像，不过可以用点来模拟，但在Geogebra中，没有使用有理数域和无理数域的命令，类似函数如整数与小数域，可以这样定义：
f(x) = 如果(x ∈ {1, 2, 3, 4, 5, 6}, 1, 0)
作图的话用点来模拟：
l1 = 序列((i, f(i)), i, 0, 7, 0.1)

也就是说，你如果可以解决在Geogebra中有理数域的问题，是可以用点模拟出狄利克雷函数图像的。

理论上可以这样定义有限的有理数域：
m1=序列(序列(j/i,j,0,30),i,1,30)
l1=互异(扁平化列表(m1))
可以模拟出这样集合图像：
l2=序列((元素(l1,i),1),i,1,长度(l1))
然后定义出有限实数域，再减去有限有理数域得到无理数域
遗憾的是由于Geogebra计算精度问题，上一步得出无理数域基本不可能。