Lemma von Bézout
aus Wikipedia, der freien Enzyklopädie
Das Lemma von Bézout (nach Étienne Bézout (1730-1783)) in der Zahlentheorie besagt, dass sich der größte gemeinsame Teiler 
zweier ganzer Zahlen a und b als Linearkombination von a und b mit ganzzahligen Koeffizienten darstellen lässt:
mit 
.
Sind a und b teilerfremd, dann existieren , sodass
gilt.
Die Koeffizienten s und t können mit dem erweiterten euklidischen Algorithmus effizient berechnet werden.
Allgemeiner gilt das Lemma von Bézout in jedem Hauptidealring; für die genauen Aussagen siehe dort.
