Lemma von Bezout/N/Teilerfremd/Induktion/Fakt/Beweis
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.