Autor Tema: Demostración elemental del postulado de Bertrand

0 Usuarios y 2 Visitantes están viendo este tema.

12 Agosto, 2014, 04:29 am
Respuesta #50

Víctor Luis

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,165
  • País: bo
  • Karma: +0/-0
  • Sexo: Masculino
Hola Feriva...


◘ Excelente Amigo y como dices el siguiente será primo y si se analiza para determinar ese "algo".... Eureka !!! tienes una fórmula generadora de primos... que tal?

* Si revisaste, desde el 47 sumando +120 se da una sucesion de números con una cantidad promedio de primos y no primos, es decir cada subrango, que luego de un rango general, se repite; pero incrementando -1 a los primos y +1 a los no primos. Cuando en los subrangos intermedios, donde se daban primos, ya no exista ninguno, se amplia el rango general y por ende los subrangos, encontrando en estos otra vez primos y asi se continúa el proceso.

* Lo de acabar en 7 es lógico ya que se va sumando +120, es decir que termina en "0", de modo que si partimos de 45, todos terminarán siempre en "5" y asi para cualquier número.


◘ Al respecto, cómo se debería entender la función o formula para generar de 47→167→2687 ?

* Esta constante es aparentemente funcional; pero como indica "el_manco" se debe comprobar que siempre se cumpla y lastimosamente llega un punto en que no se cumple, dándose un primo o quizas un no primo, que hace fallar todo.

* Por eso siempre recomendé, no sacar conclusiones analizando los primeros números primos, donde hay mil y un maneras de encontrar primos.

* Recientemente, un amigo José Camacho, del grupo en Facebook "Retos Matematicos" publicó el tema "Resuelto el Misterio de los Números Primos" donde con una formula y empleando los números (2)(3)(5)(7) determinaba los primos existentes hasta mil o algo, digamos 10 mil.
→Le recomendé que revisara sus resultados hasta 20 mil, especialmente por emplear el (7) ya que este primo es engañoso.
Sin desestimar tu trabajo, le indiqué que con este y con solo los primos origen, determinaba los primos existentes hasta 13 mil, sin realizar tantas operaciones; pero luego el método falla.
→También le recomendé que modificara su expresión de "distribución de primos" ya que en base a tu enseñanza, los análisis que evaluamos y la forma clara como lo dices, los numeros primos ocupan los espacios dejados por los numeros compuestos, lo cual debería ser considerada una ley fundamental para comprender la organizacion de números primos, de modo que si determinamos estos espacios con una formula o algoritmo, estamos determinando dónde se darán y dónde encontrar todos los primos existentes.


◘ Sobre el 2° Análisis de la organizacion de números de Mersenne, comentarte que ya terminé mi programa de base para analizar las proporciones de multiplos.

* Como te mencioné, desde el "tronco" todos los primos origen pueden generar números que van creciendo exponencialmente, donde unos generan números de Mersenne de la forma \( 2^n -1 \) y los otros generan números de las formas:
\( 3 * 2^n -1 \)
\( 5 * 2^n -1 \)
\( 7 * 2^n -1 \)
\( 9 * 2^n -1 \)

* Pensé que la SGM serían diferentes, osea propia para cada primo origen; pero no fue así, solo existen las SGM de los "pgm" por lo que hay una subdivision dentro de los primos origen, lo cual debe ser por algo o indicar algo.
→Lo importante es que aplicando la SGM se generan "nb" para no decir solo "nm", donde el exponente de su forma sucinta es un "pb" primo base, es decir un pseudoprimo, que le da posibilidades de llegar a ser primo, siguiendo el mismo criterio de los números de Mersenne ó "nm".

• Decidí implementar en el programa la generación de "nb" para todos los primos origen y no solo para generar "nm", debido a que si en los "nm" números de Mersenne se dá un criterio lógico de proporcionalidad entre multiplos, el mismo servirá para los demas.

* La duda que tengo, es si el cociente de las nuevas formas afectarán en algo a los cálculos, es decir un número de Mersenne es de la forma \( (1) * 2^n -1 \) y respecto a esta forma \( (3) * 2^n -1 \) multiplicamos por (3) a la potencia en base 2 que es \( 2^n \) y luego restamos -1.
→Veo que afecta en la reconstruccion del "nb" grande; pero esto afectará en algo a la SMD y a la aplicacion de primos relacionados para determinar multiplos directamente? Basta ver el ejemplo dado en la exposición; pero todo lo dirá al analizar estos, donde como dije los números de Mersenne caen al pelo, como una referencia standar a seguir, por lo que es lo primero que analizaré.

• Un otro detalle, es que reconfiguré todas las "cm" Constantes Múltiples, que en el primer análisis para "nm" generados directo del tronco, estos eran los primos origen; pero para esta organizacion con "nb" donde el exponente de su forma sucinta es "pb", la "cm" es un valor calculado desde el primo origen, que no sigue una secuencia proporcional, a menos que los ordenemos nosotros, lo que implicaría desordenar la secuencia de primos origen y tal vez esto conduzca a determinar la SMD y a establecer una nueva modalidad de primos relacionados, donde desde ya los primos relacionados se dan para los n multiplos existentes.

* Como ves, hay mucha tela por cortar y espero terminar en esta semana el análisis, para presentarte, cual sería la metodología para encontrar primos de Mersenne y primos de las otras formas, para luego considerar la posibilidad real, computacionalmente hablando, de encontrar el siguiente primo de Mersenne; pero antes de hacer esto, no debemos olvidarnos que hay primos de las otras formas, donde el método debe ser capaz de determinarlos estos y mostrarte primos gordos como los que pediste.


Saludos Amigo...

13 Agosto, 2014, 01:03 am
Respuesta #51

