Autor Tema: Demostración de la Conjetura de Goldbach por Juan Millas

0 Usuarios y 1 Visitante están viendo este tema.

02 Marzo, 2016, 09:57 pm
Leído 22017 veces

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
Escribo el mensaje por tercera vez porque las 2 primeras me ha dado un error al publicarlo... como comprendereis ya estoy algo quemado e iré al grano. Estoy abierto a criticas ( tanto positivas como negativas)

Creo haber resuelto "la conjetura de Goldbach" un teorema matemático de hace unos 270 años.
La conjetura dice lo siguiente: Todo número par mayor que 2 puede expresarse como suma de 2 números primos.

Es decir (2n)>2 = p+p’ [] donde n pertenece a los números naturales es decir enteros y positivos

Yo de ahí deduje lo siguiente (2n)>2 -p = p’

Lo que yo hago es tomar un número par por ejemplo el 252 y le voy restando números primos:

252-2=250
252-3=249
252-5=247
252-7=245
252-11=241

Al ser 241 un número primo yo desecho el número 252 ya que cumple la conjetura y paso al 254…

Entonces yo fui probando y al llegar al 556 encontre un pico que me costo hasta el 47 para obtener un número primo, luego otro pico al 992 que me costo hasta el 73 para obtener otro número primo y por ultimo el tercer pico en 1424 para que me costo hasta el 97 para obtener otro primo.
con estos datos me he dado cuenta hace poco a base de hacer porcentajes 47 es 8,45% de 556, 73 es 7,35% de 992 y 97 es 6,5% de 1424, que los “picos” no son ascendentes si no descendentes, es decir, si cada vez es un número mas grande (47,73,97….) pero es un número mas pequeño en relacion al número par con que estoy utilizando.
En una gráfica donde el eje x representa “los pares” y el eje y representa “el número primo necesario para alcanzar otro primo”, uniendo las cumbres graficamente te da una grafica de logaritmo neperiano, y bueno para que la conjetura sea falsa tendria que acercase mucho ((2n)>2-p=1) colisionar (imposible porque no podria darte nunca un número par) o sobrepasarla la recta bisectriz que indica que el par y el número primo son iguales.
Como sabeis el área interior de la funcion Ln x, jamas va a sobrepasar una linea bisectriz entre el eje x y el eje y. Total que buscado un contraejemplo me he dado cuenta de que ese contraejemplo jamas puede existir y creo haber demostrado la teoria.

PD: adjuntaria gráficas donde se ve mucho mejor pero... sinceramente no se como hacerlo en este foro. Asi que quien quiera le animo a hacerse las representaciones gráficas por su cuenta.

AÑADIDO:

No voy a pertencer a una comunidad que no me aprecia como miembro.

Una cosa es criticas mas o menos contructivas y otra borrarme los comentarios hechos por no utilizar bien el sistema "estandar" de esa comunidad. ( y me refiero a Carlos, y su seriedad con el LaTeX)

Suerte.

04 Marzo, 2016, 12:56 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Bienvenido al foro.

 Recuerda leer y seguir  las reglas del mismo así como el tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.

Escribo el mensaje por tercera vez porque las 2 primeras me ha dado un error al publicarlo... como comprendereis ya estoy algo quemado e iré al grano.

En algunas ocasiones el foro tiene problemas de conexión y por eso se producen esos errores. Te pido disculpas por las molestias. Para minimizar el daño mi recomendación es que antes de enviar el mensaje hagas un "copy-pega" por si da error o bien que lo redactes primero en un editor de textos externo y luego lo copies.

Citar
Estoy abierto a criticas ( tanto positivas como negativas)

Bien.

Citar
Creo haber resuelto "la conjetura de Goldbach" un teorema matemático de hace unos 270 años.

Me temo que no la has resuelto en absoluto.
Fíjate más allá de alguna observación concreta que te haré, incluso aunque todo lo que afirmas fuese cierto, no das ni una sola prueba de tus afirmaciones, con lo cuál como demostración no aporta nada. Cualquiera que se ponga a estudiar la conjetura con ejemplos encontrará montones de indicios que apuntan a que es cierta; pero un indicio no es una prueba (en el sentido estricto que se le da en matemáticas). Se ha de dar un argumento riguroso y fuera de los ejemplos que sea de hecho una demostración.

Citar
La conjetura dice lo siguiente: Todo número par mayor que 2 puede expresarse como suma de 2 números primos.

