数学归纳法——兼与史宁中先生商榷.pdfVIP

数学通讯一 2011年第6期(下半月) ·争 鸣 · 数 学 归 纳 法 兼与史宁中先生商榷 孙道椿 (广州华南师范大学数学系，510631) 欧氏几何有个平行线公理：“过线外一点有且仅有 证明 对任意 ，zEN，令 一 条直线与它平行”．历史上有许多学者宣称得到了它 S ：={m∈N；+m∈N}． (*) 的证明，结果不是发生推理错误 ，就是用到了一个与它 i)由加法定义(I)， +0=，z∈N，得0∈S ； 等价的命题．用了二千多年，人们才知道它是不可能证 ii)假定 忌ES ，即 十愚EN．结合公理 (2)，可知 明的．它是建立欧氏几何不可缺少的一个基本假定．因 其后一元 (+足)+1EN．于是由加法定义 (Ⅱ)，+ 此有时也称为公设． (五十1)=(十忌)+1∈N．由(*)可知 +1ES． 我们常用的数学归纳法 ，其实也与平行线公理一 由数学归纳法原理 (公理 (5))，有 S=N，即对任 样 ，它是建立 自然数集的基础．其实也可称它为 “数学 意 优∈N，恒有 n+ ∈N． 归纳法公理”，或 “数学归纳法公设”．下面是常见的一 由此看出，定义二个 自然数的加法，离不开数学归 组建立 自然数集的公理系统： 纳法．同样下面乘法的定义也离不开数学归纳法． 皮亚诺 (Peano)公理 称一个集合 N为 自然数集 例 1 证 明4+3=7； (包含0)，若满足： f．1 (ii 证 4+3=4+((O+1)+1)+1) [4+(0+1) (1)O∈N (即0是 自然数)． f ) ，iv) +1)]+1 [4+(0+1)]+1+1 [4+0]+1+1+l (2)任取 ∈N，存在唯一 “后一元”记为 ，l+1∈N ( () (i) (ii) (称 是 +1的 “前一元”)． =4+1+1+1= 5+1+1= 6+1= 7． (3)任取 n∈N，均有 +1≠1(即，1没有前一 其中等式(i)，(vi)，(vii)，(viii)是由10进制记数法 元)． 规定；(ii)，(iii)，(iv)，(v)是 由加法定义． (4)任取 ， ∈N．若 ≠ 。则 扎+1≠m+1 定义 2 乘法定义： (即，前一元是唯一的)． (I)任取 ∈N，定义 0× =0． (5)若子集 SCN满足(i)0∈S；(ii)足∈S=忌+ (Ⅱ)任取 ，m∈N，定义 ( +1)×m= ×m+ 1∈S，则 S就是 自然数全体S=N． ∈N． 公理 (5)称为数学归纳法原理 (虽然表述稍有不 定理 2 任取 ，优EN，则其积 ×优∈N (证明 同，其实效果是一样的)．皮亚诺公理也可看成是 自然 略)． 数集的定义．它有0；也有了0的 “后一元”0十1，记为 就象 平“行线公理”与其它的一些公理一道可建立 1；有 l的 “后一元