文档库

最新最全的文档下载
当前位置:文档库 > 一加一等于几

一加一等于几

1+1=2,幼儿园里的小孩都知道,就是这么简单的东西,却耗费了大数学家陈景润一生的心血,虽大有斩获,却临终也不敢说1+1就是等于2。为什么?是不是我们每个人都知道这里面的奥妙呢?
先来点儿基础知识:
偶数:能被2整除的数,如2、4、6、8、10、12、14、16、18、20等等。
质数(以前叫素数):只能被它自己和1整除的数,如2、3、5、7、11、13、17、19、23、29、31、37、41、43、47、53、59、61、67、71、73、79、83、89、97等等,不知道谁规定的1不是质数。
哥德巴赫猜想:任何一个大偶数(大于等于6),都是两个奇质数之和(即:除2之外的任何质数)。
原文是:任何不小于6的偶数,都是两个奇质数之和;任何不小于9的奇数,都是3个奇质数之和。
此人1742年6月7日提出了这个猜想,经过世界各国几代数学家的不懈努力,直到1920年才多少有了点的眉目,真是“不学无术”,只会提问题,不会解决问题,弄得后人为他这一句话忙活了几百年,直到现在还没解决。但后来有人说,提出问题的人比解决问题的人更有



1+1=2源自哥德巴赫猜想
哥德巴赫猜想貌似简单,要证明它却着实不易,成为数学中一个著名的难题.18、19世纪,所有的数论专家对这个猜想的证明都没有作出实质性的推进,直到20世纪才有所突破.直接证明哥德巴赫猜想不行,人们采取了“迂回战术”,就是先考虑把偶数表为两数之和,而每一个数又是若干素数之积.如果把命题"每一个大偶数可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b",那么哥氏猜想就是要证明"1+1"成立.
1920年,挪威的布朗(Brun)证明了 “9+9 ”.
1924年,德国的拉特马赫(Rademacher)证明了“7+7 ”.
1932年,英国的埃斯特曼(Estermann)证明了 “6+6 ”.
1937年,意大利的蕾西(Ricei)先后证明了“5+7 ”,“4+9 ”,“3+15 ”和“2+366 ”.
1938年,苏联的布赫 夕太勃(Byxwrao)证明了“5+5 ”.
1940年,苏联的布赫 夕太勃(Byxwrao)证明了 “4+4 ”.
1948年,匈牙利的瑞尼(Renyi)证明了“1+c ”,其中c是一很大的自然数.
1956年,中国的王元证明了 “3+4 ”.
1957年,中国的王元先后证明了 “3+3 ”和 “2+3 ”.
1962年,中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了 “1+5 ”,中国的王元证明了“1+4 ”.
1965年,苏联的布赫 夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB),及 意大利的朋比利(Bombieri)证明了“1+3 ”.
1966年,中国的陈景润证明了 “1+2 ”[用通俗的话说,就是大偶数=素数+素数*素数或大偶数=素数+素数(注:组成大偶数的素数不可能是偶素数,只能是奇素数.因为在素数中只有一个偶素数,那就是2.)].
其中“s + t ”问题是

指:s个质数的乘积 与t个质数的乘积之和
20世纪的数学家们研究哥德巴赫猜想所采用的主要方法,是筛法、圆法、密率法和三角和法等等高深的数学方法.解决这个猜想的思路,就像“缩小包围圈”一样,逐步逼近最后的结果.




1+1=2在目前的数学系统中是不能证的,它是一个经验总结的公理,其他一切定理由它推导而得。1931年哥德尔证明:一个包含公理化的算术的系统中无法证明自己的无矛盾性,也就是说任何相容的形式体系无法证明自身相容性…这就说明像算术这种最简单的公理化命题是无法证明也无法否证的。用目前的数学系统去证明1+1=2就好像用1+1=2去证明1+1=2一样,自身是无法证明自身的正确性的。
In my opinion:
根据 陈氏定理 有
6=2+2*2
即有1+2=3(等式两边同时除以2,等式依然成立)
又3=3*1(一个自然数等于它本身乘以1所得乘积)
又3*1=1+1+1(乘法加法等价性)
根据等量代换有
1+2=3=1+1+1
此时有
1+2=1+1+1(等量代换)
两边同时减去一个相同的量 有
1+2-1=1+1+1-1(等式两别同时减去一个相同的正数,等式依然成立)
两边同时消除单位1
则有 2=1+1
此时有2=1+1
所以又1+1=2(等式的对称性原理)