Es decir (2n)>2 = p+p’ [] donde n pertenece a los números naturales es decir enteros y positivos

Yo de ahí deduje lo siguiente (2n)>2 -p = p’

Lo que yo hago es tomar un número par por ejemplo el 252 y le voy restando números primos:

252-2=250
252-3=249
252-5=247
252-7=245
252-11=241

Al ser 241 un número primo yo desecho el número 252 ya que cumple la conjetura y paso al 254…

Entonces yo fui probando y al llegar al 556 encontre un pico que me costo hasta el 47 para obtener un número primo, luego otro pico al 992 que me costo hasta el 73 para obtener otro número primo y por ultimo el tercer pico en 1424 para que me costo hasta el 97 para obtener otro primo.

Ahí tienes un error. \( 1424=43+1381 \) y ambos sumandos son primos. No hace falta ir al 97.

Citar
con estos datos me he dado cuenta hace poco a base de hacer porcentajes 47 es 8,45% de 556, 73 es 7,35% de 992 y 97 es 6,5% de 1424, que los “picos” no son ascendentes si no descendentes, es decir, si cada vez es un número mas grande (47,73,97….) pero es un número mas pequeño en relacion al número par con que estoy utilizando.

Tendrías que especificar rigurosamente que entiendes por un "pico"; intuitivamente se entiende que son casos donde el primo más pequeño que da la descomposición es significativamente más grande que lo que venía siendo en los anteriores. Pero eso no deja de ser muy impreciso. Si realmente quieres usar esta idea en una demostración "de verdad" tienes que expresarla de manera totalmente formal, sin imprecisiones y ambiguedades.

Citar
En una gráfica donde el eje x representa “los pares” y el eje y representa “el número primo necesario para alcanzar otro primo”, uniendo las cumbres graficamente te da una grafica de logaritmo neperiano, y bueno para que la conjetura sea falsa tendria que acercase mucho ((2n)>2-p=1) colisionar (imposible porque no podria darte nunca un número par) o sobrepasarla la recta bisectriz que indica que el par y el número primo son iguales.
Como sabeis el área interior de la funcion Ln x, jamas va a sobrepasar una linea bisectriz entre el eje x y el eje y. Total que buscado un contraejemplo me he dado cuenta de que ese contraejemplo jamas puede existir y creo haber demostrado la teoria.

En el siguiente gráfico están representado para cada par \( n \) entre \( 6 \)y \( 20000 \) el menor primo que permite descomponerlo como suma de primos. No estoy seguro de exactamente con que gráfica de logaritmo quieres comparar los picos (esos puntos "escapados") que se ven.



Por ejemplo, para \( 5372 \) el menor primo es \( 139, \) pero \( Log(5372)\approx 8.6 \) que no se parece en nada a \( 139 \).

Spoiler
También he hecho una segunda gráfica donde represento el cociente entre el menor primo que da la descomposición y el número par, por si te referías a algo de eso, pero sigo sin ver el logaritmo...


[cerrar]

Citar
PD: adjuntaria gráficas donde se ve mucho mejor pero... sinceramente no se como hacerlo en este foro. Asi que quien quiera le animo a hacerse las representaciones gráficas por su cuenta.

Está explicado en las reglas del foro. En particular aquí:

http://rinconmatematico.com/foros/index.php?topic=3659.msg14457#msg14457

Saludos.

P.D. Insisto en que más allá de los detalles es esencial que entiendas que lo que has expuesto (al menos tal como lo has contado) no se parece en nada, en nada, a lo que es una demostración.

04 Marzo, 2016, 01:32 pm
Respuesta #2

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
¡Por fin una critica contructiva!, y se ve que sabes del tema... =)
Ahora mi respuesta creo que no te va a gustar nada jaja, no solo sigo pensando que he encontrado una demostración si no que con tu permiso voy a acerte caso y voy a formalizar mi explicación de la misma.

Lo primero gracias por el error del "43" si, me lo salté acabo de comprobarlo pero ten en cuenta que he ido par por par (2,4,6,8,10,12... 1424...) comprobandolo en la formula que he desarollado y es costoso y la mente juega malas pasadas. Pero esto error sinceramente me ayuda mas que me perjudica.

Lo segundo, ¿quien ha dicho nada de un logaritmo decimal? lee mejor y aprendente las abreviaturas que cuando puse Lnx, me referia a y(x)=ln(x) significa Logarimo NEPERIANO en función de las x (buscalo en google, y mira imagenes) lo de wikipedia es un absurdo total. Para ser mas especificos, Concretamente me baso en la parte entera de esa función de logaritmo neperiano, es decir solo en el cuadrante 1 como se suele llamar en coordenadas cartesianas a el area comprendida para x positivas e y positiva.

