Natürliche Zahlen/Ordnungsrelation/Verträglichkeit/Fakt/Beweis/Aufgabe/Lösung

1. Wir beweisen die Aussage duch Induktion über ${}c$. Bei ${}c=0$ ist die Aussage klar. Für den Induktionsschritt müssen wir lediglich zeigen, dass die Aussage für ${}c=1$ gilt. Bei ${}a=b$ ist die Aussage klar, da der Nachfolger wohldefiniert ist. Bei ${}a>b$ ist nach Fakt  (3) ${}a\geq b+1$ und somit

   ${}a+1>a\geq b+1\,.$

   Dies zeigt zugleich, dass aus ${}a>b$ auch ${}a+1>b+1$ folgt. Da die Ordnung total ist, folgt somit auch aus ${}a+1\geq b+1$ die Beziehung ${}a\geq b$.

2. Wir führen Induktion nach ${}c$, die Fälle ${}c=0,1$ sind klar. Es sei die Aussage für ${}c$ bewiesen. Dann ist mit dem Distributivgesetz, der Induktionsvoraussetzung und der Verträglichkeit mit der Addition

   ${}(c+1)a=ca+a\geq cb+b=(c+1)b\,.$

Zur gelösten Aufgabe