Una Intuicin Razonada Sobre La Conjetura

De Goldbach
Por Esven Morales
(esvenmorales@hotmail.com)
Existe una alta probabilidad que la conjetura de Goldbach sea cierta,
porque entre mayor es un nmero par, la cantidad de nmeros primos
menores que ese nmero par aumenta. Esto ltimo hace que se
incremente el nmero de parejas posibles de nmeros primos cuya
suma de como resultado ese nmero par.

Si no aceptamos la sospecha como un hecho, lo que tendramos que

hacer, y me imagino que se est haciendo desde hace mucho tiempo,
es encontrar un contraejemplo que refute la conjetura.

El otro curso de accin que nos queda, es dar por hecho que la
conjetura es cierta. En este orden de ideas, lo ms prudente sera
afirmar que la conjetura se cumple en parte, es decir que es vlida
para ciertos nmeros pares. La razn de esta decisin obedece a que
tal vez si la conjetura es cierta y no tiene demostracin, lo ms sano
sera seguir observando una parte de la evidencia en busca de otras
posibles regularidades. Es algo as como: Si no sabes cmo funciona
algo, lo mejor sera seguir observndolo.

Qu debemos observar?

La evidencia! Para cada nmero par nos interesa observar el

conjunto de nmero primos menores o iguales que l, es decir, el
conjunto de nmeros primos contenidos en cada nmero par.

Por qu?

Porque con mnimo una pareja de este conjunto la conjetura se hace

cierta para ese nmero par.
A continuacin se muestra parte de la evidencia:

2 {2}
4 {2, 3}
6 {2, 3, 5}
8 {2, 3, 5, 7}
10 {2, 3, 5, 7}
12 {2, 3, 5, 7, 11}
14 {2, 3, 5, 7, 11, 13}
16 {2, 3, 5, 7, 11, 13}
18 {2, 3, 5, 7, 11, 13, 17}
20 {2, 3, 5, 7, 11, 13, 17, 19}
Observando parte de la evidencia, surge una pregunta fundamental:

Cmo se descompone un nmero par como la suma de dos nmeros

primos?

Si tomamos el nmero par 20 por ejemplo, nos damos cuenta que no

todo elemento del conjunto de los nmeros primos contenidos en 20
sirve para expresar 20 como la suma de dos nmeros primos. De
hecho, si se escoge cualquiera de los nmeros 2, 5, 11, o el 19, el otro
nmero que completa la suma no resulta primo:

20 = 2 + 18, 18 no es primo.
20 = 5 + 15, 15 no es primo.
20 = 11 + 9, 9 no es primo.
20 = 19 + 1, 1 no es primo
Por lo tanto, para el nmero par 20, existen nmeros del conjunto de
nmeros primos contenidos en l que no cumplen la conjetura. Se
sealan con rojo:

20 {2, 3, 5, 7, 11, 13, 17, 19}

Cmo evitar elegir los nmeros rojos?
La respuesta a esta pregunta tal vez sera encontrar algn patrn o
evidencia que sugiera la existencia de un algoritmo. Recordemos que
un algoritmo resuelve un problema en un nmero finito de pasos, y
evitar elegir los nmeros rojos es un problema.

Para cada nmero par contamos con informacin previa e inmediata,

es decir, dos nmeros pares anteriores a l. Por ejemplo, para el
nmero par 6 contamos con en 4 y el 2:

2 {2}
4 {2, 3}
6 {2, 3, 5}
Y para el nmero par 12 contamos con el 10 y el 8:

8 {2, 3, 5, 7}
10 {2, 3, 5, 7}
12 {2, 3, 5, 7, 11}

Al observar el caso del nmero par 6, nos damos cuenta que los
conjuntos de primos del nmero 4 y el nmero 2 guardan diferencia de
un elemento:

{2, 3} {2} = {3}

Ahora bien, los nmeros rojos del conjunto de primos del nmero par 6
son:

6 {2, 3, 5}
La diferencia {3}, ha evitado ser un nmero rojo, y adems
corresponde al nmero que hay que elegir del conjunto de los primos
menores que 6, para que 6 se descomponga como la suma de dos
primos, es decir para que cumpla la conjetura:

6 = {3} + 3
En el caso del nmero par 12, no se puede saber nada, porque la
diferencia de los conjuntos de primos del 10 y el 8 es vaca:

{2, 3, 5, 7} {2, 3, 5, 7} = {}
Resumiendo, este proceder tiene la apariencia de un algoritmo en el
cual se tiene en cuenta la diferencia unitaria entre los conjuntos de
primos de pares inmediatos de un nmero par particular, y se ignora la
diferencia vaca cuando aparezca:

