Buenos Días El_Manco y Carlos Ivorra...
No sé si Euler conocía o dejaba de conocer tal o cual conjunto, pero es indiferente. Con ese polinomio Euler simplemente prentendía poner un ejemplo de polinomio con el cuál se obtienen unos cuantos primos, y el sabía perfectamente que no siempre se obtenía un número primo. Entonces no sé porque dices esa frase.
Cita
→ Aplicando el polinomio de Euler para \( f(5) \) se conforman los siguientes naturales:
\( f(5) \)= {5,7,11,17,25}
Aquí no sé que quieres decir. Me temo que estás mezclando tu notación y teoría con el polinomio que yo he citado de Euler y haciendo un batiburrillo. Ojo no digo que esté mal nada de lo que haces, simplemente no sé que pretendes concluir con todo esto. ¿Quién es \( f(5) \)? ¿En qué sentido se conforman esos naturales?.
• Anterior a esto había indicado:
→ El polinomio de Euler al que denotaremos cono \( f(41) \) hasta n=40 nos conforma los siguientes naturales:
f(41)= {41,43,47,53,61,71,83,97,113,131,151,173,197,223,251,281,313,347,383,421,461,503,547,593,641,691,743,797,853,911,971,1033,1097,1163,1231,1301,1373,1447,1523,1601,1681}
* El polinomio de Euler es: \( p(n)=n^{2}+n+41 \) donde \( n^{2}+n \) es una función invariable para cualquier \( p(n) \) y "41" es un natural primo, que actúa como una constante en este polinomio, digo constante, porque para los valores de \( n=\{1,2,3,4,..\} \) se sigue sumando +41 no siendo afectado por el valor que tenga \( n \).
→ Entonces, podemos escribir el polinomio como: \( p(n)=n^{2}+n+f \) donde \( f=41 \) y en esto no lo hice bien, puesto que directamente dije la función para 5 al indicar \( f(5) \).
* Bueno, lo que me dije, es que si 41 era especial para conformar primos, donde como de costumbre, determino a qué primo PIG de origen pertenece un natural, explicando que en el Conjunto FV sus elementos se generan a partir de los primos: {5,7,11,13} denominando a estos como primos PIG (Primo Inicial de Generación).
→ De acuerdo a esto \( 41\equiv{5} (mod \ 12) \) es decir, que dividiendo 41 entre 12 que es la constante "k" de generación, el resto nos indica el Grupo PIG de los elementos del Conjunto FV, perteneciendo en este caso 41 al Grupo PIG[5] por lo que me dije si otro primo de este grupo, tendría esa misma particularidad de generar primos con el polinomio de Euler.
* En el Grupo PIG[5] tenemos los siguientes elementos naturales: \( PIG[5]=\{5,17,29,41,53,65,77,89,101,...\} \) que los denomino como \( nb \) (Números Base) para evitar redundar en escribir elemento del Grupo. Bueno, como dije \( n^{2}+n \) es una función invariable del polinomio de Euler, donde para \( n \) en el intervalo (0,6) tendríamos:
\( n_{0}=0+f \)
\( n_{1}=2+f \)
\( n_{2}=6+f \)
\( n_{3}=12+f \)
\( n_{4}=20+f \)
\( n_{5}=30+f \)
\( n_{6}=42+f \)
→ Ahora, si cambiamos el valor de la constante donde \( f=5 \) tendremos la siguiente conformación:
\( n_{0}=0+5=5 \)...Primo
\( n_{1}=2+5=7 \)...Primo
\( n_{2}=6+5=11 \)...Primo
\( n_{3}=12+5=17 \)...Primo
\( n_{4}=20+5=25 \)...Primo? NO es Compuesto
* Observé que cuando \( n=f-1 \) se dá un compuesto que es el cuadrado de "f", similar al polinomio original de Euler donde \( f=41 \) dándose el primer compuesto en \( n=f-1=40 \).
→ Ahora, que sucede con \( f=17 \) que es el primer elemento "nb" generado en el Grupo PIG[5]:
\( n_{0}=0+17=17 \)...Primo
\( n_{1}=2+17=19 \)...Primo
\( n_{2}=6+17=23 \)...Primo
\( n_{3}=12+17=29 \)...Primo
\( n_{4}=20+17=37 \)...Primo
\( n_{5}=30+17=47 \)...Primo
\( n_{6}=42+17=59 \)...Primo
\( n_{7}=56+17=73 \)...Primo
\( n_{8}=72+17=89 \)...Primo
\( n_{9}=90+17=107 \)...Primo
\( n_{10}=110+17=127 \)...Primo
\( n_{11}=132+17=149 \)...Primo
\( n_{12}=156+17=173 \)...Primo
\( n_{13}=182+17=199 \)...Primo
\( n_{14}=210+17=227 \)...Primo
\( n_{15}=240+17=257 \)...Primo
\( n_{16}=272+17=289 \)...Primo? NO es Compuesto
* Como vemos, en \( n_{16} \) que es igual a \( n=f-1=16 \) se dá el primer compuesto en esta conformación a partir del polinomio de Euler y además que este es el cuadrado de la constante, es decir \( f^{2} \) lo que no podemos considerar sea algo coincidente, al darse valores en puntos específicos, me refiero a \( n=f-1 \) dando con este razonamiento, en base al Conjunto FV y es por eso que dije que quizás Euler no debio conocer este conjunto, ya que con los casos dados para \( f=5 \) y \( f=17 \) deduciremos que un otro elemento del Grupo PIG[5] también cumpliría con esto, sucediendose con \( f=41 \) que es la constante del polinomio de Euler.
→ Ahora, para \( f=29 \) no se conforman primos hasta \( n=f-1=28 \) ya que con \( n=2 \) se conforma \( p(2)=6+29=35 \) que es compuesto y después de \( f=41 \) los primos del Grupo PIG[5] menores a 100, no conforman primos.
* Si aplicamos el polinomio de Euler a los primos de los otros Grupos PIG, no se llegan a conformar primos, tan solo sucede esto con \( f=11 \) que es el primo origen del Grupo PIG[11].
→ Bueno, no he evaluado mucho, donde puede que algún primo mas grande de alguno de los Grupos PIG, conforme primos hasta \( n=f-1 \) aplicando el polinomio de Euler... o ya se sabe que esto no sucederá?
Aquí no tengo ni idea de a donde querías ir a parar; ¿para qué todas esas disquisiciones.?
Lo único que dije es que la propiedad:
"n17+9 y (n+1)17+9 son coprimos"
tiene la particularidad de cumplirse para todos los números naturales desde 1 a 8424432925592889329288197322308900672459420460792432 y sin embargo no cumplirse para n=8424432925592889329288197322308900672459420460792433.
¿Alguna crítica u objección concreta a esto?.
* Respecto a esto, una misma "función base" \( n^{17}+9 \) conforma a los naturales \( a \) y \( b \) que llegan a ser coprimos, con la diferencia de que para \( b \) se incrementa en +1 a \( n \) resultando que \( b=(n+1)^{17}+9 \)
→ La función podemos escribirla como: \( n^{p}+q \) donde \( p \) es un natural primo y \( q=\displaystyle\frac{p+1}{2} \) a lo que diría es una proporción media de \( p+1 \).
* Me dije, qué sucede si \( p \) es un natural compuesto, encontrando que con \( p=15 \) se daban casi de inmediato naturales no coprimos, por lo que probé con \( p=19 \) dándose coprimos, es decir: \( a=n^{19}+10 \) y \( b=(n+1)^{19}+10 \) hasta \( n=100 \) se tiene que \( a \) y \( b \) son coprimos.
→ Aclarado esto, probe con \( p=5 \) donde al conformar con \( n=32 \) \( a \) y \( b \) eran divisibles entre \( 41 \) sucediendo esto en \( n=\{32,53,73,114,155,...\} \) al haber evaluado hasta \( n=5000 \) donde se dieron 138 conformaciones de naturales no coprimos, por lo que volví a evaluar el rango, exportando los divisores de estos no coprimos, encontrando que solo los divisores: {41,491,1021} llegaban a dividir exactamente a los naturales \( a \) y \( b \) conformados con los 138 valores de \( n \) dato curioso que había que tomarlo en cuenta.
* Ahora evaluando con \( p=7 \) y \( q=4 \) hasta \( n=5000 \) se dieron 6 conformaciones para los \( n=\{484,1241,1998,2755,3512,4269\} \) donde \( a \) y \( b \) no eran coprimos, siendo divisibles todos entre \( 757 \) volviendo a darse este dato curioso.
→ Hasta aquí, observé que al incrementarse \( p \) el valor de \( n \) donde se conformen naturales no coprimos será mayor, por lo que evalué con \( p=11 \) hasta el rango \( n=5000 \) y no se dio ningún fallo, es decir, en todas las conformaciones \( a \) y \( b \) eran coprimos.
* Para dar algo de validez a lo que suponía, evalué con \( p=3 \) dándose 9 conformaciones de los fallos que digo, es decir, que los naturales conformados no son coprimos. Probando con \( p=6 \) también se dieron 9 fallos, donde 6 es un múltiplo de 3 y al probar con \( p=9 \) hasta el rango \( n=5000 \) como los anteriores, tan solo se dió 1 fallo, siendo que 9 es también múltiplo de 3, por lo que al incrementarse \( p \) el valor de \( n \) donde se conformen los naturales \( a \) y \( b \) que no sean coprimos, será un valor alto.
→ De esta manera, como en la función de El_Manco se tiene que \( p=17 \) el valor de \( n \) donde se dé el fallo de los naturales no coprimos, será grande, pudiendo ser el que nos lo puso en el Spoiler, cosa que no lo he comprobado, al interrumpir la evaluación para intentar determinar el ciclo de los compuestos \( a \) y \( b \) que son de 883 digitos.
Evidentemente y con la noción de número primo y coprimo que maneja la matemática oficial, 10 y 131081 si son coprimos y 2 y 3 si son primos. Y eso es indiscutible.
Lo que pasa es que tu manejas una noción de primalidad y coprimalidad alternativa, y con esas nociones (diferentes) si son ciertas las afirmaciones que haces. Y eso es también indiscutible.
Por tanto la discusión que tenéis tu y feriva sobre si el 2 y el 3 son o no primos es una absoluta pérdida de tiempo. Simplemente llamáis "primo" a conceptos distintos. Mi consejo es que no sigáis malgastando energías en eso.
• Muy bien... ya entendí, evitaré volver a tocar el tema, aunque no concuerde en esto con ustedes y como vieron, ya me están desterrando del Foro y no sé la posición a asumir...
☼ Una breve explicación sobre la factorización estructural Amigos El_Manco, Carlos Ivorra y Feriva.
1°) Sean \( p \), \( q \) y \( m \) números naturales, donde \( p|m \) y \( q|m \) comprendemos que \( m=p\cdot{}q \) es decir que "m" es un compuesto conformado por sus divisores "p" y "q".
2°) Sean los ciclos estructurales de \( p=2c \), \( q=3c \) y \( m=6c \) donde "c" denota que es un ciclo y la parte numeral indica la extensión del ciclo, donde observamos que el ciclo del compuesto, es como digo proporcional al ciclo de sus divisores, lo que supongo sería correcto decir, que el ciclo del compuesto es divisible al ciclo de sus divisores.
Spoiler
○ Esto lo he comprobado y se cumple, de una manera muy simple, ya que factorizar un compuesto en sus divisores primos, tiene mucha complejidad. Lo que hice fue generar elementos "nb" en el Conjunto FV, conformando sus múltiplos con la secuencia SMD, es decir si \( pb \) es un número base generado, con la secuencia SMD={4,2,4,2} se conforman \( \{nb_{1},nb_{2},nb_{3},nb_{4},...,nb_{n}\} \) siendo todos divisibles entre \( pb \) determinando el otro divisor en \( q_{n}=\displaystyle\frac{nb_{n}}{pb} \) ...verdad?
Ahora, determinamos el ciclo de \( pb \) que es \( c_{pb} \) luego el ciclo de \( nb_{1} \) que es \( c_{nb_{1}} \) después obtenemos \( q_{1} \) siendo su ciclo \( c_{q_{1}} \) evaluando que \( c_{nb_{1}} \ mod \ c_{pb}=0 \) y \( c_{nb_{1}} \ mod \ c_{q_{1}}=0 \) haciendo lo mismo con los demás múltiplos \( nb_{n} \) como también con los \( pb \) generados, hasta el Rango(1000000)
No se encontró una sola falla en la evaluación , es decir, no hubo un solo caso donde el ciclo del compuesto no sea divisible entre los ciclos de sus divisores.
3°) Siendo \( 2c \) el ciclo de \( p \) el primer divisor del compuesto \( m \) y al darse solo dos divisores, comprendemos que estos son primos, donde la estructura de los naturales primos es proporcional y/o conformable a su ciclo, por lo que el primo \( p \) podrá tener una de estas conformaciones:
\( p=2c+1 \)
\( p=2c+2c+1 \)
\( p=2c+2c+2c+1 \)
Y el primo \( q \) una de estas conformaciones:
\( q=3c+1 \)
\( q=3c+3c+1 \)
\( q=3c+3c+3c+1 \)
\( q=3c+3c+3c+3c+1 \)
* Sumamos "+1" porque no es posible que se dé un ciclo en el primer ladrillo de la estructura numérica, que si fuera asi, todos los naturales serian primos, es como validar al "1" como primo.
→ \( q=3c+1=4c \) no puede ser porque los primos son naturales impares, como tampoco lo será \( q=3c+3c+3c+1=10 \) siendo el valor natural de \( q \) uno de estos: \( q=3c+3c+1=7 \) ó \( 3c+3c+3c+3c+1=13 \)
→ En el caso de \( p \) su valor natural podrá ser: \( p=2c+2c+1=5 \) ó \( p=2c+2c+2c+1=7 \) NO así \( p=2c+1=3 \) ya que esto no sucede, el natural no presenta este ciclo, donde la valoración de este unico punto estructural, no indica la conformación de un ciclo valido, sino lo que podría decir, un ciclo parcialmente nulo.
* Continuando para no entrar en polémica sobre lo dicho, solo tenemos una cantidad limitada de posibles naturales que lleguen a ser los divisores del compuesto \( m \) lo que dependerá de la extensión de su estructura, sabiendo de antemano, que su estructura no será proporcional y/o divisible entre su ciclo, algo que se cumple en todos los primos y algunos compuestos, determinado ya esto por la "Primalidad Estructural".
→ Si desconocemos los divisores de \( m \) al determinar su ciclo \( c_{m} \) el cociente \( \displaystyle\frac{m}{c_{m}} \) nos indica las proporciones de iteración para conformar a sus divisores naturales, ya sea reduciendo ó aplificando su ciclo \( c_{m} \).
→ Del mismo modo, sabiendo el ciclo de uno de sus divisores, podemos llegar mas pronto a determinar el ciclo del compuesto, en lugar de valorar y evaluar uno a uno cada ladrillo estructural.
○ Esto es una síntesis de la metodología de Factorización Estructural, que espero se comprenda, donde quiero decir, que para factorizar cualquier compuesto \( n \) natural, con solo determinar su ciclo-estructural, tendremos el camino mas directo para saber y dar con al menos, uno de sus divisores, donde como se comprende, no requerimos de saber los primos que se den hasta su raiz cuadrada, ni efectuar funciones y/o operaciones complejas, donde no sé si este criterio metodológico ya se aplicó en alguna de las metodologías de la literatura de Teoría de Números ó en la Matemática en si.
Saludos...