feriva

  • $$\Large \color{#a53f54}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 12,032
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino


* Como ves, hay mucha tela por cortar y espero terminar en esta semana el análisis, para presentarte, cual sería la metodología para encontrar primos de Mersenne y primos de las otras formas, para luego considerar la posibilidad real, computacionalmente hablando, de encontrar el siguiente primo de Mersenne; pero antes de hacer esto, no debemos olvidarnos que hay primos de las otras formas, donde el método debe ser capaz de determinarlos estos y mostrarte primos gordos como los que pediste.


Saludos Amigo...


Bien, pues nada, sólo queda esperar y eso espero, que llegue el número de Mersenne; ya he visto tu otro post y que subido a Youtube tus investigaciones sobre el tema.

 Un cordial saludo.

13 Agosto, 2014, 08:46 am
Respuesta #52

Víctor Luis

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,165
  • País: bo
  • Karma: +0/-0
  • Sexo: Masculino
Hola Amigo...


▼ SINTESIS del DESARROLLO sobre PRIMOS de MERSENNE.
* Espero no te haya molestado que te mencione en el otro hilo, ya que solo digo lo que es, puesto que cuando supe de los números de Mersenne no sabia tanto de las proporciones de la organizacion y cuando tocamos el tema, me intrigó lo que decias que el numero debia ser mutiplo de 4 y la division entre logaritmos sea exacta.
Luego que el exponente sea primo y despues de tanto trabajo, llegar a tener un número de Mersenne que daba la oportunidad de que sea primo; pero no era in indicativo directo de serlo.

* Utilicé 2 libros de Excel con varias Hojas para darme cuenta que no había una generacion directa de estos "Mn" desde los primos origen, sino que era dado por algunos y fue lo primero que te comenté, un bucle de multiplicaciones, sumas que dependian del valor anterior para obtener el siguiente punto y generar un "Mn".

* Algo me decia y creo habertelo comentado, que debía existir algo como una proporcion directa para generar los "Mn", asi que empleando otro libro de Excel para analizarlo, no se como; pero de los complicado pasé a lo simple y es la iteración del "tronco", único elemento del cual se generan directamente los "Mn".

* Luego me hablaste de los números "repituno" donde los "Mn" en binario estan conformados por solo "1", por lo que me dije, que si había esto con estos numeros, debería haber una relación con su forma sucinta; pero lo dejé, para implementar el test de Lucas Lehmer, que al ser complicado aplicarlo en el programa, por tardar mucho en calcular el dividendo correspondiente al exponente de un "Mn", solo había llegado a 2^17 y cuando mucho 2^19.

* Retomé la idea que había dejado y busqué cómo generar "Mn" cuyo exponente sea un "pb", un número base y dirigir todo a la organizacion, encontrando la SGM que itera el tronco al punto exacto para que el "pgm" primo origen genere lo mas proximo a un número de Mersenne, donde el exponente "pb" es pseudoprimo.

* Observé que los exponentes "pb" estaban incompletos, es decir de uno se pasaba a otro de forma arbitraria, por lo que determiné sus primos origen y encontré que luego de un rango ó grupo, se volvian a dar en el mismo orden, por lo que había proporción y hallé la constante que los generaba, siendo la misma para las otras SGM, indicándome que estaba en el camino correcto.
→Para comprobar que la SGM se cumplia, generé mas "Mn", saque su forma sucinta y lo exponentes "pb" eran exactamente los generados por la SGM.

* LLegado a este punto, tenía 2 caminos a tomar y/o analizar, "Mn" generados directamete del tronco y "Mn" generados con la SGM.
Al ser un terreno nuevo e inexplorado, pensé que lo mas lógico era dar una vuelta por el vecindario.

* Realicé el 1° Análisis con "Mn" generados directamente del tronco, donde para generar la suceción de exponentes "pb" también existe una constante para todos los "pgm", era un primer dato proporcional. Luego hice el programa para analizar la distribución de multiplos y encontré cómo los "Mn" multiplos se disponían cada cierta posición para un "pd" primo divisor, lo cual te comenté y al no comprenderme lo que decia (algo que me caracteriza en este foro) te di un ejemplo de como se daba esto, similando la generacion conjunta de pseudo "Mn", pues hay que ver para creer y comprender.
→Si te diste cuenta, esta disposición de multiplos es como los multiplos que observamos en el orden de números naturales, por lo que no intenté buscar mas datos, intuyendo que al generar "Mn" con la SGM, conformaría una organización, que si bien iva a parecer que se estaba desorganizando, el orden se daría por secuencias y constantes proporcionales.

* Decidí abrir un hilo para poner los ultimos datos de este primer analisis y continuar el avance del desarrollo, ya que los hilos en que tratamos estos temas, están con muchas paginas y no fuera que el administrador me jale de nuevo la oreja, haciendo notar la mescolanza de temas que se dan y por otro lado, para que "el_manco" diera su opinión, ya que en el hilo que abrió, concluyó que la organización que expuse, solo sería una forma mas para buscar primos sin aún verificar su rapidez y que no aportaría a resolver los principales problemas sobre numeros primos, cosa que no me termino de decir cuales problemas en palabras simples y mas aún, que no veía como, realizando pocas operaciones se lleguen a determinar primos grandes.


* Para iniciar el 2° Análisis, necesitaba establecer la SGM para los demas primos origen que no eran "pgm", al ver que la organizacion estaba incompleta, encontrando primero que no se pueden emplear como "pgm" directamente los primos origen, sino desde una "cg" constante de generacion proporcional obtenida desde cada primo origen, siendo variable y aún si saber como se dan estos y pienso que será lo mas dificultoso en este segundo análisis.

* Teniendo las "cg", ví que los "Mn" generados para cada primo origen, correspondian a una forma en particular y que los exponentes de su forma sucinta correspondian a una de las sucesiones de exponentes de los "pgm" y por lo tanto tendrían la misma SGM, por lo que apliqué estos y efectivamente, se generaban "Mn" donde el exponente de su forma sucinta seguía la misma sucesión llamando a esto SEB secuencia de exponetes base.
→Esto me indica que hay una subdivision dentro de los primos origen, cuyo propósito debe ser para algo.

* Ahora debia hacer un programa que maneje todos estos datos, es decir, que al seleccionar un primo origen, se cargue en una variable la "cg", seleccione la SGM que le corresponde y seleccione el primer grupo de exponentes "pb", de modo que al generar los "Mn" que se guardarán como cadena de texto en un array, corresponda a su exponente "pb" cargado en otro array.
→El programa es una ayuda para el análisis, al no poder hacerlo en Excel, ya que se debe sacar el resto de dividir los "Mn" entre "pd" generados desde cada primo origen.

* Como lo esperaba, los multiplos se distribuyen por aqui y por allá; pero observando como se dan para varios "pd", encontré que siguen una secuencia parecida a la SMD. Inútil fue modificar el programa, para controlar y calcular la distancia entre los multiplos; pero me sirvió para exportar datos, donde observé que pocos "pd" primos divisores tenían multiplos propios, puesto que habiendo otros "pd" que tenian multiplos, estos correspondian a los "pd" anteriores.
→De tal manera llamé a los que tenian multiplos propios como "pde" ó "pbe" Primos Divisores Exponenciales, ya que desde uno y el siguiente a darse, este era mucho mas grande, más que la relacion que te pedi como ayudita entre 47→167→2687.

* Analizando los datos exportados, encontré una relación entre exponentes de los "Mn" y entre la suceción de exponentes "pb", principalmente para los "pgm", llamando a estos como "Exponentes Relacionados". Fui apuntando los datos en mi cuaderno de notas y encontré que siguen una sucesión constante dada para cada SGM y su SEB, es decir, generando una sucesión de exponentes "pb" para un "pgm" desde un "pb" cuyo "Mn" es multiplo de un "pde", sus multiplos se depuran directamente siguiendo esta secuencia, por lo que no se necesitaría generar cada "pde" cuyo tamaño crece exponencialmente, sino depurar sus multiplos directamente desde la sucesión de exponentes "pb" con esta secuencia, siendo por lo tanto una depuración de multiplos a ciegas.

• No me lo puedo creer aún, que esto resulte mas simple de lo que había pensado... como los números primos son engañosos, no debo confiarme a la primera, surgiendo un pequeño inconveniente, puesto que para verificar que esto se cumple, debo evaluar los multiplos de "pde" y como estos crecen exponencialmente, estoy modificando el programa del 2° análisis, para lograr manejar estos divisores grandes, lo que llegar al siguiente "pde" lleva tiempo; pero ya tengo algunas ideas para acelerar esto.
→Creo que luego de exportar todos los datos de este análisis, dejaré uno o dos dias, que el subconsciente trabaje a full, para recopilar datos concluyentes e iniciar el programa para buscar primos de Mersenne.


▼ IDEAS y CONSIDERACIONES.
* Creo que luego de encontrar el siguiente primo de Mersenne (si lo logro con 100% de certeza...) publicaré en Youtube parte por parte de la forma sucinta de este primo, para crear cierta expectativa y principalmente, para realizar el 3° Análisis, que es determinar primos dados por los otros primos origen que no son "pgm" e ir compartiendo contigo, "primos gordos" e ir registrando en algunas paginas dedicadas a esto, nuevos primos grandes y finalmente develar el nuevo primo de Mersenne.

* Pienso y re-pienso, que puede suceder que me estanque en algún punto, donde no se cumplan las proporciones a partir de un límite, como lo indicó "el_manco" y al no tener muchos datos, pricipalmente porque de un primo divisor al siguiente, este crece exponencialmente, no podré determinar la secuencia de multiplos.
→Sé que he dicho y recomendado, que no se saquen conclusiones anticipadas, evaluando los primeros primos existentes y haciendo esto con los primos de Mersenne; pero de suceder esto, mi Plan-B es iniciar el 3° Análisis, donde tendré mas datos, por lo que si se cumple un criterio lógico en estos, se debe cumplir para los primos de Mersenne.

* Debo llegar a determinar los primos de Mersenne, porque si presento un primo de otra forma, nadie lo dará por cierto, ya que de las tantas formas que existen en OEIS, en esta organizacion se resumen en pocas, que dan la posibilidad de identificar y depurar multiplos entre unos y otros.


☼ Bueno Amigo y Maestro, ya te iré comentando los avances y tropiezos que se den en este segundo análisis.


Saludos...

13 Agosto, 2014, 11:34 am
Respuesta #53

feriva

  • $$\Large \color{#a53f54}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 12,032
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
 Hola, Víctor, buenos días. Cómo me va a molestar que me menciones, al contrario.

 No te preocupes si ves que no entiendo algo o ando perdido en muchas cosas, lo importante es que lo entiendan los matemáticos que lo lean (que no sé a ciencia cierta hasta dónde entenderán) que son los que, en un momento dado, tienen "voto de calidad" y pueden evaluar la cuestión. Y eso ocurrirá cuando encuentres un nuevo primo de Mersenne; pareces muy seguro, lo cual ya es importante, tener seguridad en que lo vas a encontrar es bueno.

 Un cordial saludo.

22 Agosto, 2014, 07:13 am
Respuesta #54

Víctor Luis

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,165
  • País: bo
  • Karma: +0/-0
  • Sexo: Masculino
Hola Amigo Feriva...


1°) Lamento decirte que no pude terminar el 2° Análisis, debido a situaciones de salud y familiares.

* Creo que el destino me obligó a hacer una "Pausa" lo que es perjudicial para mí manera de pensar... Lo que pasó, fue que tube que gastar en medicamentos, donde el hermanastro que tengo, no se dignó en asumir, sus responsabilidades, es mas, se ocultó varias veces para no recibir la citación de la Fiscalía, ya que al seguir mal, me apliaron a 11 dias de impedimento y para colmo, me dio tos, espectorando flemas verdes, que pensé era TB, muy común en mi país... fue lo peor, cada vez que tosía, era un dolor interno fuerte que me dejaba respirando de a poco.
→ Para rematar, le dieron crédito a la versión del hemanastro, resultando yo el culpable... te imaginas? Fue una gran desepción de mi madre y hermanos, excepto el mayor; pero que le vamos a hacer, lo que hace en la vida se paga... por suerte no estiré la pata; pero me perjudicó bastante, en el sentido, de que mi subconsciente seguia trabajando, que hasta se manifestó, produciendo 2 sueños, donde, continuaba el análisis y encontraba las secuencias logicas para depurar los Mn no primos, sacando como algo positivo que hay herramientas para terminar el análisis.


2°) Antes de postrarme en cama, logré avanzar hasta un 50% el análisis definitivo, donde la cosa no había sido tan simple como esperaba.

