发现有贴图的主题均显示空白页. 没有出错代号或出错信息

elim

发现有贴图的主题均显示空白页. 没有出错代号或出错信息

谢芝灵

你是个大骗子，就会胡说八道。
我下面的有图吗？ 照样打不开。
http://www.mathchina.com/bbs/for ... &extra=page%3D2
=====================
宇宙真相（九十六）：这个反证法没有证明0不能作除法分母


作者：宇宙邪灵

讨论事项：为什么0不能作除法分母。
某位高数人士用到了1为G群的单位元。乘法逆元定义，再用反证法 证明 0没有乘法逆元。

1为G群的单位元乘法逆元定义： a×a’=1
上式其实为：a×（1/a）=1
a与（1/a）互为乘法逆元
0与（1/0）互为乘法逆元

他们的证明：
定理：0不能作除法分母。
反证法：
证法一：
假设0有乘法逆元，记为a，代入上定义则有（1）：0*a=1。      
我们能证明（2）：0*a=0。
（2）代入（1），得：0=1。
可以肯定能证明 0=1 错误。
所以 0不能作除法分母。
证毕。

证法二：
0a +0a = (0+0)a = 0a. 两边减去 0a 得 0a=0.
0 可做分母等价于0有剩法逆元1/0. 将其乘以0a=0
两边得1=(1/0)0=(1/0)(0a)=((1/0)0)a = 1a=a 即0可做
分母导致一切数都相等的矛盾．
所以在满足域公理的数系中0 必不可逆，0不能作分母．

=======================
上面证明正确吗？
上面证明了0不能作除法分母 吗？


分析：
0不能做分母，我们讨论的对象是 ：1/0  
我们就是要证明 1/0  属于矛盾（也叫 1/0错误，或叫 1/0不存在）。

〖1〗1为G群的单位元乘法逆元定义：a*（1/a）=1   

   1/0  合不合逻辑？
如果  1/0  不合逻辑，则我们不能引用  1/0  进行数学逻辑。
所以，只好用反证法，假设  1/0  合逻辑。
反证法的逻辑：必须把 假设  合逻辑的1/0 代人到正确的数学逻辑之中，如果得到矛盾。
则 证明了 1/0  不合逻辑，也就是0不能做分母。

有个问题：我们把 1/0 代入到另一个错误的C体系中，得到了矛盾。这个矛盾必是1/0引起的吗？
当然不能证明矛盾一定来自1/0，因为 C体系为错误的。

他的反证法：
假设  有0乘法逆元（1/0）
把0和（1/0）代入〖1〗既：0*（1/0）=1
得到 0=1  矛盾
只能证得：0*（1/0）≠1
证明了（1）只能为 0*a≠1
【我注：因为0*（1/0）=1 是个错误的等式，不能把1/0代入到一个错误中去推理，得到了矛盾也不能算在1/0上。】

他们是把 0和 1/0 代入定义得：0*（1/0）=1
也就是他们用了第二个假设 0*（1/0）=1 正确，
再得到矛盾，只能证明 0*（1/0）≠1 。
没证明： 0不能作除法分母。

结论：
证明了“1为G群的单位元乘法逆元定义”不具广义性、当a=0 是不成立的。
也就是证明了：0元素不在G群。
他的反证法 没有证明： 0不能作除法分母。
看似高大上的反证法，又用到了乘法逆元，具有很大的欺骗性。
他的这种方法广为高数人士流传和采用，可能是高数教师的范标。
我能证明 除法分母不能为0，这里就不证明了。
就透露一点点：
0的合逻辑定义：任意一个数a被移走：a-a
0是唯一一个零维空数，0与非0数不同类，0不属G群元素。
0与实数不属同类数，0不属实数。

elim

吃狗尿的谢芝灵，我说过沒贴图的一定能打开吗？还口口声声逻辑呢，你那些狗尿堆逻辑的功用就一个：自残·