Teorema de Dirichlet sobre progresiones aritméticas
El teorema de Dirichlet sobre progresiones aritméticas es un resultado de la teoría analítica de números demostrado por el matemático Dirichlet. Este teorema sobre la distribución de los números primos en , fue conjeturado por Gauss y finalmente demostrado en 1837 por Dirichlet, nombre por el que actualmente se le conoce.
Enunciado
[editar]
|
Esto quiere decir que los números a+nd forman una progresión aritmética
en la que hay infinitos números primos, o dicho de otra manera, hay infinitos números primos congruentes con a módulo d.
Por ejemplo, el teorema asegura que hay una cantidad infinita de números primos que terminen en 7, ya que los números que terminan en 7 forman una progresión aritmética (7, 17, 27, 37, ...) es decir, es una sucesión de números de la forma a+nd con a=7 y d=10, siendo estos primos entre sí, luego su máximo común divisor es 1.
Enunciado extendido a diferentes bases
[editar]El enunciado anterior esta formulado para la base decimal o base 10 pero se puede extender a diferentes bases.
Siempre que a sea es decir, a este comprendido entre el menor número primo, 2, y el número menor inmediato a la base, se obtendrán distintas clases de congruencias en dicha base.
Es decir, aquellos números coprimos con la base b verificarán que . Solo es necesario comprobar con las primeras clases, puesto que tomando el ejemplo de la base 10:
y se puede afirmar que en la sucesión 17, 27, 37... habrá números primos, al igual con las sucesiones de las clases del 1,3 y 9, pero sería redundante aplicarlo a la clase del 17 que está contenida a su vez en la del 7.
De aquí se puede deducir aplicando la función de Euler para la base b, que habrá d distintas clases de equivalencia.
En la base decimal hay clases de equivalencia distintas, que son 1,3,7 y 9. Es decir, todos los números acabados en esas cifras o que sean pertenecientes a su clase de equivalencia podrán ser números primos.
Esto se debe a que la función de Euler se puede utilizar para calcular la cantidad de números coprimos a un número dado, que en el caso del 10 son 4 números coprimos.
Para ilustrar el teorema extendido a bases numéricas diferentes se puede tomar el ejemplo de la base 10 o decimal.
Si se confecciona una tabla que contenga a los números naturales, se observa que solo los valores acabados en 1, 3, 7 o 9 pueden ser números primos (a excepción del 2 y del 5), pues todos los demás que acaben en cifra par o 5 serán múltiplos de estos números.
Esto es fácilmente visualizable, puesto que el 10 está compuesto por 2 y por 5;
0 mod 10 | ||||||||||
1 mod 10 | 11 | 31 | 41 | 61 | 71 | |||||
2 mod 10 | 2 | |||||||||
3 mod 10 | 3 | 13 | 23 | 43 | 53 | 73 | 83 | |||
4 mod 10 | ||||||||||
5 mod 10 | 5 | |||||||||
6 mod 10 | ||||||||||
7 mod 10 | 7 | 17 | 37 | 47 | 67 | 97 | ||||
8 mod 10 | ||||||||||
9 mod 10 | 19 | 29 | 59 | 79 | 89 |
En este caso se tienen 4 clases de equivalencia que se corresponden a los residuos 1, 3, 7, 9 congruentes con módulo 10:
Cualquier X que verifique dicha congruencia podría ser un número primo, es decir, si un número no cumple con lo anterior se puede afirmar que es imposible que sea un número primo.
Una conclusión que se puede extraer es que todas las clases tendrán el mismo número aproximado de primos, es decir, que dado un número primo aleatorio las probabilidades de que pertenezca a una clase o a otra son las mismas. Por lo tanto, si se fueran añadiendo números primos sucesivos se observaría que se distribuyen equitativamente entre las clases del 1, 3, 7 y 9 para la base 10, y esto se puede aplicar a cualquier otra base distinta.
De aquí se puede concluir que las distribuciones de números primos suelen tener un aspecto uniforme, lo que es fácilmente observable en distintas representaciones gráficas en las que los números primos tienden a formar grupos, pero no es el resultado de una propiedad de los números primos, sino que a la hora de obtener diferentes clases de equivalencia los número primos se agrupan en las clases que son coprimas con la base en la cual se representan.
Demostración
[editar]La demostración del teorema utiliza las propiedades de ciertas funciones multiplicativas (conocidas como funciones-L de Dirichlet) y varios resultados sobre aritmética de números complejos y es suficientemente compleja como para que algunos textos clásicos de teoría de números decidan excluirla de su repertorio de demostraciones.[1]
Véase también
[editar]Referencias
[editar]- ↑ González de la Hoz, F. A., Demostración del teorema de Dirichlet, web de la UNED.
Enlaces externos
[editar]Wikiversidad alberga proyectos de aprendizaje sobre Teorema de Dirichlet sobre progresiones aritméticas.
- Weisstein, Eric W. «Dirichlet's theorem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
- Hazewinkel, Michiel, ed. (2001), «Dirichlet_theorem&oldid=33719», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.