如果你期待这里是哥德巴赫猜想的证明啥的,那你可能要失望了,这里只是一个纯粹的自然数加法证明。
引言
15年前,和同学闲聊的我被一个问题难住了。
1
2
3
4
5
:1+1等于几?
:2
:1+1为什么等于2?
面对这个问题我一时语塞,对于一个没接触过高等数学的中学生来说,这种抽象的问题没有任何切入点和思路,我甚至回家后还搜索了百度,但是也没得到自己满意的答案(当然如果那个时候我学会科学上网,就是另一个结局了)。
于是乎,这个问题就成为了陪伴我这几十年来的疑惑,也成为了我对数学爱好的起源(之一?),甚至可以说我当年填报专业选择数学也是有这方面的因素。当然,本科阶段的学习过后我就明白为啥1+1等于2了,不过我一直想找个机会用最直观最简单的方式把1+1为什么等于2解释给15年前的我,这也是我写这篇文章的初衷。
定义自然数
首先,我们思考一个问题,为什么自然数域是一个可数无上界无穷的集合?为什么自然数的增长顺序是
而不是以下这些呢?
因为事实就是,自然数是被定义出来的
为了理解这个定义过程我们需要抛弃原有的自然数认知:1并不是本来就存在的,1只是一个符号,它代表的就是0的后继数(这个后面会展开),同理2也是。0,1,2,3的增长顺序并不是因为它本身就长这样,而是数学家定义了自然数后,用1,2,3,4,…这串符号来代表每个自然数域中的每个数,并让这个数字系统变为标准
那么,自然数是如何定义的?
自然数的定义其实就是皮亚诺公理:
-
是自然数;
-
每一个确定的自然数,都有一个确定的后继数,也是自然数;
-
对于每个自然数、,当且仅当;
-
不是任何自然数的后继数;
-
任意关于自然数的命题,如果能证明:它对自然数是真,且假定它对自然数为真时,可以证明对也真。那么,该命题对所有自然数都为真。
公理2的定义告诉我们,自然数的增长是唯一的,一个数的后继数不可能有两个,因此图2所示0的下一个数同时是1和2的情况就不可能存在了,即自然数的增长不会出现”分岔“了。
但是,只看公理2的话,自然数增长的”合并“也是可能出现的,如图3所示,1和2的下一个数都是确定的3。所以,公理3就告诉我们,如果1和2的后继数都是3,那么1和2其实是相等的,但很明显,所以这种”合并“的增长也不会出现了。
那么,环形的增长呢?如图4所示,某个大数的后继数是0时,公理2和3也是满足的。所以在公理4中,我们严格规定了0不能是任何自然数的后继数,因此,自然数的增长也不能是“环状”的了。
最后,为了限定自然数的外延,防止部分有理数进入自然数的定义(例如0.5等),同时使一些运算在自然数内完备(如加法和乘法,任何两个自然数的加法和乘法操作结果都属于自然数),我们会有公理5。假设没有公理5,那我们可以直接定义和之间有一个“自然数”使,,然后我们下一步定义加法的时候就会发现,加法对于自然数不完备了()(当然加法这里我们可以继续定义等,但如果把加法换成乘法,这里的定义就复杂得多了)这种定义下的自然数便是非标准数学系了
到此为止,自然数被定义,它是一个可数无上界无穷的集合,增长顺序为图1所示。
定义加法
同理,加法也是被定义的:
-
对于任意自然数,
-
对于任意自然数和,
1+1=2
由加法的第二条定义得知:
由加法的第一条定义得知:
至此
更多?
这里再展开一下加法结合律和交换律的证明吧,因为很明显1+1=2的证明并没有用到皮亚诺公理的第五条,这里用结合律和交换律的证明来强化一下第五条的使用
m+0=m
首先证明,因为在没有交换律的前提下我们并不能得出
当时,由于加法第一条定义可以得出,所以成立
假设为时该命题成立,那么我们有,那么,可以证明对于该命题也成立,根据皮亚诺定理,我们可以得知该命题对所有自然数为真
得证
n+S(m)=S(n+m)
当时,,成立
假设为时该命题成立,则,那么,可以证明对于该命题也成立,根据皮亚诺定理,我们可以得知该命题对所有自然数为真
结合律
即证明
当时,$(a+b)+0=a+b=a+(b+0)&,成立
假设为时该命题成立,则,那么,可以证明对于也成立,根据皮亚诺定理,我们可以得知该命题对所有自然数为真
交换律
即证明
当时,由上面的命题可以得出,所以成立
假设为时该命题成立,那么我们有,那么,可以证明对于该命题也成立,根据皮亚诺定理,我们可以得知该命题对所有自然数为真
结语
至此,15年前的我应该也能明白1+1为什么等于2了吧
references
[1] https://www.guokr.com/article/6556/
[2] https://www.zhihu.com/question/23866990/answer/128912950