En teoría de números , el lema de Euclides es un lema que captura una propiedad fundamental de los números primos , a saber: [nota 1]
Lema de Euclides - Si de un primo p divide el producto ab de dos enteros a y b , entonces p debe dividir al menos uno de esos números enteros una y b .
Por ejemplo, si p = 19 , a = 133 , b = 143 , entonces ab = 133 × 143 = 19019 , y dado que esto es divisible por 19, el lema implica que uno o ambos de 133 o 143 también deben serlo. De hecho, 133 = 19 × 7 .
Si la premisa del lema no se cumple, es decir, p es un número compuesto , su consecuente puede ser verdadero o falso. Por ejemplo, en el caso de p = 10 , a = 4 , b = 15 , el número compuesto 10 divide ab = 4 × 15 = 60 , pero 10 no divide ni a 4 ni a 15.
Esta propiedad es la clave en la demostración del teorema fundamental de la aritmética . [nota 2] Se utiliza para definir elementos primos , una generalización de números primos a anillos conmutativos arbitrarios . El Lema de Euclides muestra que en los números enteros los elementos irreductibles también son elementos primos. La prueba usa inducción, por lo que no se aplica a todos los dominios integrales .
Formulaciones
Dejar ser un número primo y asumir divide el producto de dos enteros y . En símbolos, esto está escrito. Su negación, no divide , está escrito . Luego o (o ambos). Las declaraciones equivalentes son:
- Si y , luego .
- Si y , luego .
El lema de Euclides se puede generalizar a partir de números primos a cualquier número entero:
Teorema - Si, y es relativamente primordial para, luego .
Esta es una generalización porque si es primo, ya sea
- o
- es relativamente primordial para . En esta segunda posibilidad, entonces .
Historia
El lema aparece por primera vez como proposición 30 en el Libro VII de los Elementos de Euclides . Está incluido en prácticamente todos los libros que cubren la teoría de números elemental. [4] [5] [6] [7] [8]
La generalización del lema a números enteros apareció en el libro de texto Nouveaux Elémens de Mathématiques de Jean Prestet en 1681. [9]
En el tratado Disquisitiones Arithmeticae de Carl Friedrich Gauss , el enunciado del lema es la Proposición 14 de Euclides (Sección 2), que usa para probar la unicidad del producto de descomposición de los factores primos de un número entero (Teorema 16), admitiendo la existencia como "obvio". De esta existencia y unicidad, luego deduce la generalización de números primos a enteros. [10] Por esta razón, la generalización del lema de Euclides a veces se denomina lema de Gauss, pero algunos creen que este uso es incorrecto [11] debido a la confusión con el lema de Gauss en los residuos cuadráticos .
Prueba
Prueba con la identidad de Bézout
En las matemáticas modernas, una prueba común implica un resultado llamado identidad de Bézout , que era desconocido en la época de Euclides. [12] estados de identidad de Bézout que si x y y son enteros primos relativos (es decir, que comparten no hay divisores comunes distintos de 1 y -1) existen enteros r y s tal que
Deje una y n ser primos entre sí, y se supone que n | ab . Por la identidad de Bézout, hay r y s decisiones
Multiplica ambos lados por b :
El primer término de la izquierda es divisible por n , y el segundo término es divisible por ab , que por hipótesis es divisible por n . Por lo tanto, su suma, b , también es divisible por n . Ésta es la generalización del lema de Euclides mencionado anteriormente.
Prueba directa
La siguiente prueba está inspirada en la versión de Euclides del algoritmo euclidiano , que procede utilizando solo restas.
Suponer que y . Queremos demostrar que. Desde, Hay una n primos entre sí a una (es decir, sus divisores solamente comunes son 1 y -1 ) tal que
Hay que demostrar que n divide a b . Para probar esto por inducción fuerte , suponemos que esto ha sido probado para todos los valores más bajos de ab .
Hay tres casos.
Si n = a , la coprimalidad implica n = 1 , y n divide b trivialmente.
Si n < a , uno tiene
Los enteros positivos a - n y a son coprimos, ya que, si p divide a ambos, entonces is divide su suma y, por lo tanto, divide tanto n como a . Entonces, la conclusión se deriva de la hipótesis de inducción.
Si n > a , uno tiene
De manera similar a lo anterior, n - a y a son coprimos. Por hipótesis de inducción, hay un entero r tal que Entonces
y se obtiene q = ar , dividiendo por n - a . Por lo tantoy, por división por a , se obtiene b = nr , que es la conclusión deseada.
Prueba de elementos
El lema de Euclides se prueba en la Proposición 30 del Libro VII de los Elementos de Euclides . La prueba original es difícil de entender tal como está, por lo que citamos el comentario de Euclides (1956 , págs. 319-332).
- Proposición 19
- Si cuatro números son proporcionales, el número producido por el primero y el cuarto es igual al número producido por el segundo y el tercero; y, si el número producido por el primero y el cuarto es igual al producido por el segundo y el tercero, los cuatro números son proporcionales. [nota 3]
- Proposición 20
- El menor número de los que tienen la misma proporción mide los que tienen la misma proporción el mismo número de veces: cuanto mayor es mayor y menor, menor. [nota 4]
- Proposición 21
- Los números primos entre sí son los menores de los que tienen la misma proporción. [nota 5]
- Proposición 29
- Cualquier número primo es primo de cualquier número que no mide. [nota 6]
- Proposición 30
- Si dos números, al multiplicarse entre sí, forman el mismo número, y cualquier número primo mide el producto, también mide uno de los números originales. [nota 7]
- Prueba de 30
- Si c , un número primo, mide ab , c mide a o b .
Suponga que c no mide a .
Por lo tanto , c , a son primos entre sí. [VII. 29]
Suponga ab=mc .
Por lo tanto c : a=b : m .[VII. 19]
De ahí [ VII. 20 , 21] b= nc , donde n es un número entero.
Por lo tanto c mide b .
De manera similar, si c no mide b , c mide a .
Por lo tanto, c mide uno u otro de los dos números a , b .
QED [18]
Ver también
- La identidad de Bézout
- Algoritmo euclidiano
- Teorema fundamental de la aritmética
- Elemento irreducible
- Elemento principal
- número primo
Notas al pie
Notas
- ^ También se le llama primer teorema de Euclides [1] [2] aunque ese nombre pertenece más propiamente a la condición de lado-ángulo-lado para mostrar que los triángulos son congruentes . [3]
- ^ En general, para demostrar que un dominio es un dominio de factorización único , basta con probar el lema de Euclides y la condición de cadena ascendente en ideales principales (ACCP)
- ^ Si a: b= c: d , entonces ad= bc ; y por el contrario. [13]
- ^ Si a: b= c: d , y a , b son los números menores entre los que tienen la misma razón, entonces c= na , d= nb , donde n es un número entero. [14]
- ^ Si a: b= c: d , y a , b son primos entre sí, entonces a , b son los números menores entre los que tienen la misma razón. [15]
- ^ Si a es primo y no mide b , entonces a , b son primos entre sí. [dieciséis]
- ^ Si c , un número primo, mide ab , c mide a o b . [17]
Citas
- ^ Bajnok 2013 , Teorema 14.5
- ^ Joyner, Kreminski y Turisco 2004 , Proposición 1.5.8, p. 25
- ^ Martín 2012 , p. 125
- ^ Gauss 2001 , p. 14
- ^ Hardy, Wright y Wiles 2008 , Teorema 3
- ^ Irlanda y Rosen 2010 , Proposición 1.1.1
- ^ Landau y Goodman 1999 , Teorema 15
- ^ Riesel 1994 , Teorema A2.1
- ^ Euclid 1994 , págs. 338–339
- ^ Gauss 2001 , artículo 19
- ^ Weisstein, Eric W. "Lema de Euclides" . MathWorld .
- ^ Hardy, Wright y Wiles 2008 , §2.10
- ^ Euclides , 1956 , p. 319
- ^ Euclides , 1956 , p. 321
- ^ Euclides , 1956 , p. 323
- ^ Euclides , 1956 , p. 331
- ^ Euclides , 1956 , p. 332
- ^ Euclides 1956 , págs. 331-332
Referencias
- Bajnok, Béla (2013), Una invitación a las matemáticas abstractas , Textos de pregrado en matemáticas , Springer, ISBN 978-1-4614-6636-9.
- Euclides (1956), Los trece libros de los elementos , vol. 2 (Libros III-IX), traducido por Heath, Thomas Little , Dover Publications, ISBN 978-0-486-60089-5
|volume=
tiene texto extra ( ayuda )- vol. 2 - Euclid (1994), Les Éléments, traducción, commentaires et notes (en francés), 2 , traducido por Vitrac, Bernard, págs. 338–339, ISBN 2-13-045568-9
- Gauss, Carl Friedrich (2001), Disquisitiones Arithmeticae , traducido por Clarke, Arthur A. (Segunda edición corregida), New Haven, CT: Yale University Press, ISBN 978-0-300-09473-2
- Gauss, Carl Friedrich (1981), Untersuchungen uber hohere Arithmetik [ Investigaciones sobre aritmética superior ], traducido por Maser, = H. (Segunda ed.), Nueva York: Chelsea, ISBN 978-0-8284-0191-3
- Hardy, GH ; Wright, EM ; Wiles, AJ (2008-09-15), Introducción a la teoría de los números (6a ed.), Oxford: Oxford University Press , ISBN 978-0-19-921986-5
- Irlanda, Kenneth; Rosen, Michael (2010), A Classical Introduction to Modern Number Theory (Segunda ed.), Nueva York: Springer , ISBN 978-1-4419-3094-1
- Joyner, David; Kreminski, Richard; Turisco, Joann (2004), Álgebra abstracta aplicada , JHU Press, ISBN 978-0-8018-7822-0.
- Landau, Edmund ; Goodman, JE (traductor al inglés) (1999), Elementary Number Theory (2a ed.), Providence, Rhode Island: American Mathematical Society, ISBN 978-0-821-82004-9
- Martin, GE (2012), Los fundamentos de la geometría y el plano no euclidiano , Textos de pregrado en matemáticas, Springer, ISBN 978-1-4612-5725-7.
- Riesel, Hans (1994), Números primos y métodos informáticos para la factorización (2a ed.), Boston: Birkhäuser, ISBN 978-0-8176-3743-9.
enlaces externos
- Weisstein, Eric W. "Lema de Euclides" . MathWorld .