youproof.orgDeep Math. Human Access.

Bizonyítás

A b-re vonatkozó teljes indukciót alkalmazunk, azaz feltesszük, hogy valamilyen b=n természetes számra az állítás igaz. Az indukciós feltétel tehát: a \cdot n=n \cdot a. Azt kell bizonyítanunk, hogy ekkor b=s(n)-re is igaz lesz, azaz:

a \cdot \underbrace{s(n)}_{=b} = \underbrace{s(n)}_{=b} \cdot a

A 12.1. Definíció 2. pontja miatt:

a\cdot s(n) = (a\cdot n) + a = \ldots

Az indukciós feltétel miatt:

\ldots =(n\cdot a) + a= \ldots

Végül a 12.3. Lemma miatt:

\ldots = s(n) \cdot a

Vagyis azt kaptuk, hogy valóban a \cdot \underbrace{s(n)}_{=b} = \underbrace{s(n)}_{=b} \cdot a.

Felállítottuk tehát a dominósort, és beláttuk, hogy bármely dominó felborítása esetén a soron következő dominó is fel fog borulni. Az első dominót pedig már fel is borítottuk, ugyanis a 12.2. Lemma alapján az állítás igaz b=0-ra.

Borul tehát az első dominó, és vele együtt a teljes dominósor, azaz minden a és b számra igaz, hogy a\cdot b=b\cdot a.

∎