Vybrané kapitoly z aritmetiky a analytickej geometrie

Veta 5 - asociatívnosť sčítania.
Pre ľubovoľné prirodzené čísla $\small a,b,c\in N$ platí: $\small a+(b+c)=(a+b)+c$.

Dôkaz.
Budeme dokazovať matematickou indukciou vzhľadom na $\small c \in N$.

1. Pre $\small c=1$ musíme ukázať, že platí rovnosť $\small a+(b+1)=(a+b)+1$
Pre ľavú stranu po úprave dostaneme
$\small a+(b+1)\overset{def}{=} a+b' \overset{Axiom5}{=} (a+b)'$.
Pre pravú stranu z definície následníka dostaneme
$\small (a+b)+1 \overset{def}{=} (a+b)'$.
2. Predpokladajme, že rovnosť $\small a+(b+c)=(a+b)+c$ platí pre prirodzené číslo $c$.
Ukážeme, že platí aj pre $\small c+1$, čo je ekvivalentné s rovnosťou
$\small a+(b+(c+1))=(a+b)+(c+1)$.
Pre pravú stranu po úprave dostaneme
$\small (a+b)+c' \overset{Ax5}{=} ((a+b)+c)'$
pre ľavú stranu dostaneme
$\small a+(b+c') \overset{Ax5}{=} a+(b+c)' \overset{Ax5}{=} (a+(b+c))'$
3. Podľa indukčného predpokladu a axiómy III sa bude ľavá strana rovnať pravej strane
4. Tým je dôkaz ukončený.

Veta 6.
Pre ľubovoľné prirodzené čísla $\small m,n\in N$ platí: $\small m+n'=m'+n$.

Dôkaz.
Budeme dokazovať matematickou indukciou vzhľadom na $\small m \in N$

1. Pre (\small m=1 \) zrejme platí rovnosť $\small 1+n'=1'+n$ lebo
   Pre ľavú stranu po úprave dostaneme
   $\small 1+n'\overset{Ax5}{=} (1+n)'\overset{def}{=}(1+n)+1$
   Využitím komutatívnosti (Veta 3) pre ľubovoľné prirodzené číslo $\small x$ a asociatívnosti (Veta 5)
   dostaneme
   $\small (1+n)+1 \overset{V3}{=} 1+(1+n) \overset{V5}{=} (1+1)+n \overset{def}{=} 1'+n$
2. Predpokladajme (i.p.), že rovnosť $\small m+n' \overset{i.p.}{=} m'+n$ platí pre prirodzené číslo $\small m$.
   Ukážeme, že platí aj pre $\small m+1$, čo je ekvivalentné s rovnosťou
   $\small (m+1)+n'=(m+1)'+n$.
   Pre pravú stranu po úprave dostaneme
   $\small (m+1)'+n \overset{def}{=} (m+1)+1+n \overset{V3}{=} (m+1)+(n+1) \overset{def}{=} (m+1)+n'$
   
3. To znamená, že pravá strana sa rovná ľavej. Tým je dôkaz ukončený.

Veta 7- asociatívnosť násobenia.
Pre ľubovoľné prirodzené čísla $\small a,b,c\in N$ platí: $a \cdot (b \cdot c )=(a \cdot b) \cdot c$.

Dôkaz.
Budeme dokazovať matematickou indukciou vzhľadom na $\small c \in N$

1. Pre $\small c=1$ zrejme platí rovnosť $\small a \cdot (b \cdot 1)=(a \cdot b ) \cdot 1$
2. Predpokladajme, že rovnosť (\small a \cdot (b \cdot c)=(a \cdot b ) \cdot c \) platí pre prirodzené číslo $\small \small c$. Ukážeme, že platí aj pre $\small c'=c+1$
   $\small a \cdot (b \cdot (c'))=(a \cdot b ) \cdot (c')$.
   Aplikujeme axiómu VII na súčin na ľavej strane
   $\small a \cdot (b \cdot (c'))= a \cdot (b \cdot c +b)$
   a po využití disributívnosti súčinu dostaneme
   $\small a(b \cdot c + b)=ab( c +1)=ab \cdot c'$.
   
3. Tým je dôkaz ukončený.

Poznámky.
    1) Distributívnosť násobenia zľava k sčítaniu ľahko dokážeme pomocou matematickej indukcie priamo zo VII. axiómy.
    2) O distributívnosti násobenia sprava k sčítaniu hovorí nasledujúca veta.

Veta 7.
Pre ľubovoľné prirodzené čísla $\small m,n\in N$ platí: $\small m' \cdot n=m.n+n$.

Dôkaz.
Budeme dokazovať matematickou indukciou vzhľadom na $\small n \in N$

1. Pre $\small n=1$ zrejme platí rovnosť $\small m' \cdot 1=m.1+1$ lebo
   $\small m' \cdot 1 =m'=m+1=m.1+1$
2. Predpokladajme, že rovnosť
   $\small m' \cdot n=m.n+n$
   platí pre prirodzené číslo $\small n$. Ukážeme, že platí aj pre $\small n+1=n'$, čo je ekvivalentné rovnosti
   $\small m'\cdot n'=m.n'+n'$.
   Ľavá strana po aplikovaní distributívnosti zľava resp. axiómy VII
   $\small m' \cdot n'= m'(n+1)=m'.n+m'$
   následne využitím indukčného predpokladu a komutatívnosti dostaneme
   $\small m'.n+m'=(m.n+n)+(m+1)=(m.n+m)+(n+1)=m . n'+n'$
3. Tým je dôkaz ukončený.