Seien P, Q ∈ K[X] teilerfremd. Dann gibt es A, B ∈ K[X], sodass gilt AP + BQ = 1.
Hier soll wohl der Euklidische Algorithmus auf P und Q angewendet werden.
Ich kenne den euklidischen Algorithmus nur im Zusammenhang mit dem Auffinden des größten gemeinsamen Teilers von zwei Zahlen, bspw. ggT(1071, 1029).
Wie muss man den Algorithmus in diesem Fall denn anwenden, um die Existenz solcher Polynome zu beweisen?
