怎么证明x-x=0,0与x无关减法的定义如果x+y=z,那么定义y=z-x其中x,z确定后y唯一存在然后定义x-x=0,可以证明0与x无关,请问怎么证明的?(前两排好像是域公理之一)回答者：szhfsxf-助理三级2-711:18

Question

怎么证明x-x=0,0与x无关
减法的定义如果x+y=z,那么定义y=z-x
其中x,z确定后y唯一存在
然后定义x-x=0,可以证明0与x无关,请问怎么证明的?
(前两排好像是域公理之一)
回答者：szhfsxf - 助理 三级 2-7 11:18
你的第二行到第三行是怎么推出来的,需要你证明的就是x+0=x,0是常数,你如果把这个看做理所当然那就没有意义了.(我以为这个命题是用来定义0这个数的)
回答者：semblez - 门吏 三级 2-7 12:34
不能证明有不等于能证明没有
小学应该学过的
基本逻辑

Answer 1

证明A：在平面直角坐标系作f(x)=x-x曲线.可知f(x)处处为零,f(x)=0有无穷多解,因此0与x无关.
证明B：x非零时,(x-x)/x=x/x-x/x=1-1=0.
x=0时,x-x=0,因此无论x是否为零,即x为任何数时均存在x-x=0.因此0与x无关.