◘ NUMEROS de MERSENNE NO PRIMOS de un PGM.
Con la explicacion resumida del ultimo comentario realizado, comprenderas que un "pgm" Primo origen Generador de números de Mersenne, utiliza la SGM Secuencia Generadora, que itera al "tronco" hasta el punto exacto para generar un Mn donde su exponente sea "pb" Primo Base, es decir pseudoprimo, lo mas proximo a un primo.

* Analizando los "pd" Primos Divisores de los Mn múltiplos, como te dije, estos se generan de forma exponencial, por lo que para determinar si un Mn es primo, no se debe evaluar con todos los primos, solo con estos, lo cual es la base fundamental de mi propuesta, para determinar Mn primos con una simple computadora y en un tiempo super mínimo, tan solo horas y aunque no me lo crea, diría, hasta en un día, lo que sigue siendo super minimo, comparando con las semanas y meses que se tardaron en encontrar el ultimo primo de Mersenne.

* Resulta, que los "pd" generados de los otros "pgm" tienen Mn múltiplos, si los evaluamos individualmente; pero estos son comunes a los "pd" del "pgm" que generó los Mn.

<ACLARANDO>
→ Diremos que los primos generadores de números de Mersenne son:
pgm(a)
pgm(b)
pgm(c)
donde (a) (b) y (c) son primos origen

