Lema de Euclides

(Redirigido desde «Primer teorema de Euclides»)

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:

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

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.

Demostración

editar
 
  • 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.

Historia

editar

El lema aparece por primera vez como la proposición 30 en el Libro VII de los Elementos de Euclides, y se incluye en prácticamente todos los libros que cubren la teoría elemental de números.[1][2][3][4][5]

La generalización del lema a números enteros apareció en el libro de texto de Jean Prestet Nouveaux Elémens de Mathématiques en 1681.[6]

En el tratado de Carl Friedrich Gauss Disquisitiones arithmeticae, el enunciado del lema es la Proposición 14 de Euclides (Sección 2), que utiliza para probar la unicidad del producto de descomposición de los factores primos de un número entero (Teorema 16), admitiendo la existencia como "obvia". A partir de esta existencia y singularidad, deduce la generalización de los números primos a los enteros.[7]​ Por esta razón, la generalización del lema de Euclides a veces se denomina lema de Gauss, pero algunos autores opinan que este uso es incorrecto[8]​ debido a la confusión con el lema de Gauss sobre residuos cuadráticos.

Véase también

editar

Referencias

editar
  1. Gauss, 2001, p. 14
  2. Hardy, Wright y Wiles, 2008, Theorem 3
  3. Ireland y Rosen, 2010, Proposition 1.1.1
  4. Landau y Goodman, 1999, Theorem 15
  5. Riesel, 1994, Theorem A2.1
  6. Euclid, 1994, pp. 338–339
  7. Gauss, 2001, Article 19
  8. Weisstein, Eric W. «Euclid's Lemma». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

Bibliografía

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