Zum Inhalt springen

Lemma von Bezout/N/Teilerfremd/Induktion/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity


Wir beweisen die Aussage durch Induktion über das Maximum von und , wobei wir ohne Einschränkung    wählen können. Wenn das Maximum ist, so sind beide Zahlen und somit nicht teilerfremd. Wenn das Maximum ist, so ist    und somit ergeben    und    eine Darstellung der . Es seien nun    teilerfremd,    und die Aussage sei für alle Zahlenpaare, deren Maxima kleiner als sind, schon bewiesen. Dann ist  ,  da bei    die beiden Zahlen nicht teilerfremd sind. Ebenso können wir    ausschließen. Wir betrachten das Zahlenpaar und wollen darauf die Induktionsvoraussetzung anwenden. Das Maximum dieses neuen Paares ist jedenfalls kleiner als . Allerdings müssen wir, damit die Induktionsvoraussetzung wirklich angewendet werden kann, wissen, dass auch und teilerfemd sind. Dazu führen wir einen Widerspruchsbeweis.  Nehmen wir also an, dass und nicht teilerfremd sind. Dann gibt es eine natürliche Zahl  ,  die sowohl als auch teilt. Dies bedeutet wiederum, dass es natürliche Zahlen mit und gibt. Doch dann ist

ebenfalls ein Vielfaches von , im Widerspruch zur Teilerfremdheit von und .  Die Induktionsvoraussetzung ist also auf und anwendbar und somit gibt es ganze Zahlen mit

Dann ist aber auch

und wir haben eine Darstellung der mit und

gefunden.