2 {2}
4 {2, 3}
6 {2, 3, 5} 6 = 3 + 3
8 {2, 3, 5, 7} 8 = 5 + 3
10 {2...7} 10 = 7 + 3
12 {2...11} { } ===============
14 {2...13} 14 = 11 + 3
16 {2...13} 16 = 13 + 3
18 {2...17} { } ================
20 {2...19} 20 = 17 + 3
22 {2...19} 22 = 19 + 3
24 {2...23} { } ================
26 {2...23} 26 = 23 + 3
28 {2...23} { } ================
30 {2...29} { } ================
32 {2...31} 32 = 29 + 3
34 {2...31} 34 = 31 + 3
36 {2...31} { } ================
38 {2...37} { } ================
40 {2...37} 40 = 37 + 3
42 {2...41} { } ================
44 {2...43} 44 = 41 + 3
46 {2...43} 46 = 43 + 3
48 {2...47} { } ================
50 {2...47} 50 = 47 + 3
52 {2...47} { } ================
54 {2...53} { } ================
56 {2...53} 56 = 53 + 3
58 {2...53} { } ================
60 {2...59} { } ================
62 {2...61} 62 = 59 + 3
64 {2...61} 64 = 61 + 3
66 {2...61} { } ================
68 {2...67} { } ================
70 {2...67} 70 = 67 + 3
72 {2...71} { } ================
74 {2...73} 74 = 71 + 3
76 {2...73} 76 = 73 + 3
78 {2...73} { } ================
80 {2...79} { } ================
82 {2...79} 82 = 79 + 3
84 {2...83} { } ================
86 {2...83} 86 = 83 + 3
88 {2...83} { } ================
90 {2...89} { } ================
92 {2...89} 92 = 89 + 3
94 {2...89} { } ================
96 {2...89} { } ================
98 {2...97} { } ================
100 {2...97} 100 = 97 + 3
102 {2...101} { } ================
104 {2...103} 104 = 101 + 3
106 {2...103} 106 = 103 + 3
108 {2...107} { } ==============
110 {2...109} 110 = 107 + 3
112 {2...109} 112 = 109 + 3
114 {2...113} { } ==============
116 {2...113} 116 = 113 + 3
118 {2...113} { } ===============
120 {2...113} { } ===============
122 {2...113} { } ===============
124 {2...113} { } ===============
126 {2...113} { } ===============
128 {2...127} { } ===============
130 {2...127} 130 = 127 + 3
132 {2...131} { } ===============
134 {2...131} 134 = 131 + 3
136 {2...131} { } ===============
138 {2...137} { } ===============
140 {2...139} 140 = 137 + 3
142 {2...139} 142 = 139 + 3
144 {2...139} { } ===============
146 {2...139} { } ===============
148 {2...139} { } ===============
150 {2...149} { } ===============
152 {2...151} 152 = 149 + 3
154 {2...151} 154 = 151 + 3
156 {2...151} { } ===============
158 {2...157} { } ===============
160 {2...157} 160 = 157 + 3
162 {2...157} { } ===============
164 {2...163} { } ===============
166 {2...163} 166 = 163 + 3
168 {2...167} { } ===============
170 {2...167} 170 = 167 + 3
172 {2...167} { } ===============
174 {2...173} { } ===============
176 {2...173} 176 = 173 + 3
178 {2...173} { } ===============
180 {2...179} { } ===============
182 {2...181} 182 = 179 + 3
184 {2...181} 184 = 181 + 3
186 {2...181} { } ==============
188 {2...181} { } ==============
190 {2...181} { } ==============
192 {2...191} { } ==============
194 {2...193} 194 = 191 + 3
196 {2...193} 196 = 193 + 3
198 {2...197} { } ==============
200 {2...199} 200 = 197 + 3
202 {2...199} 202 = 199 + 3
204 {2...199} { } ==============
206 {2...199} { } ==============
208 {2...199} { } ==============
210 {2...199} { } ==============
212 {2...211} { } ==============
214 {2...211} 214 = 211 + 3
216 {2...211} { } ==============
218 {2...211} { } ==============
220 {2...211} { } ==============
222 {2...211} { } ==============
224 {2...223} { } ==============
226 {2...223} 226 = 223 + 3
228 {2...227} { } ==============
230 {2...229} 230 = 227 + 3
232 {2...229} 232 = 229 + 3
234 {2...233} { } ===============
236 {2...233} 236 = 233 + 3
238 {2...233} { } ===============
240 {2...239} { } ===============
242 {2...241} 242 = 239 + 3
244 {2...241} 244 = 241 + 3
246 {2...241} { } ===============
248 {2...241} { } ===============
250 {2...241} { } ===============
252 {2...251} { } ===============
254 {2...251} 254 = 251 + 3
256 {2...251} { } ===============
260 {2...257} { } ===============
262 {2...257} 262 = 257 + (5) El otro no siempre es 3!
264 {2...263} { } ===============
266 {2...263} 266 = 263 + 3
268 {2...263} { } ===============
270 {2...269} { } ===============
272 {2...271} 272 = 269 + 3
274 {2...271} 274 = 271 + 3
276 {2...271} { } ===============
278 {2...277} { } ===============
280 {2...277} 280 = 277 + 3
282 {2...281} { } ===============
284 {2...283} 284 = 281 + 3
286 {2...283} 286 = 283 + 3
288 {2...283} { } ===============
290 {2...283} { } ===============
292 {2...283} { } ===============
294 {2...293} { } ===============
296 {2...293} 296 = 293 + 3
298 {2...293} { } ===============
300 {2...293} { } ===============
302 {2...293} { } ===============
304 {2...293} { } ===============
306 {2...293} { } ===============
308 {2...307} { } ===============
310 {2...307} 310 = 307 + 3
312 {2...311} { } ===============
314 {2...313} 314 = 311 + 3
316 {2...313} 316 = 313 + 3
318 {2...317} { } ===============
320 {2...317} 320 = 317 + 3
322 {2...317} { } ===============
324 {2...317} { } ===============
326 {2...317} { } ===============
328 {2...317} { } ===============
330 {2...317} { } ===============
332 {2...331} { } ===============
334 {2...331} 334 = 331 + 3