tienne Bzout

tienne Bzout: (Nemours, Francia, 31 de

marzo de 1730 - Avon, Francia, 27 de
septiembre de 1783) fue un matemtico francs.En 1758
fue elegido miembro de la Academia de las Ciencias
Francesa y, en 1763, tienne Franois de Choiseul le
nombr para encabezar la instruccin de la marina real.
En 1768 se hizo cargo de la enseanza de los alumnos
del cuerpo de artillera y redact para sus alumnos Cours
de mathmatiques l'usage de la marine et de
l'artillerie.Tambin fue el autor de una Teora general de
ecuaciones algebraicas, publicada en Pars en 1779.
Esta obra contena muchos resultados novedosos y de importancia acerca de la teora de
eliminacin y funciones simtricas de las races de una ecuacin. Us los determinantes en
un artculo de la Histoire de l'Acadmie royale de 1764, pero no estudi la teora general.

La identidad de Bzout o Lema de Bzout:

Enuncia que si a y b son nmeros enteros con mximo comn divisor d, entonces existen
enteros x e y tales que:

La identidad fue nombrada en honor del matemtico francs tienne Bzout (1730-1783)

Algoritmo:

Los nmeros x e y de la identidad de Bzout pueden determinarse mediante el algoritmo

extendido de Euclides, pero no se determinan de forma unvoca, ya que:

Para todo a, b, x, y y k. As dando a k cualquier valor entero y definiendo:

se tiene que:

Generalizaciones:

La identidad de Bzout no slo funciona en el anillo de los enteros, sino que tambin es
vlido en cualquier otro dominio de ideales principales (DIP). Es decir, si es un DIP,
y y son elementos de , y es el mximo comn divisor de y entonces
existen e elementos de tales que
 Ejm:

Se puede ilustrar la no unicidad con un ejemplo:

El mximo comn divisor de 12 y 42 es 6. Una solucin de la expresin anterior es:

12(-3) + 421 = 6

Pero hay otras tales como:

124 + 42(-1) = 6
1211 + 42(-3) = 6
1218 + 42(-5) = 6
etc.

El conjunto de soluciones se puede expresar como:

x = 3 + 7k
y = 1 2k

para cualquier valor entero de k.