A QUARK

扯閑篇兒

為什么(a+b)+c=a+(b+c)

這周講講加法結(jié)合律

注意：本文首發(fā)于微信公眾號(hào)“夸克歐氏幾何”，其它平臺(tái)會(huì)滯后24小時(shí)以上，且夸克只在微信,bilibili,頭條，百家號(hào)上有賬號(hào)(認(rèn)準(zhǔn)骰子頭像）。如果發(fā)現(xiàn)本文被復(fù)制到了QQ看點(diǎn)等其它平臺(tái)上，請(qǐng)到微信上關(guān)注原作者公眾號(hào)。抵制營(yíng)銷(xiāo)號(hào)，夸克感謝各位對(duì)原創(chuàng)作者的支持

開(kāi)始證明之前，回顧一下我們對(duì)于加法的定義：

定義加法是滿(mǎn)足以下兩種規(guī)則的運(yùn)算：

1. 對(duì)于任意自然數(shù)m，0 + m = m

2. 對(duì)于任意自然數(shù)m和n，n' + m = (n + m)'

這次的證明也分

一，證明：

對(duì)自然數(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)時(shí)，(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)時(shí)，(l'+m)+n=l'+(m+n)成立

（皮亞諾公理4）

證畢

三，

根據(jù)皮亞諾公理5可知，對(duì)于任意自然數(shù)l,m,n，均(l+m)+n=l+(m+n)

PS：夸克只找到了加法交換律的證明，病毒流行，也不敢去圖書(shū)館，后面的證明都是本人自己在家編的，如有不對(duì)，多多指正。

關(guān)注微信公眾號(hào)
夸克歐氏

Don't worry. Be happy!