De todas formas muchas gracias por tu colaboración, y si quieres haz una gráfica de nuevo en que los números recorran distancias iguales en el eje x y en el eje y, por ejemplo que "5" en el eje x, "5" en el eje y, al unirlos con lineas "tiradas" por asi decir, encanjen en la bisectriz y luego vuelve a colocar lo que has colocado en la primera gráfica que has puesto entonces verás que la distribución de los números forma una curvatura de logaritmo neperiano.

Un saludo.

04 Marzo, 2016, 02:17 pm
Respuesta #3

energy

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 561
  • Karma: +0/-0
  • Sexo: Masculino
Lo primero en el paso de que \( (2n)>2=p+p' \) hay un error, es decir no es dos el número que se descompone como suma de primos si no el 2n que tu has puesto, por lo que sería:
supones que \( 2n=p+p' \) pero estás deduciendo cosas de una conjetura, no demuestras en ningún momento que se pueda descomponer como suma de dos primos.

Por otra parte lo que haces es un procedimiento algorítmico, pero eso solo te serviría hoy en día para encontrar un contraejemplo, y seguramente la gente ya haya descubierto este.

Además para que "funcionara" este algoritmo, y otros tiene que haber asegurada una existencia, me recuerda al descenso al infinito xD. Esta conjetura no habla de el procedimiento, simplemente de la existencia. A veces nos parece fácil el enunciado del problema pero luego demostrarlo...

Un saludo!

04 Marzo, 2016, 02:59 pm
Respuesta #4

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
Buenas de nuevo,

energy si te parece dificil de entender mi formula te la aclaro asi {(2n)>2}=p+p' lo se, no ha cambiado mucho pero es lo único que se me ocurre.

el_manco quizas he sido un poco borde y he tenido poco tacto en mi razonamiento, pero tu tambien has sido duro en tu respuesta. No se si con esto lo empeoraré o lo arreglaré pero a cualquiera le podia haber pasado el confundirse de "tipo de logarítmo".

04 Marzo, 2016, 04:03 pm
Respuesta #5

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

  Empiezo comentando tu último mensaje.

el_manco quizas he sido un poco borde y he tenido poco tacto en mi razonamiento, pero tu tambien has sido duro en tu respuesta.

Yo no he pretendido ser duro, sino objetivo y lo más claro posible. Precisamente por respeto a ti, a tu consulta e intervención en el foro, respondo de manera intelectualmente honesta con el mayor rigor científico posible en base a mis conocimientos.

Citar
No se si con esto lo empeoraré o lo arreglaré pero a cualquiera le podia haber pasado el confundirse de "tipo de logarítmo".

Esto lo aclaro más adelante.

Citar
Lo primero gracias por el error del "43" si, me lo salté acabo de comprobarlo pero ten en cuenta que he ido par por par (2,4,6,8,10,12... 1424...) comprobandolo en la formula que he desarollado y es costoso y la mente juega malas pasadas. Pero esto error sinceramente me ayuda mas que me perjudica.

Si presentas realmente una demostración y no una conjetura, o una conclusión intuitiva en base a unos ejemplos, un error de cuentas de este tipo es indiferente a la hora de valorar la bondad o no de tus argumentos. Es decir efectivamente ni debería ni de perjudicarte ni de ayudarte. Simplemente intentando ser exhaustivo en la lectura y valoración crítica de tu mensaje, me pareció pertinente señalar el error en los cálculos.

Citar
Lo segundo, ¿quien ha dicho nada de un logaritmo decimal?

Hasta ahora en este hilo... nadie. El primero que ha hecho mención a los logaritmos decimales has sido tu justo en esa frase.

Si lo dices porque yo he escrito \( Log(5372)\approx 8.6 \), has de saber que la notación \( \log \) es igualmente (junto con \( ln \)) utilizada en el ámbito científico y matemático para referirse al logaritmo natural; en particular suele ser común que a nivel de enseñanza media se use \( \log \) para logartimo decimal, pero a nivel universitario, en artículos de investigación y en la mayoría de software de Matemáticas sin embargo se utiliza con mucha frecuencia \( \log \) para el logartimo natural (neperiano).

Aquí tienes algunos enlaces donde se discuten las distintas notaciones:

http://math.stackexchange.com/questions/293783/when-log-is-written-without-a-base-is-the-equation-normally-referring-to-log-ba?rq=1

http://meta.math.stackexchange.com/questions/9668/what-is-the-accepted-notation-for-natural-logarithms-trig-functions-and-powers

Y no solo eso. Puedes comprobar que \( 8.6 \) (aproximadamente) es el logaritmo neperiano de \( 5372 \) y no el logaritmo en base diez.

Citar
lee mejor


Intento leer lo mejor posible. Pero no está demás no bajar la guardia y poner siempre la máxima atención.

Citar
y aprendente las abreviaturas


Si te refieres a las abreviaturas relativas a la notación matemática, pues he estudiado muchas de ellas y las manejo a diario. No obstante uno nunca debe de cejar en el estudio y es bueno aprender más y repasar las conocidas.

Citar
que cuando puse Lnx, me referia a y(x)=ln(x) significa Logarimo NEPERIANO en función de las x (buscalo en google, y mira imagenes)

Si, sé perfectamente que función es \( y=ln(x). \)

Citar
lo de wikipedia es un absurdo total.

Si te refieres al pequeño artículo de la Wikipedia sobre el Logartimo Neperiano:

https://es.wikipedia.org/wiki/Logaritmo_neperiano

si te fijas al principio dice que por Logaritmo Neperiano es común referirse al Logaritmo Natural (el ln(x) que tu quieres usar). Por el contrario el artículo se dedica a definir muy brevemente como Neper constuyó originalmente el logaritmo (que NO es el \( ln(x) \) que ahora conocemos). Esto está explicado de manera más detallada en este artículo:

http://locomat.loria.fr/napier/napier1619construction.pdf

Citar
De todas formas muchas gracias por tu colaboración, y si quieres haz una gráfica de nuevo en que los números recorran distancias iguales en el eje x y en el eje y, por ejemplo que "5" en el eje x, "5" en el eje y

Si te refieres a que el eje X y el eje Y estén en la misma escala eso es esencialemente intrascendente. Lo único en que se modifica el gráfico al variar la escala de un eje respecto a la otra es que pueda "achatarse" o "estirarse" pero esencialmente la forma de las gráficas es la misma.

Citar
al unirlos con lineas "tiradas" por asi decir, encanjen en la bisectriz y luego vuelve a colocar lo que has colocado en la primera gráfica que has puesto entonces verás que la distribución de los números forma una curvatura de logaritmo neperiano.

Sigo sin saber exactamente, que puntos hay que unir para que aparezca la gráfica del logaritmo. Así que por ahora no voy a hacer más gráficas. Si quieres presenta tu una o intenta escribir una demostración propiamente dicha.

¡Por fin una critica contructiva!, y se ve que sabes del tema... =)
Ahora mi respuesta creo que no te va a gustar nada jaja, no solo sigo pensando que he encontrado una demostración si no que con tu permiso voy a acerte caso y voy a formalizar mi explicación de la misma.

Pues formaliza primero y luego valoraré lo que has hecho. Como te he dicho de momento no has presentado ninguna demostración ni, desde mi punto de vista,  ninguna idea que me haga pensar que de ese pequeño estudio que has hecho pueda deducirse o construirse prueba alguna.

Saludos.

04 Marzo, 2016, 04:55 pm
Respuesta #6

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
No me pienso disculpar por mi poco conocimiento sobre la terminología o mis que formas de intentar explicar mi demostración son algo rudimentarias. Pero si te voy a agradecer el exfuerzo que estas teniendo por intentar entender mi planteamiento.

Los puntos que hay que unir son los picos, cumbres, crestas ( si nos imaginaramos que fuera una onda), o como tu bien has dicho "casos donde el primo más pequeño que da la descomposición es significativamente más grande que lo que venía siendo en los anteriores."

Volvamos a mi ecuación y te lo vuelvo a explicar... (2n)>2=p+p' de donde yo despejo (2n)>2-p=p'. Ahora bien ¿cuando se falsará la conjetura?. En 3 casos (2n)>2-p=1 (si tenemos en cuenta que para muchos matemáticos 1 no es un número primo); (2n)>2-p =0 ; (2n)>2-p= -n' ; (con -n' me refiero a un número negativo es decir ya no perteneceria a los Naturales si no que perteneceria a los Enteros, concretamente a los "enteros negativos")

