怎样证明1>0
发布网友
发布时间：2022-04-29 03:36
共5个回答
热心网友
时间：2023-10-09 11:11
楼主看这个，如果我理解对了你的意思。我也遇到了一样的问题，不知道自己做的对不对。这里我使用了基本定理(axiom)，没有用到任何常识，就像1>0本来就是常识。
A1: if x=w, y=z, then x+y=w+z
A2: x+y=y+x.
A3: x+(y+z)=(x+y)+z
A4: x+0=x 0 is a unique number
A5: x+(-x)=0 (-x) is a unique number
M1: 同上 M2: 同上 M3:同上 M4: x*1=x M5: x*(1/x)=1
DL: 分配律
O1:x<y or x>y or x=y.
O2:x<y, and y<z, then x<z.
O3:x<y, then x+z<y+z.
O4: x<y, and z>0, then xz<yz.
首先要证明x^2>=0.
x>0, 或写作0<x.
所以 0*x<x*x =x^2 axiom O4
0+0*x=0*x=(0+0)*x axiom A4， and A2
=0*x+0*x DL
[0+0*x]+(- 0*x) = [0*x+0*x]+(- 0*x) axiom A1
0+[0*x+(- 0*x)]= 0*x+[0*x+(- 0*x)] axiom A3
0+0=0*x+0 axiom A5
0=0*x axiom A4
所以 0<x^2
x=0, x^2=0^2=0
x<0,
x+(-x)<0+(-x) axiom O3
0<-x axiom A5, and A4
所以 x*(-x)<0*(-x) axiom O4
同一，可证明 0=0*(-x)
所以 x*(-x)<0
x*[x*(-1)]<0 axiom M2
(x*x)*(-1)<0 axiom M3
X^2*(-1)<0
-X^2<0 axiom M2
X^2+(-X^2)<X^2+0 axiom O3
0<X^2 axiom A5, and A4
这样就证明完了x^2>=0.
然后，1=1^2>=0.
我们就假设1=0，并取一个非零实数a.
a=a*1 axiom M4
=a*0 假设了1=0
从上面我们已知了0=0*x 或者0=0*(-x). 所以这里a=0
这样就与非零实数a相矛盾。
所以1=0这种情况排除，只剩>0的情况。
如果楼主知道怎么做了麻烦告诉我下，明天要交作业。。。
热心网友
时间：2023-10-09 11:11
热心网友
时间：2023-10-09 11:12
不等式两边同时加一个数 不等号方向不变，
两边同加1则
1大于0
热心网友
时间：2023-10-09 11:12
1 是正数
所以 1>0
热心网友
时间：2023-10-09 11:13
热心网友
时间：2023-10-09 11:11
楼主看这个，如果我理解对了你的意思。我也遇到了一样的问题，不知道自己做的对不对。这里我使用了基本定理(axiom)，没有用到任何常识，就像1>0本来就是常识。
A1: if x=w, y=z, then x+y=w+z
A2: x+y=y+x.
A3: x+(y+z)=(x+y)+z
A4: x+0=x 0 is a unique number
A5: x+(-x)=0 (-x) is a unique number
M1: 同上 M2: 同上 M3:同上 M4: x*1=x M5: x*(1/x)=1
DL: 分配律
O1:x<y or x>y or x=y.
O2:x<y, and y<z, then x<z.
O3:x<y, then x+z<y+z.
O4: x<y, and z>0, then xz<yz.
首先要证明x^2>=0.
x>0, 或写作0<x.
所以 0*x<x*x =x^2 axiom O4
0+0*x=0*x=(0+0)*x axiom A4， and A2
=0*x+0*x DL
[0+0*x]+(- 0*x) = [0*x+0*x]+(- 0*x) axiom A1
0+[0*x+(- 0*x)]= 0*x+[0*x+(- 0*x)] axiom A3
0+0=0*x+0 axiom A5
0=0*x axiom A4
所以 0<x^2
x=0, x^2=0^2=0
x<0,
x+(-x)<0+(-x) axiom O3
0<-x axiom A5, and A4
所以 x*(-x)<0*(-x) axiom O4
同一，可证明 0=0*(-x)
所以 x*(-x)<0
x*[x*(-1)]<0 axiom M2
(x*x)*(-1)<0 axiom M3
X^2*(-1)<0
-X^2<0 axiom M2
X^2+(-X^2)<X^2+0 axiom O3
0<X^2 axiom A5, and A4
这样就证明完了x^2>=0.
然后，1=1^2>=0.
我们就假设1=0，并取一个非零实数a.
a=a*1 axiom M4
=a*0 假设了1=0
从上面我们已知了0=0*x 或者0=0*(-x). 所以这里a=0
这样就与非零实数a相矛盾。
所以1=0这种情况排除，只剩>0的情况。
如果楼主知道怎么做了麻烦告诉我下，明天要交作业。。。
热心网友
时间：2023-10-09 11:11
热心网友
时间：2023-10-09 11:12
不等式两边同时加一个数 不等号方向不变，
两边同加1则
1大于0
热心网友
时间：2023-10-09 11:12
1 是正数
所以 1>0
热心网友
时间：2023-10-09 11:13
热心网友
时间：2023-10-09 11:11
楼主看这个，如果我理解对了你的意思。我也遇到了一样的问题，不知道自己做的对不对。这里我使用了基本定理(axiom)，没有用到任何常识，就像1>0本来就是常识。
A1: if x=w, y=z, then x+y=w+z
A2: x+y=y+x.
A3: x+(y+z)=(x+y)+z
A4: x+0=x 0 is a unique number
A5: x+(-x)=0 (-x) is a unique number
M1: 同上 M2: 同上 M3:同上 M4: x*1=x M5: x*(1/x)=1
DL: 分配律
O1:x<y or x>y or x=y.
O2:x<y, and y<z, then x<z.
O3:x<y, then x+z<y+z.
O4: x<y, and z>0, then xz<yz.
首先要证明x^2>=0.
x>0, 或写作0<x.
所以 0*x<x*x =x^2 axiom O4
0+0*x=0*x=(0+0)*x axiom A4， and A2
=0*x+0*x DL
[0+0*x]+(- 0*x) = [0*x+0*x]+(- 0*x) axiom A1
0+[0*x+(- 0*x)]= 0*x+[0*x+(- 0*x)] axiom A3
0+0=0*x+0 axiom A5
0=0*x axiom A4
所以 0<x^2
x=0, x^2=0^2=0
x<0,
x+(-x)<0+(-x) axiom O3
0<-x axiom A5, and A4
所以 x*(-x)<0*(-x) axiom O4
同一，可证明 0=0*(-x)
所以 x*(-x)<0
x*[x*(-1)]<0 axiom M2
(x*x)*(-1)<0 axiom M3
X^2*(-1)<0
-X^2<0 axiom M2
X^2+(-X^2)<X^2+0 axiom O3
0<X^2 axiom A5, and A4
这样就证明完了x^2>=0.
然后，1=1^2>=0.
我们就假设1=0，并取一个非零实数a.
a=a*1 axiom M4
=a*0 假设了1=0
从上面我们已知了0=0*x 或者0=0*(-x). 所以这里a=0
这样就与非零实数a相矛盾。
所以1=0这种情况排除，只剩>0的情况。
如果楼主知道怎么做了麻烦告诉我下，明天要交作业。。。
热心网友
时间：2023-10-09 11:11
热心网友
时间：2023-10-09 11:12
不等式两边同时加一个数 不等号方向不变，
两边同加1则
1大于0
热心网友
时间：2023-10-09 11:12
1 是正数
所以 1>0
热心网友
时间：2023-10-09 11:13
