作者yhliu (老怪物)
看板Math
标题Re: [中学] 请问加法性质证明
时间Fri Mar 27 07:40:24 2020
※ 引述《jack41402 (抹茶好喝)》之铭言：
: 如题
: 网路上很少 交换律与结合律 的证明
: 想请问大家如何证明两者？
: 主要是为了证明 1+ 1 = 2定义的加法符合加法性质
如果是指本版第一篇的加法...
以下用 * 代替上标的 + 代表後继元:
m+0 = m
m+n* = (m+n)*
首先证明 n+1 = n* ( = 1+n (已证))
(1) 0 + 1 = 0 + 0* = (0+0)* = 0*
(2) 假设 k+1 = k*, 则
k*+1 = k*+0* = (k*+0)* = (k*)*
由 (1), (2) 得证: for all n in ω, n+1=n*=1+n.
其次证明 (m+1)+n = m+(n+1)
或等於证明 m* + n = m + n*.
(1) n = 0 时,
m* + n = m* + 0 = m* = m+1 = m+0* = m+n*.
(2) 假设 n=k 时成立. 则 n=k* 时
m* + n = m* + k* = (m* + k)* = (m + k*)*
= m + (k*)* = m + n*
故: for all m, n in ω, m*+n = m+n*.
现在证明交换律 m + n = n + m
(1) n = 0 时..
(a) m = 0 则 m+n = 0+0 = n+m.
(b) 设 m = k 时 0+m = m = m+0. 则
m = k* 时,
0+m = 0+k* = (0+k)* = k* = m = m+0.
故: for all m in ω, 0+m = m = m+0.
(2) 假设 n=k 时, m+n = n+m for all m.
则, n = k* 时,
m + n = m + k* = (m + k)* = (k + m)*
= k + m* = k* + m = n + m
由 (1), (2) 得证在 ω 中, 加法交换律成立.
证明结合律: (m+n)+k = m + (n+k)
(1) n = 0 时,
(m+0)+k = m+k = m+(0+k).
(2) 假设 n=p 时成立. 当 n = p* 时:
(m + p*) + k = (m + p)* + k = (m + p) + k*
= m + (p + k*) = m + (p* + k)
所以, for all m,n,k in ω, 加法结合律成立.
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 61.224.62.195 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1585266029.A.6DD.html
1F：→ musicbox810 : 请问已1+n证是怎麽证的？文中只有只有m+n*=(m+n)* 03/27 08:17
2F：→ musicbox810 : =1+n不就是原来文章要求证明的交换律吗?应该是证明 03/27 08:37
3F：→ musicbox810 : 的重点吧? 03/27 08:38
4F：→ yhliu : 该文证了啊! 03/27 12:43
5F：→ yhliu : 6.11 Lemma n^+ = 1 + n 03/27 12:44
6F：→ yhliu : 其实那篇文章对 1+1=2 的证明就是从 1+n = n* 开始. 03/28 08:41