→ pgm(a) con su SGM, genera Mn números de Mersenne, cuyo exponente de la forma sucinta es un "pb" Primo Base, es decir un número base como lo conocemos en la organización original, el cual es pseudoprimo.

→ Así mismo sabemos, que este pgm(a) tiene una otra secuencia, que es la SEB Secuencia de Exponentes Base, por lo que, en lugar de generar un Mn cada vez mas grande, reducirlo a su forma cinta para obtener su exponente "pb", lo que hacemos es generar estos exponentes "pb" con la SEB de forma directa, siendo estos proporcionales al valor de los Mn.

* Entonces tenemos 2 modalidades de conformar la organización, ya sea manejando Mn cada vez mas grandes ó una sucesión de exponentes "pb" generados con la SEB, lo que no facilita manipularlos, ya que el exponente "pb" del ultimo primo de Mersenne tan solo es 2^57885161  algo facil de cargar en un array.

• Vamos a los Mn MULTIPLOS... en mi análisis, con el programa que hice, busqué los MN que son multiplos, de los "pd" Primos Divisores generados desde los primos origen (a) (b) y (c).
→ Para esto, necesariamente tenía que generar los Mn y dividir entre los "pd" para evaluar si su resto es =0 y saber que este es multiplo.
→ Como decía, los "pd" de (a) (b) y (c) tenian Mn multiplos, que recordaremos estos Mn se generaron desde pgm(a). Esto se daba, buscando Mn multiplos para un primo origen y sus "pd" generados.

• Luego de verificar lo anterior, hice que el programa busque multiplos para el primo origen (a) y sus "pd", marcando estos multiplos, para que luego al buscar multiplos para el primo origen (b) y sus "pd", solo evalue con los Mn no marcados y/o no depurados.
→ Encontré que los primos origen (b) (c) y sus "pd" generados, no tenian multiplos, habiendo sido depurados por el primo origen (a) y sus "pd", por eso digo amigo Feriva, que estos Mn son multiplos comunes, donde solo hace falta depurarlos con uno de estos primos origen, especificamente con el pgm que generó os Mn.

* Hasta ahí se veía super genial, se reducía aún mas la cantidad de operaciones; pero mi alegría se esfumó, luego de darme cuenta que no tenía mas primos divisores, para depurar los demas Mn multiplos.


◘ SECUENCIA de EXPONENTES MULTIPLOS DIRECTOS.
Pensé, que si hay proporcionalidad entre un Mn y su exponente "pb", debía existir, una SMD Secuencia de Multiplos Directos, como se da en la organizacion original.

• En efecto, existe esta secuencia, pero es un tanto diferente, es la SEM Secuencia de Exponentes Multiplos, es decir, tomamos un exponente "pb" que no haya sido depurado, lo que nos indica que su Mn es primo.
→ Este exponente "pb" lo tomamos como un "pd" primo divisor, para el cual aplicamos la SEM, que determina los exponentes "pb" cuyo Mn es multiplo.

→ Así de sencillo Amigo... trabajando con exponentes, depuramos directamente los Mn multiplos no primos, sin tener que sacar el resto de los Mn de tamaño gigantezco para la infinidad de primos que se dan hasta la raiz cuadrada de este Mn, como decía la depuración de multiplos es directo y por asi decirlo a ciegas.


◘ RENDIMIENTO de la DEPURACION de EXPONENTES MULTIPLOS.
• En tan solo unos segundos, depuré Mn multiplos y determiné los primeros primos de Mersenne, hasta   \( M_p = 2^{31} -1 \)

• Con esta forma de depuración directa, logré reducir la cantidad de Mn a casi la mitad, donde generando 400 Mn, en unos segundos, sabía que 182 era multiplos no primos y los restantes 218 Mn, podían ser primos, siendo en realidad unos cuantos los que son primos de Mersenne; pero ya avancé bastante y por eso digo que llegué a desarrollar el 50% del análisis.

→ Qué opinas...?



3°)  ESCASES de PRIMOS DIVISORES PROPORCIONALES.
Hasta ahí pude analizar, enfermándome luego con la tos y quedando aislado de mi entorno familiar, que por los gastos enmedicamentos que hice, quedé corto de dinero, por lo que preparé algunos programas a ofertar, habiendome olvidado de darle vacaciones al subconsciente, que me mostró sus resultados en un sueño...

• Sinceramente, es asi como veo que trabaja este mi pensamiento, por lo que para continuar, debo volver a repasar todo, ya que no pude anotar las ideas que tenía... en fin, por algo será... hasta pensé dejarlo todo y rifar los datos de mi organización, al primer interesado que se presenté; pero vaya uno a saber, que uso le darán, siendo preferible ser como Fermat...
no sé si estoy equivocado; pero leí que podía determinar mentalmente, los factores primos de numeros un tanto grandes, llevándose su secreto al mas allá y quien sabe, tal vez debe haber encontrado ya el enésimo primo de Mersenne... ¿ ?

• Continuando... Para completar el análisis, la cosa esta medio complicada, puesto que hay "escases de primos divisores", debido a que los restantes Mn que no son primos, pude ver de manera rápida, que sus divisores están en los otros primos origen que no son "pgm" primos generadores de Mersenne, ya que como te dije, generan desde el tronco, números que no son de la forma "2n -1", habiendo por lo tanto una diferencia radical para mi que no se tanto manejar formas y su equivalencia entre estos.

→ En mi criterio, todo debe ser proporcional y esto me desconcierta, por lo que debo analizar desde cero la generacion de estos primos origen que no son "pgm", viendo que podría darse un nuevo "tronco" generador para estos e inclusive para cada uno, ya que cada uno genera numeros con diferente tipo de forma, lo que lo complica todo.

→ Mi esperanza es que exista una proporcionalidad entre estos y los Mn de Mersenne, ya que "Todos son Números Base Generados" y la organización con primos origen, dice que todo es proporcional, estén en Bolivia o en la China, todos tienen su proporcionalidad directa y exacta hacia los primos origen. De darse esto, no solo se determinarían primos de Mersenne, sino numeros primos gigantes de otras formas.

