1加1等于2怎么证明
详细内容
篇一:《如何证明一加一等于二？》
如何证明一加一等于二？
有这个必要吗？
如果你期待这里有哥德巴赫猜想的完整证明，我只能说哥们儿你失望了。我说的1和2可都是纯粹的自然数。你开始不屑一顾了吧：1＋1＝2不是显然的吗？可是你是否考虑过，以前学几何的时候，我们总是从一些公理开始，逐渐推出需要的结论。然而，代数的学习却不是这样。我们有的是加法表和乘法表，而这些表早已成为计算的直觉刻在脑子里。一个靠直觉构建起来的体系似乎不太让人觉得可信。如果连1+1=2这样简单的算式都无法证明，那么所有经由此类运算得到的结果都是不可信的，至少是不科学的。看来，我们需要挖掘一些比1+1=2更基本的东西。
什么是1，什么是2？
在证明之前，首先我们要明白什么是自然数，什么是加法。类似于几何的公理化理论体系，我们需要提出几个公理，然后据此定义自然数，进而定义加法。先来定义自然数。根据自然数的意义（也就是人类平时数数时对自然数的运用方法），它应该是从一个数开始，一直往上数，而且想数几个就可以数几个（也就是自然数有无限个）。据此我们得到以下公理：
公理1.0是一个自然数。
公理2.如果n是自然数，则S(n)也是自然数。
在这里，S(n)就代表n的“后继”，也就是n往上再数一个。没错，我们平时所说的0,1,2,3,⋯⋯，无非就是表示上述这种叫做“自然数”的数学对象的符号而已。我们用符号“0”来表示最初的那个自然数，用“1”来表示0的后继S(0)，而1的后继S(1)则用符号“2”来表示，等等。
可是仅有这两个公理还不够完整地描述自然数，因为满足这两条的有可能不是自然数系统。比如考虑由0,1,2,3构成的数字系统，其中S(3)=0（即3的后一个数变回0）。这不符合我们对于自然数系统的期望，因为它只包含有限个数。因此，我们要对自然数结构再做一下限制：
公理3.0不是任何一个数的后继。
但这里面的漏洞防不胜防，此时仍不能排除如下的反例：数字系统0,1,2,3，其中S(3)=3。看来，我们设置的公理还不够严密。我们还得再加一条：公理4.若n与m均为自然数且n≠m，则S(n)≠S(m)。
也就是说，互不相同的两个自然数，它们各自的后继也是两个不同的数。这样一来，上面说到的反例就可以排除了，因为3不可能既是2的后继，也是3的后继。
最后，为了排除一些自然数中不应存在的数（如0.5），同时也为了满足一会儿制定运算规则的需要，我们加上最后一条公理。
公理5.（数学归纳法）设P(n)为关于自然数n的一个性质。如果P(0)正确，
且假设P(n)正确，则P(S(n))亦真实。那么P(n)对一切自然数n都正确。
有了这以上的努力，我们就可以这样定义自然数系了：存在一个自然数系N，称其元素为自然数，当且仅当这些元素满足公理1-5。
什么是加法？
我们定义，加法是满足以下两种规则的运算：
1.对于任意自然数m，0+m=m；
2.对于任意自然数m和n，S(n)+m=S(n+m)。
有了这两条仅依赖于“后继”关系的加法定义，任意两个自然数相加的结果都能确定出来了。
如何证明一加一等于二？
至此，我们可以证明1+1=2了：
1+1
=S(0)+1（根据自然数的公理）
=S(0+1)（根据加法定义2）
=S(1)（根据加法定义1）
=2（根据自然数的公理）
事实上，根据加法的定义，我们不但可以证明每一个加法等式，还可以进一步证明自然数的加法结合律和交换率等一般规律。类似于加法的定义，还可以定义自然数的乘法并据此证明乘法的结合律、交换率和分配率等。如果大家对这方面问题感兴趣的话，可以看看参考文献[1].
看到这里，不知道你会不会有一种如释重负的感觉。原来，我们所知道的关于数学的一切，关于人类认识世界的一切，都不是建立在直觉之上，而是在接受几个
公理的条件下通过理性的方法推导出来的。同时或许你还会有一种自由的感觉：正如你可以不接受欧几里得的公理而构造自己的几何体系一样，你也可以不接受上面的几个公理而建立自己的一套关于数的体系。你可以建立无数种奇奇怪怪的体系。不过如果是为了解释自然的话，至少从目前的角度看，现有的这套还是更好一些。
一些历史背景
上面所说的公理1-5便是著名的皮亚诺公理，它是意大利数学家皮亚诺在1889年发表的。虽然描述这套公理体系的数学语言发生过不少变化，但这套体系本身一直延用至今。根据这个建立在公理基础之上的自然数体系，通过引入减法可以得到整数系，再引入除法得到有理数体系。随后，通过计算有理数序列的极限（由数学家康托提出）或者对有理数系进行分割（由戴德金提出）得到实数系[2]。这一套公理化实数体系连同同时期魏尔斯特拉斯在微积分分析化过程中的贡献（例如极限定义中的ε-δ语言）一道，使得早已被人类应用两百多年的微积分学能建立在一个坚实的基础上[3]。
参考文献
[1]Analysis[M].TerenceTao
[2]数学史概论（第二版）[M].李文林
[3]AHistoryofMathematics,anIntroduction(SecondEdition)[M].VictorJ.Katz
篇二:《怎样证明一加一等于二》1+1等于2是成立的
在物理过程中，分子之间是不可以作为一个运算的，因为在分子过程中，分子之间的间隙各有差异的，不同的分子间隙的之间可以嵌入其他的物质，和形状也是不一样了。只有在同一种物质之内才能够运算。所以1+1=2，只能是在质量上比较完全成立。
篇三:《如何证明一加一等于二？》如何证明一加一等于二？
特斯拉的信徒2011-02-0913:27
有这个必要吗？
如果你期待这里有哥德巴赫猜想的完整证明，我只能说哥们儿你失望了。我说的1和2可都是纯粹的自然数。你开始不屑一顾了吧：1＋1＝2不是显然的吗？可是你是否考虑过，以前学几何的时候，我们总是从一些公理开始，逐渐推出需要的结论。然而，代数的学习却不是这样。我们有的是加法表和乘法表，而这些表早已成为计算的直觉刻在脑子里。一个靠直觉构建起来的体系似乎不太让人觉得可信。如果连1+1=2这样简单的算式都无法证明，那么所有经由此类运算得到的结果都是不可信的，至少是不科学的。看来，我们需要挖掘一些比1+1=2更基本的东西。
什么是1，什么是2？
在证明之前，首先我们要明白什么是自然数，什么是加法。类似于几何的公理化理论体系，我们需要提出几个公理，然后据此定义自然数，进而定义加法。先来定义自然数。根据自然数的意义（也就是人类平时数数时对自然数的运用方法），它应该是从一个数开始，一直往上数，而且想数几个就可以数几个（也就是自然数有无限个）。据此我们得到以下公理：
公理1.0是一个自然数。
公理2.如果n是自然数，则S(n)也是自然数。
在这里，S(n)就代表n的“后继”，也就是n往上再数一个。没错，我们平时所说的0,1,2,3,⋯⋯，无非就是表示上述这种叫做“自然数”的数学对象的符号而已。我们用符号“0”来表示最初的那个自然数，用“1”来表示0的后继S(0)，而1的后继S(1)则用符号“2”来表示，等等。
可是仅有这两个公理还不够完整地描述自然数，因为满足这两条的有可能不是自然数系统。比如考虑由0,1,2,3构成的数字系统，其中S(3)=0（即3的后一个数变回0）。这不符合我们对于自然数系统的期望，因为它只包含有限个数。因此，我们要对自然数结构再做一下限制：
公理3.0不是任何一个数的后继。
但这里面的漏洞防不胜防，此时仍不能排除如下的反例：数字系统0,1,2,3，其中S(3)=3。看来，我们设置的公理还不够严密。我们还得再加一条：公理4.若n与m均为自然数且n≠m，则S(n)≠S(m)。
也就是说，互不相同的两个自然数，它们各自的后继也是两个不同的数。这样一来，上面说到的反例就可以排除了，因为3不可能既是2的后继，也是3的后继。
最后，为了排除一些自然数中不应存在的数（如0.5），同时也为了满足一会儿制定运算规则的需要，我们加上最后一条公理。
公理5.（数学归纳法）设P(n)为关于自然数n的一个性质。如果P(0)正确，
且假设P(n)正确，则P(S(n))亦真实。那么P(n)对一切自然数n都正确。
有了这以上的努力，我们就可以这样定义自然数系了：存在一个自然数系N，称其元素为自然数，当且仅当这些元素满足公理1-5。
什么是加法？
我们定义，加法是满足以下两种规则的运算：
1.对于任意自然数m，0+m=m；{1加1等于2怎么证明}.
2.对于任意自然数m和n，S(n)+m=S(n+m)。
有了这两条仅依赖于“后继”关系的加法定义，任意两个自然数相加的结果都能确定出来了。
如何证明一加一等于二？
至此，我们可以证明1+1=2了：
1+1
=S(0)+1（根据自然数的公理）
=S(0+1)（根据加法定义2）
=S(1)（根据加法定义1）{1加1等于2怎么证明}.
=2（根据自然数的公理）
事实上，根据加法的定义，我们不但可以证明每一个加法等式，还可以进一步证明自然数的加法结合律和交换率等一般规律。类似于加法的定义，还可以定义自然数的乘法并据此证明乘法的结合律、交换率和分配率等。如果大家对这方面问题感兴趣的话，可以看看参考文献[1].
看到这里，不知道你会不会有一种如释重负的感觉。原来，我们所知道的关于数学的一切，关于人类认识世界的一切，都不是建立在直觉之上，而是在接受几个公理的条件下通过理性的方法推导出来的。同时或许你还会有一种自由的感觉：正如你可以不接受欧几里得的公理而构造自己的几何体系一样，你也可以不接受上面的几个公理而建立自己的一套关于数的体系。你可以建立无数种奇奇怪怪的
体系。不过如果是为了解释自然的话，至少从目前的角度看，现有的这套还是更好一些。
一些历史背景
上面所说的公理1-5便是著名的皮亚诺公理，它是意大利数学家皮亚诺在1889年发表的。虽然描述这套公理体系的数学语言发生过不少变化，但这套体系本身一直延用至今。根据这个建立在公理基础之上的自然数体系，通过引入减法可以得到整数系，再引入除法得到有理数体系。随后，通过计算有理数序列的极限（由数学家康托提出）或者对有理数系进行分割（由戴德金提出）得到实数系[2]。这一套公理化实数体系连同同时期魏尔斯特拉斯在微积分分析化过程中的贡献（例如极限定义中的ε-δ语言）一道，使得早已被人类应用两百多年的微积分学能建立在一个坚实的基础上[3]。
参考文献
[1]Analysis[M].TerenceTao
[2]数学史概论（第二版）[M].李文林
[3]AHistoryofMathematics,anIntroduction(SecondEdition)[M].VictorJ.Katz
篇四:《一加一等于二的最简单证明方法》哥德巴赫猜想：对于任一偶数，必能找出一个质数加上另一个质数等于它。
欲证其不成立，则需找出至少一个偶数，对于该偶数，找不到一个质数加上另一质数等于它。即排出第一个质数1、3、5、7、11…….均找不到第二个质数。众所周知，偶数=奇数+奇数，划线处所说排出第一个质数，质数排列无规律可循，为观察方便，改为排列第一个奇数1、3、5、7、9、11…然后用黑笔标记质数，红笔标记非质数，即为1、3、5、7、9、11…至于第二个质数，则为运算所得。现将偶数2、4、6、8…排为第一竖列，将多个偶数放在一起观看，得图一。
21+1无无无无无
41+33+1无无无无
61+53+35+1无无无
81+73+55+37+1无无
101+93+75+57+39+1无
121+113+95+77+59+311+1
141+133+115+97+79+511+3
161+153+135+117+99+711+5
181+173+155+137+119+911+7
201+193+175+157+139+1111+9
221+213+195+177+159+1311+11
241+233+215+197+179+1511+13
261+253+235+217+199+1711+15
281+273+255+237+219+1911+17
301+293+275+257+239+2111+19
图中式子记为A+B，将该位置抽象为一点，若A、B均为质数，则该点表示为“v”，若A、B中有一个不是质数，则该点表示为“a”，于是得图二。
v
vv
vvv
vvvv
avvv
vavv
vvav
avva
vavv
vvav
avva
vavv
avav
aava
vaav
vaa
va
v
结合图一，将A为非质数且相等的点连成线（红色），下面将证明为什么将B为非质数且相等的点连起来为一系列斜线：
证明：因相邻A值相差为2，设有A1，A2，A1+2=A2，相邻偶数差值也为2，设有a,b,a+2=b。对应B值分别为B1，B2。（B值均大于0）
B1=a-A1
B2=b-A2=(a+2)-(A1+2)=a-A1=B1
由此观之，相同B值的点可连成斜线，斜率均为-1。
连线后，得图3。{1加1等于2怎么证明}.
图4
于是问题抽象为能否在图3的红色竖线与红色斜线中找到至少一条红色横线，结合图4知欲找出此种横线，必得斜线平行且两两距离相等（c），且竖线平行且两两距离相等（d）。由图3可知，从上至下第2、3斜线间距离大于第3、4斜线间距离。故找不到一条红线。
综上所述，哥德巴赫猜想成立。
如果有谁发现其中的错误，请指证出来，谢谢了。
篇五:《1的平方加2的平方加n的平方的证明》法一：代数法
利用立方差公式
∵（a+1）³-a³=3a²+3a+1（即（a+1)³=a³+3a²+3a+1）
a=1时：2³-1³=3×1²+3×1+1
a=2时：3³-2³=3×2²+3×2+1
a=3时：4³-3³=3×3²+3×3+1
a=4时：5³-4³=3×4²+3×4+1
.
a=n时：（n+1）³-n³=3×n²+3×n+1
等式两边相加：
（n+1)³-1=3（1²+2²+3²+.+n²）+3（1+2+3+.+n）+（1+1+1+.+1）
移项可得：
3（1²+2²+3²+.+n²）=（n+1）³-1-3（1+2+3+.+n）-（1+1+1+.+1）
3（1²+2²+3²+.+n²）=（n+1）³-1-3（1+n）×n÷2-n
6（1²+2²+3²+.+n²）=2（n+1)³-3n（1+n)-2(n+1)
=(n+1)[2(n+1)²-3n-2]
=(n+1)[2(n+1)-1][(n+1)-1]
=n(n+1)(2n+1)
∴1²+2²+.+n²=n（n+1)（2n+1）/6.
1^2+2^2+3^2+...+n^2=n(n+1)(2n+1)/6
另外一个很好玩的做法:
法二：几何法
想像一个有圆圈构成的正三角形,
第一行1个圈,圈内的数字为1
第二行2个圈,圈内的数字都为2,
以此类推
第n行n个圈,圈内的数字都为n,
我们要求的平方和,就转化为了求这个三角形所有圈内数字的和.设这个数为r下面将这个三角形顺时针旋转60度,得到第二个三角形
再将第二个三角形顺时针旋转60度,得到第三个三角形
然后,将这三个三角形对应的圆圈内的数字相加,
我们神奇的发现所有圈内的数字都变成了2n+1
而总共有几个圈呢,这是一个简单的等差数列求和
1+2+……+n=n(n+1)/2
于是3r=[n(n+1)/2]*(2n+1)
r=n(n+1)(2n+1)/6
篇六:《2.2.1定义、命题、证明(2)》