如何证明方程组x + 1/y == z, y + 1/z == x, z + 1/x == y无解？
本帖最后由 nyy 于 2023-7-3 11:51 编辑Clear["Global`*"];(*清除所有变量*)
ans=Solve[{x+1/y==z,y+1/z==x,z+1/x==y},{x,y,z}]
我只会用mathematica算，结果显示无解！
那么如何人肉证明呢？ 我来用mathematica证明一下：
第一个方程与第二个方程联合消元，消掉x，得到
\
第二个方程与第三个方程联合消元，消掉x，得到
\
从这两个方程，很容易看出矛盾！
参考代码
Clear["Global`*"];(*清除所有变量*)
aaa=Eliminate[{x+1/y==z,y+1/z==x},{x}]
bbb=Eliminate[{y+1/z==x,z+1/x==y},{x}]
这是我的软件证明过程，
但是我需要人工过程，那么应该如何搞呢？ x + 1/y == z, y + 1/z == x, z + 1/x == y无解
两个等号啥意思？
如果是x + 1/y = z, y + 1/z = x, z + 1/x = y
可以先消分母，在移项
xy+1=zy，yz+1=xz，zx+1=yx
1=zy-xy，1=xz-yz,1=yx-zx
相加，得出3=0的矛盾结果，所以，无论x，y，z是什么，三式不可能同时成立。去掉一个方程就没问题了
xz-xy=2，进而推出x（z-y）=2，x与（z-y）构成反比例曲线。 白新岭 发表于 2023-7-3 15:11
x + 1/y == z, y + 1/z == x, z + 1/x == y无解
两个等号啥意思？
如果是x + 1/y = z, y + 1/z = x, z +...
两个等号就是C语言上的逻辑等的意思，也就是一个等号的意思，但是编程语言上一个等号表示赋值，所以就用两个等号！
页:
[1]