Bien, empezemos con el segundo caso (2n)>2-p=0 si un número par le restas un primo ( que siempre son impares) ¿te puede dar el número 0? Yo creo que no.

Ahora el primer caso, para que se cumpliera tendria que rozar una de las cumbres que esta por debajo de la recta bisectriz la propia bisectriz, y segun mi teoria jamas lo hace.

Para el tercer caso, no solo tendria que rozar la bisectriz si no que tendria que Sobrepasarla, ya que en la gráfica que te intento explicar El área de desde la bisectriz al eje x son postivos pero el área desde la bisectriz al eje y son negativos en la formula inicial que era (2n)>2-p=p' , es decir, de la bisectriz al eje y, p' es negativo y de la bisectriz al eje x, p' es postivo.

Lo que ahora que pienso quizas te cueste comprender es que jamas puede adquirir la gráfica un número que este en la propia bisectriz. Por aquello del caso 2...

Mi consejo si quiere intentar entenderlo es que dejes de hacer calculos concretos de ejemplos y lo veas de forma general... de todas formas voy a intentar subir una imagen o almenos un hipervinculo donde puedas verlo gráficamente.

04 Marzo, 2016, 05:22 pm
Respuesta #7

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
Voy a intentar subir la gráfica (he marcado con rojo los picos) y solo he echo hasta el número par 50 (en mi opinión suficiente).