• Un análisis complementario a este, sería buscar un otro tronco generador ó una SGM, que permita generar números grandes como los de Mersenne; pero que todos correspondan a un misma forma, donde como sé existe la SEM, con esta depuramos directamente todos los multiplos y obtenemos números primos gigantes.
→ El problema está, en saber, quién o qué método podrá validar que son realmente primos, ya que según sé, lo mas proximo, son los test probabilisticos como el de Miller-Rabin, donde si yo afirmo que un número de digamos 5.000.000 de dígitos es primos, porque mi organización así me lo dice una y otras veces, puede resultar, que el test de Miller-Rabin, diga que es un posible primo... y a quién van a creer? ya sabemos verdad?
→ Lo bueno del test de Miller-Rabin, es que maneja factores divisores y hasta ahora, yo manejo exponentes divisores, donde su Mn, es un primo divisor y en la organización, un múltiplo sea del tamaño que sea, tiene esencialmente 2 Factores Divisores, pudiendo ser estos primos y pseudoprimos, lo cual es otra contrariedad al conocimiento que se aplica.


○ En fin Amigo... creo que el siguiente primo de Mersenne, se esta haciendo esperar; pero no creo que le dure mucho su escape, hay proporcionalidad y ante esto, ningun primo puede escaparse... ya te iré comentando las ideas que me lleguen...


Saludos...

22 Agosto, 2014, 07:59 am
Respuesta #55

