Lema de Euclides

Ir a la navegaciónIr a la búsqueda

Portada Los elementos de Euclides, publicada en 1570 por Sir Henry Billingsley.

El lema de Euclides (del griego λῆμμα) es una generalización de la proposición 30 del

libro VII de Elementos de Euclides. El lema asegura que:
Si n es un número entero y divide a un producto ab y es coprimo con uno de los factores,
entonces n divide al otro factor.

Euclides, 300 a. C.

Esto puede escribirse en notación moderna como:

La proposición 30 original, más conocida como primer teorema de Euclides dice
que:
Si p es un número primo y divide al producto de dos enteros positivos, entonces el número
primo divide al menos a uno de los números.

Euclides, 300 a. C.

En notación moderna
El lema de Euclides se utiliza generalmente para demostrar otros teoremas, por
ejemplo, es usado para demostrar el teorema fundamental de la aritmética.

Índice

 1Demostración

 2Véase también

 3Referencias

 4Enlaces externos

Demostración[editar]
 Supongamos, sin pérdida de generalidad, que p es coprimo con a y veamos
que p divide a b. Por definición, p y a
son coprimos si y solo si mcd(a, p) = 1; y la identidad de Bézout nos asegura
que existen números enteros x e y tales que:
  Que p divida a ab significa que existe un número entero r tal
que pr = ab. Volviendo a la primera ecuación y multiplicando en ambos
miembros por b, se obtiene:

 y, en consecuencia

 Sabiendo que pr = ab, se obtiene

 sacando p como factor común, queda:

 como rx+by es un número entero, se concluye

que p divide a b. Q.E.D.

Véase también[editar]
 Elementos de Euclides
 Identidad de Bézout
 Algoritmo de Euclides

Referencias[editar]
 Trygve, N. (2001). Introduction to Number Theory. New
York: Chelsea. ISBN 0-8218-2833-9
 Tom M., Apostol (1976). Introduction to Analytic Number
Theory. New York: Springer-Verlag. ISBN 0-387-90163-9

Enlaces externos[editar]
 The Elements of Euclid, por Isaac Todhunter -
Wikisource
 Elementos de Euclides.

 Proyectos Wikimedia

  Datos: Q206793

 Identificadores

 Microsoft Academic: 19484569
Categorías: 
 Teoremas de teoría de números
 Aritmética
 Lemas (matemáticas)
 Epónimos relacionados con las matemáticas