数学上的一个新逻辑: xie氏 两数直接对比法

谢芝灵

在数学上常有两个数的大小比较,如不等式的证明.
我定义对比号为 "＜＞",
两个数的大小对比,分别放在 戏比号!的两边.如 a与b的大小对比:a＜＞b
上面数字一确定各自的位置,即谁左边谁右边.
再在 a＜＞b进行几何化.
最后得到两个最简形式:a0＜＞b0,
如果 a0＞b0,则 a＞b
如果 a0＜b0,则 a＜b
如果 a0＝b0,则 a＝b
公理:两个同等的起步条件,两个同等的过程,必有同等的结果.
得 起步条件大小的双方,经过同等的过程,最后大小方向不变.
注意点:第一步对比号的左右,到最后结果对比号的左右的大小不变.
            不准两边同乘负号,负数可移向对方.

实例:求证 :2√3+1＞3√2
对比法:2√3+1＜＞3√2
上式两边平方得:12+4√3+1＜＞18
得:4√3＜＞5
上式两边平方:48＜＞25
因为  48＞25
所以:2√3+1＞3√2

实例:求证 :a^2+b^2≥2ab    ,a,b为实数.
证: a^2+b^2＜＞2ab
得  a^2-2ab+b^2＜＞0
得a-b)^2＜＞0
因为 a-b)^2≥0
所以 :a^2+b^2≥2ab

实例:求证 : 5的开立方＜√3
证:5的开立方＜＞√3
上式两边立方后:5＜＞3√3
上式两边平方:25＜＞27
因为:25＜27
所以 :5的开立方＜√3

上面的逻辑 是,把我们平时对比的两个数直接平等的参入几何化.
人类之前的 对比是分开的,

elim

篡改概念，说了不算. Jzkyllcjl 畜生不如的数学也未必就与之相容.

jzkyllcjl

你是想创新，这需要批判旧的，检验新的工作过程。0.3333……不等于1/3 的问题，可以说我们已经这样做了。
对比号为 "＜＞" 现行几何学中有定义，数的理论中也有定义；建立了数轴概念之后。两者之间有一一对应关系。数与点之间需要有相互依赖的关系。完全脱离数的对比号为 "＜＞"研究，恐怕难以构成一个完备体系。暂时提一个问题：圆周率 π 与 3.141592653589793238462643383279502884197169399375105820974944 之间哪个大？

谢芝灵

公理:两个同等的起步条件,两个同等的过程,必有同等的结果.
得 起步条件大小的双方,经过同等的过程,最后大小方向不变.
注意点:第一步对比号的左右,到最后结果对比号的左右的大小不变.

谢芝灵

jzkyllcjl 发表于 2017-6-19 02:12
你是想创新，这需要批判旧的，检验新的工作过程。0.3333……不等于1/3 的问题，可以说我们已经这样做了。
...

暂时提一个问题：圆周率 π 与 3.141592653589793238462643383279502884197169399375105820974944 之间哪个大？
=================
两者不属一个数系,不可对比.不在这个直接对比法之中.
我的直接对比法仅对比是同类数系的两个.

谢芝灵

实例:求证 :2√3+1＞3√2
对比法:2√3+1＜＞3√2
上式两边平方得:12+4√3+1＜＞18
得:4√3＜＞5
上式两边平方:48＜＞25
因为  48＞25
所以:2√3+1＞3√2

方法二:

实例:求证 :2√3+1＞3√2
对比法:2√3+1＜＞3√2
上式得:2√3＜＞3√2-1
上式两边平方得:12＜＞19-6√2
上式移项后:6√2＜＞7
上式两边平方:72＜＞49
因为 :72＞49
所以:2√3+1＞3√2

jzkyllcjl

谢芝灵 发表于 2017-6-19 03:27
暂时提一个问题：圆周率 π 与 3.141592653589793238462643383279502884197169399375105820974944 之间哪 ...

这两个数都是实数。

谢芝灵

jzkyllcjl 发表于 2017-6-19 09:03
这两个数都是实数。

两个是实数 才有可比性.