宇宙真相(96):这个反证法没有证明0不能作分母

宇宙真相(九十六):这个反证法没有证明0不能作除法分母作者:宇宙邪灵讨论事项:为什么0不能作除法分母 。 某位高数人士用到了1为G群的单位元 。 乘法逆元定义 , 再用反证法 证明 0没有乘法逆元 。 1为G群的单位元乘法逆元定义: a×a’=1上式其实为:a×(1/a)=1a与(1/a)互为乘法逆元0与(1/0)互为乘法逆元他的证明:定理:0不能作除法分母 。 反证法:假设0有乘法逆元 , 记为a , 代入上定义则有(1):0*a=1 。我们能证明(2):0*a=0 。 (2)代入(1) , 得:0=1 。 可以肯定能证明 0=1 错误 。 所以 0不能作除法分母 。 证毕 。 =======================上面证明正确吗?上面证明了0不能作除法分母 吗?分析:〖1〗1为G群的单位元乘法逆元定义:a*(1/a)=1他的反证法:假设有0乘法逆元(1/0)把0和(1/0)代入〖1〗既:0*(1/0)=1得到 0=1矛盾只能证得:0*(1/0)≠1证明了(1)只能为 0*a≠1也就是当a=0 时否定了:a*(1/a)=1 , 也就是得到: 0*(1/0)≠1 与元素 (1/0)没关系 。 没有证明 0不能作除法分母 。 他是把 0和 1/0 代入定义得:0*(1/0)=1也就是他假设 0*(1/0)=1 正确 , 再得到矛盾 , 只能证明 0*(1/0)≠1。 没证明: 0不能作除法分母 。 结论:证明了“1为G群的单位元乘法逆元定义”不具广义性、当a=0 是不成立的 。 他的反证法 没有证明: 0不能作除法分母 。 看似高大上的反证法 , 又用到了乘法逆元 , 具有很大的欺骗性 。 他的这种方法广为高数人士流传和采用 , 可能是高数教师的范标 。 我能证明 除法分母不能为0 , 这里就不证明了 。 就透露一点点:0的合逻辑定义:任意一个数a被移走:a-a零是唯一一个零维空数 , 0与非0数不同类 。 http://blog.sina.com.cn/s/blog_6aa947af0102z0gr.html


    推荐阅读