QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 4125|回复: 7
打印 上一主题 下一主题

如何证明一加一等于二?

[复制链接]
字体大小: 正常 放大
shaox 实名认证       

16

主题

42

听众

1061

积分

升级  6.1%

  • TA的每日心情
    开心
    2013-9-15 16:21
  • 签到天数: 266 天

    [LV.8]以坛为家I

    群组数学建摸协会

    群组西安交大数学建模

    群组学术交流A

    群组数学建模认证项目实训

    跳转到指定楼层
    1#
    发表于 2012-8-26 11:11 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
       这个是我在果壳科技上看到的,给大家分享一下~~
    : D1 L4 v' }* \. L' `   原文地址http://www.guokr.com/article/6556/?replypage=1#comments  y6 n/ _0 c0 p1 ]. e
    ) Q, t! N  R# Q) F
    / B7 |) H+ A9 ?
    . F7 `! J6 g# x. s
      如何证明一加一等于二?
    + K. R. y6 Q- }; c( u/ {7 e特斯拉的信徒 2011-02-09 13:27:02
    1 a& P: \2 u- g- m: l% l: }6 g* x以前学几何的时候,我们总是从一些公理开始,逐渐推出需要的结论。然而,代数的学习却不是这样。我们有的是加法表和乘法表,而这些表早已成为计算的直觉刻在脑子里。与算术有关的命题是否也是由更基本的东西推导过来的呢?
    0 y" j* h* R* ^& k3 D, f5 e
    5 B6 x4 z0 p' Y( v6 Y' n( p, h有这个必要吗?
    , U+ e$ S; [0 f! c: ]& G4 w% T如果你期待这里有哥德巴赫猜想的完整证明,我只能说哥们儿你失望了。我说的 1 和 2 可都是纯粹的自然数。你开始不屑一顾了吧:1 + 1 = 2 不是显然的吗?可是你是否考虑过,以前学几何的时候,我们总是从一些公理开始,逐渐推出需要的结论。然而,代数的学习却不是这样。我们有的是加法表和乘法表,而这些表早已成为计算的直觉刻在脑子里。一个靠直觉构建起来的体系似乎不太让人觉得可信。如果连 1 + 1 = 2 这样简单的算式都无法证明,那么所有经由此类运算得到的结果都是不可信的,至少是不科学的。看来,我们需要挖掘一些比 1 + 1 = 2 更基本的东西。$ l" U' i! f& L; l5 ~
    " R0 u9 a) k- I7 m0 M
    什么是 1,什么是 2?
    & s8 J0 b( o) A2 Y: }0 i在证明之前,首先我们要明白什么是自然数,什么是加法。类似于几何的公理化理论体系,我们需要提出几个公理,然后据此定义自然数,进而定义加法。
    * q3 r# {* J" Q$ z* B% S
    9 x$ J/ J1 i2 X0 l2 h+ H- y& D先来定义自然数。根据自然数的意义(也就是人类平时数数时对自然数的运用方法),它应该是从一个数开始,一直往上数,而且想数几个就可以数几个(也就是自然数有无限个)。据此我们得到以下公理:/ s9 _" l  s1 }# e

    ( H8 o# x8 M8 T3 w3 H: _6 s; h公理 1. 0 是一个自然数。: T. N- M; i9 ~6 ]
    公理 2. 如果 n 是自然数,则 S(n) 也是自然数。( Z7 s. S& S* X" J! t6 p
    在这里, S(n) 就代表 n 的“后继”,也就是 n 往上再数一个。没错,我们平时所说的 0, 1, 2, 3, ⋯⋯,无非就是表示上述这种叫做“自然数”的数学对象的符号而已。我们用符号“0”来表示最初的那个自然数,用“1”来表示 0 的后继 S(0),而 1 的后继 S(1) 则用符号“2”来表示,等等。% C% o+ y( b# w

    ' `7 n$ m8 \+ S  R. a可是仅有这两个公理还不够完整地描述自然数,因为满足这两条的有可能不是自然数系统。比如考虑由 0, 1, 2, 3 构成的数字系统,其中 S(3) = 0(即 3 的后一个数变回 0)。这不符合我们对于自然数系统的期望,因为它只包含有限个数。因此,我们要对自然数结构再做一下限制:
    ! }, h- _, S$ P4 Z8 `- M" e: h$ ?) U! [: U% B, c6 E1 u; B2 r
    公理 3. 0 不是任何一个数的后继。9 k3 G: \9 i( R" ~
    但这里面的漏洞防不胜防,此时仍不能排除如下的反例:数字系统 0, 1, 2, 3,其中 S(3) = 3。看来,我们设置的公理还不够严密。我们还得再加一条:# h0 q* [4 ?) `. c) Q6 S+ a* O
    & L. m* W1 r7 A/ \
    公理 4. 若 n 与 m 均为自然数且 n ≠ m,则 S(n) ≠ S(m)。
      A- N8 D& z( f7 G& b也就是说,互不相同的两个自然数,它们各自的后继也是两个不同的数。这样一来,上面说到的反例就可以排除了,因为 3 不可能既是 2 的后继,也是 3 的后继。
    5 r! _1 D) a; A
    ; b/ c9 v3 f2 E最后,为了排除一些自然数中不应存在的数(如 0.5),同时也为了满足一会儿制定运算规则的需要,我们加上最后一条公理。
    5 M! f  R+ G  F1 x2 P" K
    + y- o6 n1 u1 ]0 d1 G+ _公理 5. (数学归纳法)设 P(n) 为关于自然数 n 的一个性质。如果 P(0) 正确,) `) u, U4 Z  Y+ e$ J
    且假设 P(n) 正确,则 P(S(n)) 亦真实。那么 P(n) 对一切自然数 n 都正确。
    7 ^! y3 R1 ~9 F. m有了这以上的努力,我们就可以这样定义自然数系了:存在一个自然数系 N,称其元素为自然数,当且仅当这些元素满足公理 1 - 5。
    ' U. v) _) J9 V# q# F' T8 H; Y7 P+ ^
    什么是加法?( K7 ^# o8 u; h+ I0 e
    我们定义,加法是满足以下两种规则的运算:  w1 o0 D' f& n+ V
    / d+ O% l4 v/ x+ Z# x
    1. 对于任意自然数 m,0 + m = m;
    $ Y  a( W/ c+ Q$ u& H4 ~2. 对于任意自然数 m 和 n,S(n) + m = S(n + m)。0 Q6 r; Z" N* b& J/ W
    有了这两条仅依赖于“后继”关系的加法定义,任意两个自然数相加的结果都能确定出来了。  S7 O# ^  p3 P' v7 U6 e

    ( G! s& ~( \) d( S1 G* ~" u, q如何证明一加一等于二?
    & `5 G0 S" w3 P6 G! l( e, f至此,我们可以证明 1 + 1 = 2 了:4 I3 q) E2 l% H) Q

    ! x+ j, @2 m" X$ S+ n   1 + 1
      l: i- j* O5 Z= S(0) + 1  (根据自然数的公理)
    2 N9 u$ k; ^. j; W! ]& U= S(0 + 1)  (根据加法定义 2)! T* i7 }6 Y2 Q5 s. ~; t% r- K) R
    = S(1)      (根据加法定义 1)1 \3 i  w1 D8 f! L$ c. B, {
    = 2         (根据自然数的公理)9 f$ J- N6 h/ X* i' _
    事实上,根据加法的定义,我们不但可以证明每一个加法等式,还可以进一步证明自然数的加法结合律和交换率等一般规律。类似于加法的定义,还可以定义自然数的乘法并据此证明乘法的结合律、交换率和分配率等。如果大家对这方面问题感兴趣的话,可以看看参考文献[1].
    5 ]& m% }! k1 W+ X( p! G2 D& b, n- O5 l7 C( d
    看到这里,不知道你会不会有一种如释重负的感觉。原来,我们所知道的关于数学的一切,关于人类认识世界的一切,都不是建立在直觉之上,而是在接受几个公理的条件下通过理性的方法推导出来的。同时或许你还会有一种自由的感觉:正如你可以不接受欧几里得的公理而构造自己的几何体系一样,你也可以不接受上面的几个公理而建立自己的一套关于数的体系。你可以建立无数种奇奇怪怪的体系。不过如果是为了解释自然的话,至少从目前的角度看,现有的这套还是更好一些。7 X7 d' L' C8 B! O

    - @6 s1 ^' [5 r. W" o, P6 h一些历史背景5 A5 B# o2 J) g1 e0 j& u/ Z/ R
    上面所说的公理 1 - 5 便是著名的皮亚诺公理,它是意大利数学家皮亚诺在 1889 年发表的。虽然描述这套公理体系的数学语言发生过不少变化,但这套体系本身一直延用至今。根据这个建立在公理基础之上的自然数体系,通过引入减法可以得到整数系,再引入除法得到有理数体系。随后,通过计算有理数序列的极限(由数学家康托提出)或者对有理数系进行分割(由戴德金提出)得到实数系 [2]。这一套公理化实数体系连同同时期魏尔斯特拉斯在微积分分析化过程中的贡献(例如极限定义中的 ε-δ 语言)一道,使得早已被人类应用两百多年的微积分学能建立在一个坚实的基础上 [3]。
    * u& k( O5 z% b  B, {3 ^6 s, b
    0 ?+ x) A; o# D8 ?% `) v8 K参考文献
    0 S, T" W9 K& n$ w# g& `7 u[1] Analysis [M]. Terence Tao0 T/ ?6 {/ E! l- r
    [2] 数学史概论(第二版)[M]. 李文林
    , K* H: E2 d# H: x7 U( q[3] A History of Mathematics, an Introduction (Second Edition) [M]. Victor J. Katz
    zan
    已有 1 人评分体力 收起 理由
    darker50 + 4 赞一个!

    总评分: 体力 + 4   查看全部评分

    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    曹柏杨        

    8

    主题

    5

    听众

    328

    积分

    升级  9.33%

  • TA的每日心情
    开心
    2015-5-16 18:37
  • 签到天数: 127 天

    [LV.7]常住居民III

    自我介绍

    群组数学建摸协会

    群组学术交流A

    群组第四届数学中国美赛实

    回复

    使用道具 举报

    63

    主题

    10

    听众

    2255

    积分

    升级  8.5%

  • TA的每日心情
    开心
    2021-12-8 17:03
  • 签到天数: 689 天

    [LV.9]以坛为家II

    自我介绍
    数学爱好者

    社区QQ达人 邮箱绑定达人

    回复

    使用道具 举报

    茉稀        

    0

    主题

    5

    听众

    66

    积分

    升级  64.21%

  • TA的每日心情
    无聊
    2012-9-10 07:54
  • 签到天数: 11 天

    [LV.3]偶尔看看II

    自我介绍
    希望能和对数学感兴趣的朋友多交流。
    回复

    使用道具 举报

    xiang1990        

    31

    主题

    4

    听众

    723

    积分

    升级  30.75%

  • TA的每日心情
    奋斗
    2013-5-9 15:51
  • 签到天数: 138 天

    [LV.7]常住居民III

    自我介绍
    我是数学老师
    一般数论里都有的。对于非数学学者来说这有点牵强。毕竟这是在大学阶段数学专业才学习的。其法可鼓
    回复

    使用道具 举报

    zqyzixin 实名认证       

    1

    主题

    5

    听众

    1818

    积分

    升级  81.8%

  • TA的每日心情
    难过
    2013-10-14 10:21
  • 签到天数: 78 天

    [LV.6]常住居民II

    社区QQ达人

    群组小草的客厅

    回复

    使用道具 举报

    逍遥浩     中国数模人才认证   

    4

    主题

    12

    听众

    2855

    积分

  • TA的每日心情
    开心
    2021-11-19 11:07
  • 签到天数: 844 天

    [LV.10]以坛为家III

    2013挑战赛参赛者

    国际赛参赛者

    社区QQ达人 新人进步奖 发帖功臣 最具活力勋章 风雨历程奖

    群组2015年数学中国“建模

    群组Matlab讨论组

    群组第一期sas基础实训课堂

    群组第三届数模基础实训

    群组2013认证赛C题讨论群组

    回复

    使用道具 举报

    逍遥浩     中国数模人才认证   

    4

    主题

    12

    听众

    2855

    积分

  • TA的每日心情
    开心
    2021-11-19 11:07
  • 签到天数: 844 天

    [LV.10]以坛为家III

    2013挑战赛参赛者

    国际赛参赛者

    社区QQ达人 新人进步奖 发帖功臣 最具活力勋章 风雨历程奖

    群组2015年数学中国“建模

    群组Matlab讨论组

    群组第一期sas基础实训课堂

    群组第三届数模基础实训

    群组2013认证赛C题讨论群组

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-8-24 04:25 , Processed in 0.460366 second(s), 101 queries .

    回顶部