Absolutamente … Pseudoprimo
Sabemos que un número compuesto se dice «pseudoprimo» si divide la expresión , lo cual no es otra cosa que un caso especial del llamado Pequeño Teorema de Fermat.
Si un número compuesto divide la expresión , o a la expresión , o a , etc podemos decir que dicho número tiene la «propiedad de la pseudoprimalidad«.
El próximo paso consiste en plantear el caso general: un número compuesto que divida a , , , para cada número entero . En este caso estamos en presencia de lo que podríamos denominar un «número pseudoprimo absoluto«.
Cabe preguntarse si este número pseudoprimo absoluto existe realmente, y la respuesta es sí!!. El más pequeño de los números pseudoprimos absolutos es el 561, o sea el número 561 es un número compuesto que divide la expresión para cualquier valor de . Esto es relativamente fácil de demostrar a partir del Pequeño Teorema de Fermat, de la siguiente manera:
(1) La descomposición del número 561 en sus factores primos es la siguiente: 3 x 11 x 17; necesitamos entonces demostrar que es divisible en cada uno de los factores primos de 561.
(2) Analizamos primero la divisibilidad en el factor 3:
Al ser 3 un número primo por el Pequeño Teorema de Fermat divide a la expresión por lo tanto también divide a .
(3) Analizamos la divisibilidad en el factor 11:
Al ser 11 un número primo por el Pequeño Teorema de Fermat divide a la expresión por lo tanto también divide a .
(4) Finalmente analizamos la divisibilidad en el factor 17:
Al ser 17 un número primo por el Pequeño Teorema de Fermat divide a la expresión por lo tanto también divide a .
Otros números pseudoprimos absolutos son:
2.821 = 7 x 13 x 31 ; 10.585 = 5 x 29 x 73 ; 15.841 = 7 x 31 x 73
Al día de hoy no se sabe si existen infinitos números pseudoprimos absolutos.
Notas:
(1) Este es post es una traducción y resumen de parte del capitulo 1 del libro Mathematical Gems (ver referencia) y es el tercer post de una serie de cinco a publicar sobre el tema.
Serie Teoría de Números:
Post N° 1: El Pequeño Teorema de Fermat – Una demostración directa y simple.
Post Nº 2: Un antiguo Problema Chino.
Referencias:
# Mathematical Gems I – Ross Honsberger – Mathematical Association of America – 1973 – (Colección: The Dolcialni Mathematical Expositions Vol. 1) – Chapter 1 – pp 4-5.
Maravilloso libro, lleno de gemas matemáticas como su título así lo indica. Todo lo que escribió Ross Honsberger es un placer de leer y trabajar al mismo tiempo. Casi todos sus libros están colgados en alguna parte de internet y se puede acceder a ellos.
Un antiguo Teorema Chino
El Pequeño Teorema de Fermat establece que:
Si es un número primo, entonces para cada número el número es divisible en .
Para , el Pequeño Teorema de Fermat nos dice que la expresión es divisible en si es un número primo. Es natural, entonces, preguntarse si el recíproco de esta afirmación es válida tambien, o sea:
Si un númeto entero positivo divide la expresión ´¿es un número primo?.
Hace 2500 años los chinos llegaron a la conclusión que la afirmación era válida, para ello chequearon infinidad de valores de y luego cálculos posteriores confirmaron que para los únicos valores de que dividen la expresión son números primos.
No es difícil demostrar que este antiguo teorema chino es incorrecto. El número proporciona un contraejemplo. Al ser 341 el resultado de hacer 11 veces 31, el número 341 no es primo, pero divide la expresión . Esto último se puede demostrar fácilmente partiendo del hecho que toda expresión de la forma tiene como factor a para cualquier número positivo . Entonces tenemos que:
entonces los números enteros como el 341, que no son números primos pero dividen la expresión se denominan «números pseudoprimos«.
Diversas preguntas respecto de los números pseudoprimos se pueden plantear: ¿es 341 el único número pseudoprimo?, ¿hay infinitos números pseudoprimos?. Resulta que para cada número pseudoprimo impar existe un número pseudoprimo impar mayor, por lo tanto a partir del 341 existen infinitos números pseudoprimos impares.
Otra pregunta que se deriva naturalmente del párrafo anterior es ¿existen números pseudoprimos pares?. En el año 1950 el americano D.H. Lehmer descubrió el número pseudoprimo par 161038 y si bien el descubrimiento en sí fue dificultoso es fácil demostrar que 161038 es un número pseudoprimo. Partimos del análisis de los factores primos que lo forman: 2 . 73 . 1103 y a partir de los mismos tenemos que:
Por lo tanto es necesario demostrar solamente que tanto el número 73 como el 1103 dividen a la expresión .
(#) Comenzamos con en número 73, para ello descomponemos en sus factores primos a 161037 de la siguiente manera: por lo tanto tenemos que:
Así demostramos que la expresión es divisible en 73.
(#) Análisis similar hacemos para el número 1103:
También demostramos, entonces, que la expresión es divisible en 1103.
Por lo tanto dado que 73 y 1103 son ambos números primos, que la divisibilidad de uno no afecta la devisibilidad del otro y a la vez ambos son divisores de la expresión , entonces 161308 es un númeto pseudoprimo par.
En el año 1951 el holandés N.G.W. Beeger demostró que existen, también, infinitos números pseudoprimos pares.
Notas:
(1) Este es post es una traducción y resumen de parte del capitulo 1 del libro Mathematical Gems (ver referencia) y es el segundo post de una serie de cinco a publicar sobre el tema.
Serie Teoría de Números:
Post N° 1: El Pequeño Teorema de Fermat – Una demostración directa y simple.
(2) Número Pseudoprimo ( Pseudoprime ).
(3) Se pueden ver tablas de números pseudoprimos aquí.
Referencias:
# Mathematical Gems I – Ross Honsberger – Mathematical Association of America – 1973 – (Colección: The Dolcialni Mathematical Expositions Vol. 1) – Chapter 1 – pp 3-4.
Maravilloso libro, lleno de gemas matemáticas como su título así lo indica. Todo lo que escribió Ross Honsberger es un placer de leer y trabajar al mismo tiempo. Casi todos sus libros estan colgados en alguna parte de internet y se puede acceder a ellos.
# Pseudoprime – Wolfram Math World.
El Pequeño Teorema de Fermat – Una demostración directa y simple
En una carta a Bernard Frenicle de Bessy in 1640, el gran teórico de los números francés Pierre de Fermat propuso el siguiente teorema (en realidad no era un teorema propiamente dicho sino más bien una conjetura):
Si es un número primo, entonces para cada número el número es divisible en .
Ejemplo: Tomamos un número primo, entonces es divisible en sea un número entero cualquiera (positivo, negativo o cero).
Fermat sostenía que tenía una demostración del teorema, pero según le cuenta a Frenicle de Bessy, esta era demasiado extensa para incluirla en la carta. El primero en demostrar el teorema fue Gottfried Leibniz en un manuscrito en 1683 que no llegó a publicar. La primera demostración publicada, casi cien años después, es de Leonhard Euler, quien en 1736 la presentó en un artículo titulado Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio.
Hasta los inicios del siglo XX este teorema era conocido como «teorema de Fermat» , en 1913 el matemático Kurt Hensel en su libro Zahlentheorie lo rebautiza como «pequeño teorema de Fermat» tal como se conoce actualmente.
Si bien parace que demostrar este teorema requiere de una matemática avanzada, es sorprendente encontrar que puede demostrarse de manera sencilla y directa utilizando nada más que inducción matemática y el teorema del binomio.
A continuación el desarrollo la demostración:
(1) Sea un número primo:
- Si divisible en
- Si divisible en
(2) Suponemos que si para todos los valores positivos de tenemos que es divisible en por inducción matemática la hipótesis es válida también para , entonces tenemos que:
- es divisible en
- es divisible en
Por Teorema del Binomio sabemos que:
Hacemos pasaje de términos y obtenemos:
(1)
En el lado derecho de la ecuación (1) encontramos que cada coeficiente con es divisible en . Por la propia definición de tenemos que:
aquí divide la parte derecha de la ecuación. Para todos los coeficientes de la expresión, es un valor menor a , entoces el factor primo no ocurre en el producto , por lo tanto divide a .
Entonces como divide a cada coeficiente del lado derecho de la ecuación (1), debe dividir también a la expresión completa del lado derecho y consecuentemente divide también el lado izquierdo .
A partir de la hipótesis inductiva que divide a , tenemos que:
Por lo tanto por inducción matemática la hipótesis es valida para todos los valores positivos de .
(3) La demostración se completa considerando los valores negativos de . Entonces definimos a los valores negativos de como .
– Si es igual a , tenemos que:
Los factores y son consecutivos, entonces uno de ellos es par y su producto divisible en .
– Si es impar:
Sabemos que si es positivo divide a , por lo tanto tambien divide a .
(quod erat demonstrandum).
Notas:
(1) Este post es una traducción y resumen de parte del capitulo 1 del libro Mathematical Gems (ver referencia) y forma parte de una serie de cinco posts a publicar sobre el tema.
(2) El Pequeño Teorema de Fermat se puede enunciar de diferentes maneras:
- Si es un número primo, entonces divide a para cada número entero coprimo con .
- Si es un número primo, entonces, para cada número natural , (mod ).
- Si es un número primo, entonces, para cada número natural coprimo con , (mod ).
(3) Se dice que dos números y son números primos entre sí ( coprimos – coprime – o primos relativos – relatively prime – ), si no tienen ningún factor primo en común, o sea no tienen otro divisor común más que 1 o -1.
(4) En un post anterior «Números Primos: Una fórmula para generarlos» explicamos como utilizar el pequeño teorema de Fermat como test de primalidad, o sea un test para definir si un determinado número es primo o compuesto.
Referencias:
# Mathematical Gems I – Ross Honsberger – Mathematical Association of America – 1973 – (Colección: The Dolcialni Mathematical Expositions Vol. 1) – Chapter 1 – pp 1-3.
Maravilloso libro, lleno de gemas matemáticas como su título así lo indica. Todo lo que escribió Ross Honsberger es un placer de leer y trabajar al mismo tiempo. Casi todos sus libros estan colgados en alguna parte de internet y se puede acceder a ellos.
# Pequeño Teorema de Fermat – Wikipedia (consultado 07/05/2014).
# Fermat´s Little Theorem – Wolfram Math World.