feriva

  • $$\Large \color{#a53f54}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 12,032
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino

  Hola, Víctor, me alegra mucho verte por aquí.

No sabes cómo te comprendo, ya te dije que yo también tengo un “hermanastro”. Espero que te pongas bien y que pase todo.

 Es un poco complicado así leído, pero lo importante es que hayas visto cosas nuevas.

 En cuanto a los números y los tests (incluido el de Rabin y alguno más) tengo algo que te va a interesar, una página que habla de los números de Carmichael y todo esto:

 http://mimosa.pntic.mec.es/jgomez53/matema/conocer/primos.htm

Apenas la he mirado por encima, porque con estos ojos rebeldes leo muy poco o casi nada, pero creo que no está mal y es clara (hasta leyendo por encima y entre brumas se ve que se entiende bien).

 Por mi parte me bajé el programa prime25, pero tarda varias semanas en analizar unos pocos números y no soy yo de los dejan el ordenador encendido tanto tiempo (que si se me estropea a ver de dónde saco otro). También estuve mirando cosas con bases y entreví algo que no pude sintetizar.

 En fin, tú sigue con ello, que tarde o temprano darás con ese primo que buscas y, ojalá, con otros que vengan detrás.

 Un cordial saludo.

 

22 Agosto, 2014, 01:17 pm
Respuesta #56

Víctor Luis

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,165
  • País: bo
  • Karma: +0/-0
  • Sexo: Masculino
Hola FERIVA...


--A--
▼ Lei la publicación que indicaste y sinceramente debo decir que sigo en desacuerdo con los "pseudoprimos" de Carmichael, donde mas me parece una competencia por dar nombre a estos, donde yo diría los pseudoprimos de Victor Luis... pero cual es su utilidad real?

• Los usan como bases para pescar numeros compuestos, es decir, se trabaja en determinar que un numero dado sea compuesto y si pasa los test, como no se trabajo en determinar la primalidad, se intuye que es un probable número primo.
→ Qué se ha echo, verificar un compuesto con pseudoprimos, siendo lo correcto evaluar con numeros primos para poder decir que es primo y no un probable primo.

• En la organización, llamo a los números base como "primos base" ó "primos divisores" para dar a entender que si un número no es divisible por todos los numeros base generados hasta su raiz cuadrada, de echo este número es primo con 100% de seguridad.
→ La cantidad de primos base que no son primos, aumenta conforme aumenta el tamaño del numero, por lo que determinar la primalidad de un numero de 18 digitos, evaluando con todos los números base considerados como primos base, no es tan significativo en el tiempo de proceso.
→ Para un numero de 30 digitos, la cantidad si es significativa, haciendo lento el proceso; pero el resultado que se obtenga seguirá siendo 100% correcto, al determinar la primalidad del numero a toda costa. Si en cambio, evaluo solo con pseudoprimos fuertes y refuertes,... dónde quedan los primos? estan delegando sus funciones a los pseudoprimos.

• Comprendo que se aplican criterios de congruencia, empleando como base numeros primos y como exponente al numero en evaluación; pero por mas que se use una base 2, los calculos llegarán a ser inoperables.

»» A donde voy... a que se desarrollaron métodos, con un alto costo computacional, para determinar la probabilidad de que sea primo y no un 100% de que en verdad lo es.

Citar
Leonhard Euler comentó en una ocasión: "Los matemáticas han intentado
en vano hasta la fecha descubrir algún orden en la sucesión de los
números primos, y tenemos razones para creer que es un misterio en el
que la mente no podrá penetrar nunca".
→ Si pensamos así, nos estamos limitando, transmitiendo una idea de imposibilidad a las siguientes generaciones.


▼ Hasta donde pude ver, los números de Mersenne, son una organización incompleta, indicándose al respecto:

Citar
No se han incluido los últimos primos (que si aparecen en la
tabla de abajo) porque aunque se sabe quien es la madre  todavía no
sabemos quien es el padre; quiero decir, que se sabe que son primos de
Mersenne, pero no se sabe si son los que siguen inmediatamente a los
anteriores.

→ Si es incompleta, como se pretende saber cual es el siguiente en darse?
ya que estos se generan de varios primos origen, que luego de depurar los multiplos y reunirlos, se tienen los primos de Mersenne como los conocemos.


--B--
• No es un berrinche ni una critica sin sentido; pero pienso que se ha perdido el objetivo de determinar la primalidad a toda costa, buscando el determinar un compuesto a toda costa, lo que no viene siendo lo mismo... o estoy equivocado ? corrigeme por favor...

• Un número no es primo, porque es divisible o es multiplo de otro número, que no necesariamente debe ser primo, basta con saber que lo divide exactamente.
→ Estructurados de esta manera, formamos una organización completa, con datos proporcionales, los miremos por donde los miremos. Cosa muy distinta a lo que se hace, ya que es como sacar varias piezas a un cubo de rubick, dejando solo algunos que serían los primos y pretender, formarlos ordenadamente, lo cual será imposible.

• Un numero primo, necesita de sus multiplos para establecer un orden, que vaya limitando la presencia de otros primos. Así como se los considera que son mala hierba que crece por aqui y por allá de forma rebelde entre el pasto, cómo poder saber que ocasiona esto, si no sacrificamos el pasto, cortándolo y dejarlos al descubierto, donde veremos cual es el origen de este suceso.

• Respecto a los números de Mersenne, como dije, es una organizacion incompleta, no me cabe en la cabeza aceptar, que estos se dan desde algunos primos origen, siendo casi la mitad divisibles entre los los demas primos origen y sus primos base generados.
→ Además, como es posible, que una secuencia como la mencionada SEM Secuencia de Exponentes Multiplos, que para un exponente cuyo Mn es primo, determina de forma directa los exponentes, donde sus Mn son multiplos no primos. Encontrar tal proporcionalidad a gran escala para estos números gigantescos, no puede ser una mera coincidencia.


◘ Lo que sucede es que hay un "ORDEN PROPORCIONAL y EXACTO" entre estos números gigantescos, tanto así, que como te dije anteriormente, los Mn generados del pgm(a) al depurar Mn multiplos con el primo origen (a) y sus primos divisores generados, al intentar depurar Mn multiplos para los primos origen (b), (c) y sus primos divisores generados, no tenian multiplos, pues estos ya estaban depurados.

» Recordando:
-  SEB = Secuencia de Exponentes Base, de estos se generan los demas
-  SEM = Secuencia de Exponentes Multiplos, esta secuencia determina los exponentes multiplos, de los exponentes base generados desde la SEB
- Un "exponente base" es el exponente de la forma sucinta de un Mn
- Un "exponente multiplo" es un exponente base cuyo Mn es multiplo.


→ Depurando en base a los exponentes de la SEB para pgm(a) tenemos:
SEB { 5, 7, 17, 23 }
→ Determinando sus exponentes multiplos con la SEM, tendríamos:
(05)  (07)  (17)  (23)
 15    21     34    69
 45    63    102  115

→ Ahora la SEB para pgm(b) sería:
SEB { 11, 29, 43, 47 }
→ Determinando sus exponentes multiplos con la SEM, tendríamos:
(11)  (29)  (43)  (47)
 15    45     ...     ...
 21    63     ...     ...
 34   102    ...     ...
 69   115    ...     ...

○ Si te puedes dar cuenta amigo Feriva, aunque el ejemplo no sea real, no había sido solo que los Mn multiplos ya estaba depurados por el primo origen (a) y sus primos divisores, lo que es lo mismo decir, depurar exponentes multiplos con la SEM para la SEB de pgm(a)

→ Al determinar los exponentes multiplos con la SEM para la SEB de pgm(b), en el ejemplo para el exponente (11) la SEM determina los exponentes multiplos { 15, 21, 34, 69, ... } que son lo primeros exponentes multiplos de la SEB determinados con su SEM para el pgm(a)

→ No te recuerda esto a algo? pues SI... a los "Primos Relacionados", como expliqué en la exposición, el primo relacionado, determina directamente los primeros multiplos de los primos base generados por el otro primo relacionado.

→ De esta manera los "pgm" actúan como primos relacionados, en la organización de números de Mersenne, por lo tanto, los otros primos origen, deben actuar tambien como primos relacionados; pero como no generan números de Mersenne de la forma "2n -1", sino de otra forma, entre estas formas debe haber una proporcionalidad o un factor constante, que aplicado a la SEM determine los Mn multiplos generados por los "pgm", quedando al final, solo Mn que son primos de Mersenne.

→ Este es el Orden Proporcional Exacto que digo existe... es otra mera coincidencia ? No lo creo y por eso, mantengo mi propuesta, que es determinar todos los primos de Mersenne encontrados, realizando un solo proceso de depuración, de manera directa "a ciegas" con una infima cantidad de iteraciones y en menos de 1 hora, al depurar exponentes multiplos y obtener Mn de tamaño gigantezco... que opinas Amigo ?


☼ Organizaré mis datos, para analizar los primos origen no generadores de números de Mersenne... ya te iré comentando los aciertos y desaciertos...


Saludos...

22 Agosto, 2014, 08:13 pm
Respuesta #57

feriva

  • $$\Large \color{#a53f54}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 12,032
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino


 Hola, Víctor. No te lo has leído bien, canalla (canalla es una expresión cariñosa que se usa aquí) y al final me lo he tenido que mirar yo, con mi ojos, para explicártelo y que veas la importancia. 

Los números de Carmichael no sirven para nada bueno (o sí, no sé) son los que tienen la culpa de que falle el test de Fermat y haya que recurrir otros a tests como el de Miller-Rabin, por ejemplo.

 En el test de Fermat se supone que, por ejemplo, el 9 es primo, entonces se busca un número que haga de base para la potencia 9-1; por ejemplo, empezamos por 2, y probamos esta división

\( \dfrac {2^{9-1}}{9} \)

 Si el resto  fuera 1 tendría posibilidades de ser primo, pero si fuera distinto de 1 sería compuesto seguro (esto no es más que la aplicación del pequeño teorema de Fermat).

 En este caso, entonces, tenemos que 2 elevado a 8 es 256, y 256/9 toca a 28 en el cociente; como 28·9 es 252, si esto se lo restamos a 256 da 4 —que es el resto— y no 1, luego es compuesto.

 Si hubiera dado 1, entonces sí podría ser primo, pero también podría ser compuesto; para salir de dudas se probaría con otra base que no fuera 2, es decir, se elevaría a 8 otro número, como el 3 o el que fuera; y, si aun así, el resto siguiese siendo 1, tendría más probabilidad de ser primo que antes, pero no sería seguro... La cuestión es que hay unos números, los de Carmichael, que les da igual la base que uses, el resto es siempre 1 al igual que pasa con los primos, así que no se pueden distinguir usando el test de Fermat.

 Euler encontró un apaño para evitar que algunos de estos números engañaran al test de Fermat; es igual, sólo que en vez de usar la potencia “n-1”, para la base que sea, usa la potencia (n-1)/2; si bien considera que la base ha de ser un número coprimo con “n”.

 Aunque me parece que no lo dice en el enlace que te he puesto, esto implicaría, en principio, un cálculo más (creo). Puesto que no conocemos la factorización de “n” (si la conociéramos ya sabríamos si es primo o no) para saber si “n” es coprimo con la base tendremos que hallar el m.c.d. de ambos números mediante el algoritmo de Euclides (a no ser que probemos con bases sobre las cuales podamos saber, mediante los criterios de divisibilidad más sencillos, que son números coprimos con el “n” que estamos probando; por ejemplo, si el número acaba en 5, o sea, si “n” termina en 5, pues ya sabemos que no es primo, por tanto no haremos el test con números que acaban en 5 y siempre podremos usar como base el 5).

 Luego, aparte de esto (pero relacionado con lo que sigue) existen unas cosas que se llaman anillos \( \mathbb{Z}_{n} \) para los distintos valores de “n”; es algo así como lo de las bases.
  Muy brevemente, viene a ser esto

los elementos de \( \mathbb{Z}_{10} \) son

\( \mathbb{Z}_{10}=\{0,1,2,3,4,5,6,7,8,9\} \)

Para expresar, por ejemplo, un número mayor que 9 en \( \mathbb{Z}_{10} \), sea, qué sé yo, el 523, dividimos 523 entre 10 y hallamos el resto; el resto es 3, es lo que le sobra a 523 para ser un múltiplo de 10, o sea, para ser 520.

 Entonces, en \( \mathbb{Z}_{10} \), tenemos que

\( \overline{523}=\overline{3} \)

Esa rayita quiere decir clase de divisibilidad.

Visto así “no existen” números mayores que nueve, el diez es cero, el 20 es cero, el 30 es cero... cuando se llega a un múltiplo de diez se pone cero y se vuelve a empezar anillando los números de diez en diez, de tal forma que el 21 es 1, etc. Y los anillos tienen también la operación suma, con una serie de propiedades y tal, que viene a funcionar parecido; el 15 en este caso sería 0+5=5 y así.


 Bien, pues esto mismo se pude hacer con otros números que no sean n=10, se puede hacer con n=9 o con el que sea. Pero cuando “n” es primo, el anillo adquiere estructura de cuerpo y tiene alguna propiedad más que no tiene cuando no es primo; en un cuerpo las raíz cuadrada de 1 es siempre 1 ó menos 1.

 

 En el enlace te viene este ejemplo:

Vamos a ver si n=561 es primo. Hacemos \( [tex]\dfrac{2^{(\dfrac{{\color{blue}561}-1}{2})}}{{\color{blue}561}} \)[/tex] y hallamos el resto

 Fíjate en que, al dividir entre 2 el exponente, lo que tenemos es la raíz cuadrada de  \( 2^{560} \);

Spoiler
(para verlo con un ejemplo más sencillo: \( 2^{\dfrac{4}{2}}=2^{2}=\sqrt{2^{4}} \))

[cerrar]

El resto de la división, en efecto es 1,



 y podemos escribir entonces

\( 2^{(\dfrac{{\color{blue}561}-1}{2})}=561k+1 \)

O así, que es lo mismo

\( 2^{(\dfrac{{\color{blue}560}}{2})}=561k+1 \)

o así, que también es lo mismo

\( \sqrt{2^{560}}=561k+1 \)

O así

\( 2^{280}=561k+1 \)

Si ahora tomamos la raíz de \( 2^{280} \), es decir \( 2^{140} \), se repite el proceso con todo lo demás igual, y el resto, si es primo, tiene que ser 1 también; pero no lo es, así que no es primo. Si el resto fuera 1, se tomaría la raíz otra vez si lo obtenido hubiera sido un par, y así.
 Si todas las veces sale 1 de resto, entonces “n” es primo.

Pero todo este rollo, hallando todas las raíces y tal, es mucho más pesado que el simple test de Fermat;  y ¿por qué se hace entonces? Por culpa de que existen los números de Carmichael, si no, no haría falta.

 Una forma más cómoda, para no usar el test de Rabin y hacer las comprobaciones más rápidas, sería descubrir un método para hallar fácilmente los números de Carmichael; para meterlos en una base de datos y así evitar las comprobaciones cuando se llegue a ellos; pero no debe de ser fácil, habría que investigarlo.

 …

En cuanto a la frase de Euler, piensa que se pasó la vida —empezó desde niño— apuntando primos y comprobando cosas; con tres años ya le corregía a su padre las cuentas cuando éste se equivocaba, era un monstruo de los números, uno de los más grandes que ha habido. Si llegó a esa conclusión... es porque, pese a que descubrió muchas cosas que sabemos hoy en día de estos números, se sintió vencido por los primos; y es que no existe quien no haya sido vencido por ellos (por lo menos hasta el momento).

 Un cordial saludo.

23 Agosto, 2014, 10:23 am
Respuesta #58

Víctor Luis

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,165
  • País: bo
  • Karma: +0/-0
  • Sexo: Masculino
Amigo eres un MAESTRO...


*(1)*
No sabia que los pseuprimos de Carmichael eran la falla del test de Fermat...

• Debo suponer que Fermat no sabía de estos pseudoprimos de Carmichael, pues de saberlo habría modificado su test.
• Ahora, mi pregunta es si el test de Euler es definitivo, es decir, se aplica para determinar la primalidad de un numero con 100% de veracidad... es así?


*(2)*
Debo reconocer que por mi ignorancia me he resistido en estudiar sobre el m.c.d y por ende el algoritmo de Euclides... iniciaré revisando el hilo de "el_manco" sobre esto.

• Amigo, cuando comenzaste a hablar de los anillos \( \mathbb{Z} \)\( _n \) sinceramente me perdí... debo estudiar esto y volver a leer tu explicación, aunque desde ya se comprende.

• Comprendo que el resto de dividir 2^560 entre 561 es =1 pero por qué dice que es =561k +1
→De dónde aparece esta "k" ?

• Ahora para saber si (97) es primo:
\( 2^{96}(mod 97)\equiv{1} \)
\( 2^{48}(mod 97)\equiv{1} \)
\( 2^{24}(mod 97)\equiv{96}\equiv{-1} \)
\( 2^{12}(mod 97)\equiv{22} \)
→ Qué estoy haciendo mal ?  puesto que el el ultimo resto =22 pero sé que (97) es primo...


*(3)*
• En los temas que he revisado sobre el test de Miller-Rabin, no he comprendido bien su fundamento y por eso no pude aplicarlo a un programa

• Si dices que el test de Miller-Rabin sería mas rápido determinando los numeros de Carmichael, como estos no son primos, en la organizacion desde ya son multiplos no primos ó pseudoprimos y como existe la secuencia SMD para determinar los multiplos de un primo base, podría existir una secuencia para determinar directamente números de Carmichael dados para cada primo origen o en su defecto, partir de una secuencia base de este tipo de números y generarlos directamente con una constante.

→ Para esto... Cómo se determina que un número es de Carmichael ?  con el método de Fermat, de Euler u otro ?

* En la publicación, indican que los numeros de Carmichael son estos, mostrando una serie de números, donde yo no los veo así, sino que cada numero con propiedad prima, pertenece a un primo origen ó se ubica en uno de los grupos origen.
→ Lo mismo sucede con las bases de OEIS para tal forma, digamos 3n+4, donde a mi entender, todos deberian se un mismo grupo origen; pero veo que se incluyen números de otros grupos y/o primos origen.


• Sobre Euler, no sabia de su historia, en sí estos matemáticos de la historia fueron brillantes y dedicaron gran parte de su vida al estudio de principios y fundamentos matemáticos.
→ Una anecdota personal, es que mi madre me dice cuándo voy a terminar mi proyecto sobre los números primos, al comentarle un nuevo avance que haya logrado... lo comprendo, pues mi madre solo estudio hasta primaria y trabajo desde niña vendiendo tomates, luego frutas, gracias a lo cual ahora tenemos lo que tenemos. Pienso que los matemáticos de antes, debieron ser afortunados para llegar a serlo, porque seguramente sus padres tenian estabilidad económica para apoyarlos o enviarlos a estudiar esta carrera.


** Amigo Feriva, para continuar con estos temas y las consultas que te hice, comentaré en el hilo de Organización de Numeros de Mersenne con primos origen, sobre la evaluacion inicial que hice para determinar en un solo proceso, todos los primos de Mersenne... OK


Saludos...

23 Agosto, 2014, 01:40 pm
Respuesta #59

feriva

  • $$\Large \color{#a53f54}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 12,032
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola, Víctor.



• Debo suponer que Fermat no sabía de estos pseudoprimos de Carmichael, pues de saberlo habría modificado su test.
• Ahora, mi pregunta es si el test de Euler es definitivo, es decir, se aplica para determinar la primalidad de un numero con 100% de veracidad... es así?


Sí, claro que no sabía de esos primos, pero sí sabía, supongo, que sí sabía que existían los seudoprimos, los que son detectables con su método sustituyendo la base por otra.

 El de Euler si es definitivo, que no quiere decir que con él siempre se pueda saber si cierto número es primo.

 El de Rabin, no sé, no estoy seguro, no es lo mismo hallar la raíz cuadrada que la cuarta, y sucesivas, que tienen soluciones que pertenecen a un cuerpo que no es el de los reales, es el de los complejos. Digo esto por lo que sigue:


  • Ahora para saber si (97) es primo:
\( 2^{96}(mod 97)\equiv{1} \)
\( 2^{48}(mod 97)\equiv{1} \)
\( 2^{24}(mod 97)\equiv{96}\equiv{-1} \)
\( 2^{12}(mod 97)\equiv{22} \)
→ Qué estoy haciendo mal ?  puesto que el el ultimo resto =22 pero sé que (97) es primo...


 La deducción está bien, los restos están bien sacados (la forma de escribir las cosas no está bien, pero eso no importa ahora) y no sé exactamente lo que pasa, puede que yo no me haya percatado de algún aspecto más a tener en cuenta; puede, también, que en la pagina esa no diga todo lo que hay que decir; por último y menos probable, puede que el test de Rabin no esté bien concebido teóricamente, aunque ya digo que me parece muy improbable. No obstante, imposible no es, puesto que es un test relativamente moderno, de 1975, y se pudieran haber quedado cosas por comprobar (es decir, tu prueba con el 97 podría ser un contraejemplo; y tendría más trascendencia, en mi opinión, que haber descubierto un nuevo primo de Mersenne, pero repito, lo normal es que a mí se me haya pasado alguna consideración o no me haya enterado bien de cómo es el procedimiento).

Spoiler
Esto, por ejemplo

\( 2^{96}(mod97)\equiv{1} \)

no se escribe así; se escribe de esta manera:

\( 2^{96}\equiv{1}(mod97) \)

O sea, detrás del signo de congruencia (las tres rayas) va el resto, y detrás del resto el módulo entre paréntesis.

También se puede escribir así

 \( 2^{96}\equiv{1}(97) \)

ahorrándote el “mod” y simplemente con el valor del módulo entre paréntesis; como quieras.

[cerrar]

• En los temas que he revisado sobre el test de Miller-Rabin, no he comprendido bien su fundamento y por eso no pude aplicarlo a un programa


Pues mejor no lo apliques hasta ver qué pasa con eso, a ver si pasa por aquí alguien que sepa más que yo y lo mira.


• Comprendo que el resto de dividir 2^560 entre 561 es =1 pero por qué dice que es =561k +1
→De dónde aparece esta "k" ?

Esa”k” es el cociente (la parte entera del cociente) de dividir \( 2^560 \) entre 561; o sea:

 k=6727205748344993497756781784292814422311
8025319366139543247884139850698081856485776
9363052616338461237338391271080899269121316
3333199273854833216134461133767645980975

 Pero es muy largo para escribirlo; por eso pongo

\( 2^{560}=k\cdot 561+1 \).

En general se escribe así y “k” siempre es un número entero; si despejas el 1 (o el resto que sea) tienes


\( 2^{560}-1=k\cdot 561 \)

Y despejando 561

\( \dfrac {2^{560}-1}{561}=k \)

Como “k” es un número entero, eso quiere decir que 561 divide exactamente a \( 2^{560}-1 \), que es lo mismo que decir \( 2^{560} \) es congruente con 1 módulo 561; o sea:

\( 2^{560}\equiv{1}(mod561) \)

Esta última expresión, la de la congruencia, es lo mismo que lo otro, pero en vez de escribir una “k” diciendo que es un entero, se escribe así y se sobreentiende que existe esa “k” que es un entero; que valdrá lo que sea, en unos casos una cosa y en otros, otra. No es más que eso, no hay que volverse loco con las congruencias como si fueran cosas extrañas, es una cosa que todo el mundo estudia en el colegio, el algoritmo de la división, pero escrito de otra forma.

 

 • Sobre Euler, no sabia de su historia, en sí estos matemáticos de la historia fueron brillantes y dedicaron gran parte de su vida al estudio de principios y fundamentos matemáticos.


No sé si confundí la infancia de Euler con la de Gauss, pero es igual, ambos descubrieron muchas cosas; te dejo un vídeo sobre Euler y otro sobre Gauss por si quieres verlos en algún rato:




En cuanto a esto:

“Cómo se determina que un número es de Carmichael ?  con el método de Fermat, de Euler u otro?”

No lo sé muy bien, habrá distintos métodos, ya buscaré a ver.


• Amigo, cuando comenzaste a hablar de los anillos \( \mathbb{Z} \)\( _n \) sinceramente me perdí... debo estudiar esto y volver a leer tu explicación, aunque desde ya se comprende.


Bueno, eso es muy teórico y tiene mucho trasfondo, no sólo es conocer eso y las propiedades, leyes composición y demás; yo sólo conozco lo más básico. Es un invento de un tal Galois, un matemático que murió muy joven; te pongo también un vídeo:


Un cordial saludo.