為什么加法有結(jié)合律
A QUARK
扯閑篇兒
為什么(a+b)+c=a+(b+c)
這周講講加法結(jié)合律
注意:本文首發(fā)于微信公眾號“夸克歐氏幾何”,其它平臺會滯后24小時以上,且夸克只在微信,bilibili,頭條,百家號上有賬號(認(rèn)準(zhǔn)骰子頭像)。如果發(fā)現(xiàn)本文被復(fù)制到了QQ看點等其它平臺上,請到微信上關(guān)注原作者公眾號。抵制營銷號,夸克感謝各位對原創(chuàng)作者的支持
開始證明之前,回顧一下我們對于加法的定義:
定義加法是滿足以下兩種規(guī)則的運算:
1. 對于任意自然數(shù)m,0 + m = m
2. 對于任意自然數(shù)m和n,n' + m = (n + m)'
這次的證明也分
一,證明:
對自然數(shù)m,n,(0+m)+n=0+(m+n)
∵(0+m)+n=m+n
0+(m+n)=m+n
(加法定義1)
∴(0+m)+n=0+(m+n)
證畢
二,證明:
當(dāng)(l+m)+n=l+(m+n)時,(l‘+m)+n=l’+(m+n)成立
∵(l'+m)+n=(l+m)'+n
(加法定義1)
∴(l'+m)+n=【(l+m)+n】'
(加法定義1)
∵l'+(m+n)=【l+(m+n)】'
(加法定義1)
(l+m)+n=l+(m+n)
(假設(shè))
∴當(dāng)(l+m)+n=l+(m+n)時,(l'+m)+n=l'+(m+n)成立
(皮亞諾公理4)
證畢
三,
根據(jù)皮亞諾公理5可知,對于任意自然數(shù)l,m,n,均(l+m)+n=l+(m+n)
PS:夸克只找到了加法交換律的證明,病毒流行,也不敢去圖書館,后面的證明都是本人自己在家編的,如有不對,多多指正。


關(guān)注微信公眾號
夸克歐氏
Don't worry. Be happy!

