Lema de Euclides para niños
.jpg)
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:
|
Esto puede escribirse en notación moderna como:
La proposición 30 original, más conocida como primer teorema de Euclides dice que:
|
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
- Supóngase, sin pérdida de generalidad, que p es coprimo con a, que p divide a ab, y finalmente véase que p divide a b. Por definición, p y a son coprimos si y solo si el mcd(a, p) = 1; y la identidad de Bézout 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.
Historia
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.
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.
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. 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 debido a la confusión con el lema de Gauss sobre residuos cuadráticos.
Véase también
En inglés: Euclid's lemma Facts for Kids
- Elementos de Euclides
- Identidad de Bézout
- Algoritmo de Euclides
