Prueba de Primalidad Rodolfo A. Nieves Rivas* fesol7luzley@gmail.com fesol7luzley@yahoo.com fesol7luzley@hotmail.

com *Autodidacta en estudios matemticos RESUMEN En este trabajo se presenta una prueba de primalidad basada en algunos teoremas que permiten crear las bases para su desarrollo y confiabilidad en tiempo polinomial. En otras palabras esta prueba de primalidad atiende el problema sobre la determinacin de si un nmero (n) dado es primo o no, y de igual forma se puede realizar un algoritmo con el cual obtener un nmero primo aleatorio dada una entrada. Cuestin que es conocida como el problema de la primalidad y todo esto nos conduce a resolver de una manera sencilla este problema el cual es el objetivo de esta investigacin. Palabras claves: prueba, algoritmo, primo

ABSTRACT This paper presents a primality test based on some theorems that allow to create the foundations for its development and reliability in polynomial time. In other words this test of primality addresses the problem of determining if a given number (n) is prime or not, and likewise an algorithm can be designed to get a random prime number, given an input. This fact is known as the problem of primality and all this leads to a simple way of solving this problem which is the objective of this research.

Keywords: test, algorithm, prime

INTRODUCCION Existen hasta los momentos algunas pruebas de primalidad las cuales tienen aplicaciones puntuales para resolver el problema de la primalidad, las cuales presentan limitaciones que conducen a considerarlas no satisfactorias para resolver el problema sobre la determinacin de si un nmero (n) dado es primo o no. Las ventajas que tiene esta nueva prueba de primalidad consiste en que el diseo del algoritmo con el cual se desarrolla el software donde se evita tener que realizar la factorizacin siendo esta el mayor obstculo presente hasta la fecha en la prctica dado que an no se ha encontrado una solucin que permita acotar la misma en tiempo polinomial y esto nos conduce a un desarrollo ptimo que nos garantiza afirmar el grado de certidumbre. Por todo lo anterior se presenta este trabajo de investigacin con el fin de aportar a la comunidad cientfica las bases que garantiza la solucin definitiva de este problema. PLANTEAMIENTO DEL PROBLEMA La elaboracin de un algoritmo que permita el diseo de un software que sea aplicado en una prueba de primalidad. MARCO TERICO Definicin 1: Un test (o chequeo) de primalidad es un algoritmo que, dado un nmero de entrada n, no consigue verificar la hiptesis de un teorema cuya conclusin es que n es compuesto. Definicin 2: Un algoritmo de prueba de primalidad (o test verdadero de primalidad) es un algoritmo determinstico que, dado un nmero de entrada n, verifica la hiptesis de un teorema cuya conclusin es que n es primo. Una prueba de primalidad es la verificacin computacional de dicho teorema. As pues se puede hablar de dos grados de certidumbre: las pruebas de primalidad (existe certidumbre matemtica) y los tests de primalidad (existe certidumbre prctica).

BASES TERICAS TEOREMA 1: El producto de n primos diferentes, tiene dos elevado a la n divisores. TEOREMA 2: El producto de dos primos diferentes tiene cuatro divisores y nada ms que cuatro. TEOREMA 3: Si el producto de dos primos diferentes tiene cuatro divisores y nada ms que cuatro. Entonces los divisores son: El producto; Los dos primos y la unidad. TEOREMA 4: Si un mltiplo de diez mas cinco tiene solo y nada mas que cuatro divisores propios. Entonces es producto de dos primos diferentes de los cuales uno de ellos es el numero cinco. ESCOLIO 1: Y los cuatro divisores propios de un mltiplo de diez mas cinco son: La unidad; El cinco; El mltiplo de diez mas cinco y otro primo. COROLARIO 1: Si los cuatro divisores propios de un mltiplo de diez mas cinco son: La unidad; El cinco; El mltiplo de diez mas cinco y otro primo. Entonces el mltiplo de diez mas cinco es producto de cinco por este otro primo. TEOREMA 5: Todo nmero natural que termina en cinco es un mltiplo de diez ms cinco. CRITERIO 1: Para demostrar que dos nmeros diferentes son primos, solo es necesario y suficiente determinar que el producto de los mismos tiene cuatro y nada ms que cuatro divisores propios. TEOREMA 5: Si el producto de dos nmeros impares, donde uno de ellos es el nmero cinco, tiene ms de cuatro divisores propios. Entonces el otro nmero es compuesto. ANLISIS Y RESULTADOS ALGORITMO: PARA LA OBTENCIN DE UN NMERO PRIMO ALEATORIO BASADO: TEOREMAS ENTRADA: Eljase un nmero natural (n) arbitrario con cualquier cantidad de dgitos; con la condicin que el ltimo dgito de este nmero sea el cinco.

