Aunque la prueba del Lema de Bezout en el último capítulo simplemente mostró que, dados los enteros a y b, los coeficientes s y t existen de tal manera que gcd (a, b) =sa+tb, modificaciones adecuadas ...Aunque la prueba del Lema de Bezout en el último capítulo simplemente mostró que, dados los enteros a y b, los coeficientes s y t existen de tal manera que gcd (a, b) =sa+tb, modificaciones adecuadas del Algoritmo Euclideano nos dan formas de computar estos coeficientes. En este capítulo discutimos dos de esas formas, conocidas como el Algoritmo Euclideano Extendido y el Método de Blankinship.