04 Marzo, 2016, 06:52 pm
Respuesta #8

feriva

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

Hola, Juan.

Entiendo que quieres decir con eso que los primos nunca se queda bastante lejos como para que la suma de primos sea imposible; es decir, tomemos un par, 18, por ejemplo

0, 1, 2, 3, 4, 5, 6, 7, 8,  9  10, 11, 12,13, 14, 15, 16, 17, 18

Sumando los extremos hacia el interior obtenemos todas las sumas posibles que dan 18 y los primos simétricos que dan las sumas son 5 y 13, y 7 y 11

O sea, tenemos dos intervalos (0,n) y (n, 2n) (en este caso particular n=9) y lo que observas es que siempre va a haber números primos en los dos intervalos, y cada vez más; de tal forma que la probabilidad siempre existe, nunca se hace imposible; al revés, cada vez se encuentran más sumas con diferentes primos que dan 2n.

Si viene a ser eso lo que quieres decir, es cierto; pero  está demostrado, el Postulado de Bertrand demuestra que entre “n” y “2n” hay al menos un primo; y después se demostró que, según aumenta “n”, hay más. Lógicamente, casi trivialmente, también se puede afirmar que hay más de cero a “n”.

Pero el problema es que también  aumentan los compuestos y existen muchas más sumas de “primo+compuesto”  que de “primo+primo”.
 Desde este punto de vista, teóricamente (yo no lo creo, yo creo que se cumple de todas todas) no es imposible del todo que se dé la carambola de que todos los primos del intervalo “n” sumen solamente con compuestos del (2n) y viceversa; que no puede pasar eso es lo que hay que demostrar, no que es muy probable y que prácticamente se puede dar por segura porque, entre otras cosas, se ha probado que funciona hasta un par de 18 cifras o más, me parece.

La pregunta es ¿por qué tienen que existir siempre esos primos simétricos respecto de “n”, qué pasa si no existen? Hay que demostrar que, si no existen, se llega a una contradicción o implica la violación de un axioma de las matemáticas; y entonces resulta absurdo que no se cumpla; ése es el tipo de demostración que se pide.

No te enfades conmigo por lo que te digo, porque yo no soy matemático y no pincho ni corto; a el_manco es al que tienes que convencer :)

Un saludo.

04 Marzo, 2016, 10:53 pm
Respuesta #9

JuanMillasZaragoza

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 18
  • Karma: +0/-1
  • Sexo: Masculino
Buenas feriva, antes de nada me ha gustado tu comentario, pero esa fue una de las primeras formas que intenté abordar el problema... te cuento lo que me paso con tu ejemplo del 18:
5+13=18
7+11=18
Hay 2 probabilidades
pero claro, en un número como 50, ya no son 2:
47+3=50
43+7=50
37+13=50
31+19=50
Hay 4 probabilidades,
y cuando mas grande es el número mas posibles permutaciones hay y pense, ¿como de extenso eligo el número para unir "punta con cola" e ir hacia el centro de esa "variación de primos" como dirian los físicos? ¿7 cifras? ¿14 cifras?... asi que ese método lo deseché, de todas formas ha sido un punto de vista muy original.