Realice ((x - 5)/10) 1 iteraciones hasta encontrar un cociente exacto. Justificacin COMO: La entrada es de la forma: 10.k + 5 = x DONDE: K es la constante Y CUANDO: El cociente es exacto y de la forma: 10.K + 5 / 10.m + 5 DONDE: m y k sean naturales PARA: 0 < m < k ENTONCES: 2.n + 1 es igual al cociente SI: En la ejecucin de la bsqueda, se encuentra un cociente exacto; detngase la ejecucin y la Salida expresara un nmero compuesto. ENTONCES: Con esto queda demostrado que existe al menos un valor para m E IN donde n sea natural. SALIDA: 10.k + 5 / 10.M + 5 = 2.n + 1 DONDE: k = n y m =0 SI: En la bsqueda, no se encuentra un cociente exacto; realcese todas las iteraciones y la salida en este caso es un nmero primo. ENTONCES: Con esto queda demostrado que no existe ningn valor para m natural donde n sea natural. SALIDA: 10.k + 5 / 10.M + 5 = 2.n + 1 DONDE: k = n y m =0 He de resaltar que una vez realizado este anlisis y haber obtenido este resultado que nos permite demostrar que hemos cumplido con el objetivo de esta investigacin; el cual era elaborar un algoritmo con el cual disear un software que nos garantice el poder presentar una prueba de primalidad eficiente, suficiente y satisfactoria que nos permita asegurar cuando un nmero es primo o compuesto. (Primo) (Compuesto)

Dado que el nmero de iteraciones viene determinado por el nmero en la entrada; esto nos garantiza que el tiempo es polinomial y los teoremas con los cuales se fundamenta todo el desarrollo de este algoritmo, son los que de una forma deductiva nos despejan cualquier duda sobre la validez en la ejecucin del software, lo cual queda demostrado en forma inductiva. Desarrollo interno del software: 10.k + 5 / 10.m + 5 = 2.n + 1

10.40 10.40 10.40 10.40 10.40 10.40 10.40 10.40

+ + + + + + + +

5 5 5

/ / /

10.0 10.l 10.2 10.3 10.4 10.5 10.13 10.40

+ + + + + + + +

5 5 5 5 5 5 5 5

= = = = =

2.40 2.13 2. m 2. m 2.4 2. m 2.1 2.0

+ + + + + + + +

1 (es compuesto) 1 1 1 1 1 1 1

5 / 5 /

5 / 5 / 5 /

Nota 1: cuando la divisin es exacta en al menos uno de los pasos intermedios el proceso en el algoritmo al igual que en el software se detiene y se ejecuta el siguiente paso: e cual es realizar el cociente de los trminos extremos y el resultado final o salida es un compuesto 10.k 10.3 10.3 10.3 10.3 + + + + + 5 / 5 / 5 / 5/ 5 / 10.m 10.0 10.l 10.2 10.3 + + + + + 5 5 5 5 5 = = = 2.n 2.3 2.2 2.1 2.0 + + + + + 1 1 1 1 1 (es primo)

Nota 2: Cuando la divisin es inexacta en todos y cada uno de los pasos intermedios el proceso en el algoritmo al igual que en el software no de se detiene hasta haber realizado todos y cada uno de los pasos y al finalizar ejecuta el siguiente paso: el cual es determinar el cociente de los trminos extremos y el resultado final o salida es un nmero primo. CONCLUSIONES Y RECOMEDACIONES Una vez presentados todos los resultados obtenidos a travs del anlisis del

algoritmo se llega a la siguiente conclusin con el desarrollo de un software que se disee con las bases que han sido demostradas en esta investigacin nos garantiza una amplia aplicacin en la solucin definitiva de algunos problemas tales como: Los primos de Mersenne Los primos de Fermat Los primos de Gauss La hiptesis de Golbach (Par e Impar) La hiptesis de Riemann Y todo lo relacionado con los nmeros primos entre otros.

Cabe resaltar que todos estos problemas estn aun pendiente dado que hasta la fecha la dificultad estaba en la solucin del problema que en esta investigacin se ha presentado y por lo cual se propone el diseo de este software a fin de permitir el avance de la ciencia lo cual es el propsito de todo investigador.

BIBLIOGRAFIA es.wikipedia.org/wiki/Test_de_primalidad - 77k www.monografias.com/trabajos15/algoritmos/algoritmos.shtml - 50k www.psicoactiva.com/tests.htm - 34k www.primenumbersformula.com/ - 55k

es.wikipedia.org/wiki/Criptografa