Números coprimos

De Wikipedia, la enciclopedia libre
(Redirigido desde «Números primos entre sí»)
Ir a la navegación Ir a la búsqueda

En matemáticas, Números coprimos (números primos entre sí o primos relativos) son dos números enteros a y b que no tienen ningún factor primo en común. Dicho de otra manera, si no tienen otro divisor común más que 1 y -1. Equivalentemente son coprimos , si y solo si, su máximo común divisor es igual a 1. Dos números coprimos no tienen por qué ser primos absolutos de forma individual.[1][2][3][4]​. 14 y 15 son compuestos , sin embargo son coprimos, pues su mcd =1. [5]

Por ejemplo, 6 y 19 son primos entre sí, pero 6 y 27 no lo son porque ambos son divisibles por 3. El 1 es primo respecto de todos los enteros, mientras que 0 solo lo es respecto de 1 y -1.

Un cálculo rápido para determinar si dos números enteros son coprimos es el algoritmo de Euclides.

Propiedades[editar]

Básicas[editar]

  • Si dos números enteros a y b son primos entre sí, entonces existen dos enteros x e y / a·x + b·y = 1. (Identidad de Bézout)
  • Si a y b son coprimos, además a divide el producto bc, entonces a divide a c. (Lema de Euclides)
  • Los números enteros a y b son coprimos cuando b tiene un inverso para el producto módulo a; es decir, existe un número entero y tal que b·y ≡ 1 (mod a). Una consecuencia de esto es que si a y b son primos entre sí y bmbn (mod a), entonces mn (mod a). Dicho de otra manera, b es simplificable en el anillo Z/nZ de los enteros módulo a.
  • Si los números naturales a y b son coprimos , también lo son a2, ab, b2*
  • Si los números enteros positivos m y n son coprimos, lo son también m, n, m+n

Otras propiedades[editar]

Figura 1. Los números 4 y 9 son coprimos. Por tanto, la diagonal del retículo 4 x 9 no interseca con ninguno de los otros puntos del retículo.
  • Los dos números enteros a y b son primos entre sí, si y solo si, el punto de coordenadas (a, b) en un sistema cartesiano de coordenadas es visible desde el origen (0,0) en el sentido en que no hay ningún punto de coordenadas enteras situado entre el origen y (a,b) (véase la figura 1).
  • La probabilidad de que dos números enteros elegidos al azar sean primos entre sí es igual a 6/π².[3]
  • Dos números naturales a y b son primos entre sí, si y solo si, los números 2a-1 y 2b-1 son primos entre sí. Como una generalización de este, se sigue fácilmente del algoritmo de Euclides en base de n>1:[6]
  • El número de números naturales menores que n y son son coprimos con él, lo provee la función φ de Euler φ(n).
  • Si dos números naturales son consecutivos entonces son coprimos (resto = 1, por el Algoritmo de Euclides).

Proposición[editar]

Todo divisor de la suma de dos cuadrados coprimos es igual a la suma de dos cuadrados [7]​.

Ejemplo
41 divide a 1681 = 92+402, (1600 y 81 son coprimos) luego 41 = 52+42, suma de cuadrados.

Generalización[editar]

Dos ideales I y J en un anillo conmutativo A son coprimos si I + J = A. Esto generaliza la identidad de Bézout. Si I y J son primos entre sí, entonces IJ = IJ; además, si K es un tercer ideal tal que I contiene a JK, entonces I contiene a K.

Con esta definición, dos ideales principales (a) y (b) en el anillo de los números enteros Z son primos entre sí, si y solo si, a y b son primos entre sí.

Véase también[editar]

Notas y referencias[editar]

  1. Eaton, 1872, p. 49.
  2. Hardy, 2008, p. 6.
  3. a b Weisstein, Eric W. «Relatively Prime». En Wolfram Research, Inc. MathWorld (en inglés). Consultado el 3 de enero de 2017. 
  4. LeVeque, 1996, p. 32.
  5. Por la división euclídea se tiene 15 =14×1+1 → mcd =1
  6. Stark, 1978, p. 21.
  7. Mencionado como un teorema de Euler por Ózhigova: ¿Qué es la teoría de números? Editorial URSS, Moscú 204, pp 28 y 29

Bibliografía[editar]

Bibliografía adicional[editar]

  • Lord, Nick (marzo de 2008). «A uniform construction of some infinite coprime sequences». Mathematical Gazette (en inglés) (The Mathematical Association) 92 (523): 66-70. JSTOR 27821719. doi:10.1017/S0025557200182555. 

Enlaces externos[editar]