El teorema de Bayes y su aplicacin en la

Demostracin de la Conjetura de Golbach por Reduccin.

Rodolfo A. Nieves Rivas
Fesol7luzley@gmail.com

En este Articulo se Presenta un Teorema Anlogo de la Conjetura de Golbach Par.
Luego se realiza la Demostracin de este Teorema anlogo utilizando el teorema de
Bayes y de esta forma se concluye que la Conjetura de Golbach Par es cierta.


Palabras clave: Conjetura de Golbach; Reduccin; Anlogo y teorema de Bayes.















Introduccin:
La Conjetura de Golbach
3
la formulo Cristians Golbach a travs de una comunicacin
enviada a: Leonardo Euler en el ao 1.742 y desde ese momento han sido en vano los
intentos por demostrar esta conjetura a tal punto que la misma es considerada
Intratable Motivo por el cual la misma fue Nuevamente presentada por Edmund
Landau en El Quinto Congreso Internacional de Matemticas en el ao 1.912 y es por
Esto que desde ese momento se le conoce como uno de los Problemas de Landau
Siendo mejor conocida como el Problema ms difcil de resolver en Matemticas:
Para el logro del Objetivo de este trabajo de Investigacin el contenido est
desarrollado de la siguiente forma:
a) Marco Terico.
b) Bases Tericas.
c) Metodologa.(Heurstica)
1

d) Planteamiento del Problema. (Presentacin de la Conjetura de
Golbach)(Chenyan.)
3
(Otros)
e) Presentacin de un Problema Equivalente.(Teorema
Anlogo)
1
(Polya.G;2002)
1
(Nieves.R;2011)
2

f) Anlisis de un Teorema Principal y Justificacin de la Reduccin a travs
de Dos Criterios.(Polya.G 2002)
1

g) Resultados y Demostracin del Teorema Anlogo(Polya.G;2002)
h) Demostracin del teorema anlogo con el teorema de Bayes.
i) Conclusin y recomendacin.











Marco Terico:
Postulado de Beltrand: Existen nmeros Primos comprendidos entre: n y 2.n
Teorema de los Nmeros Primos: Existen nmeros Primos comprendidos entre: 0 y n
Funcin de Euler: (n) es igual a la cantidad de nmeros primos menores que: n
Teorema 1: n
2
K
2
= (n-K) (n+K)
Teorema 2: (n + K) + (n K) = 2.n

Teorema 3: El menor Nmero Primo Impar Es el Tres (3)
Corolario 1: El menor semiprimo Impar Es el Nueve (9)
Bases Tericas:
Lema 1: Siempre existe: K < n
Para toda: n I
i
Tal que: n K = I
i
Donde: I
i
Es cualquier Nmero Impar.
Lema 2: Siempre existe: K < n
Para toda: n I
j
Tal que: n + K = I
j

Cuando: I
j
Es cualquier Nmero Impar.
Lema 3: Para toda: n1
Siempre existen: (n K) y (n + K) Equidistantes a: n
Tal que: (n K) + (n + K) = 2.n
Cuando: K0
Lema 4: Si: n
2
K
2
= I
i.
I
j
(Por ser I
i
y I
j
ambos Impares) (Teorema Principal)
Entonces: I
i
.I
j
= (n K) (n + K) (Por los Lemas 1 y 2)




Teorema 4:
n = n n = K n = n
Si: 2.n - 1 = 2.n - 1 + 2.n - 1
n = 1 n = 1 n = K + 1
K = Constante
Para toda: n 1

Cuando: K 0



n = n n = K n = n
Entonces: 2.n - 1 - 2.n - 1 = 2.n - 1
n = 1 n = 1 n = K + 1
K= Constante






























Metodologa: Demostracin por Reduccion
1


1 2
1 2 1 2
1
2
Teorema analogo a la conjetura de Golbach:
3 : 0 2. ( ; ) Pr
: 0 2. / ( 2. )
y solo si: P ( )
ademas: P ( )
: 0
n Natural N n P P imo
Cuando P n P n P P n
Si n x
Y n x
Para x n
> e < < - e
< s s < + =
=
= +
s s



Deducciones:

a) Todo nmero natural comprendido entre: 0 y n (por Peano)
Es de la forma: (n-x) para toda: x comprendida entre: 0 y n
b) Para cada nmero de la forma: (n-x) solo existe uno y solo uno de la forma:
(n+x) tal que: (n-x) + (n+x) = 2.n
c) Entre: 0 y n existen nmeros primos y por tanto son de la forma: (n-x) (por
el teorema de los nmeros primos).
d) Todo nmero natural comprendido entre: n y 2,n (por Peano)
Es de la forma: (n+x) para toda: x comprendida entre: 0 y n
e) Entre: n y 2.n existen nmeros primos y por tanto son de la forma: (n+x)
(por el postulado de Beltrand).
f) Para todo nmero de la forma: (n+x) siempre existe otro nmero de la
forma: (n-x) tal que la suma de ambos es igual a: (n+x) + (n-x) = 2.n
g) Para todo nmero primo de la forma: (n-x) siempre existe otro nmero
primo de la forma: (n+x) tal que la suma de ambos es igual a:

(n-x) + (n+x) = 2.n


Observacin: Esto es lo que vamos a demostrar con el teorema de Bayes
aplicado al teorema anlogo de la conjetura de Golbach par.




Planteamiento del Problema:
Conjetura de Golbach
3
: Todo Nmero par mayor e igual que Seis.
Se puede expresar con la Suma de Dos Nmeros
Primos.
Teorema Analogo
2
:
Si para todo Nmero Natural: n 3
Existen Dos Nmeros Primos Impares de la forma:(n - K) y (n + K)
Que sean: Equidistantes a: n
Entonces: La Conjetura de Golbach Par es cierta.


















Justificacin: Todo el desarrollo de esta Investigacin est basado en lo siguiente:


Criterio 1: Para que todo Nmero par de la forma: 2.n
Donde: n3
Sea la Suma de Dos Nmeros Primos.
Solo es Necesario y Suficiente que:
Para todo Numero Natural: n3
Existan: Dos Nmeros Primos Impares Equidistantes a: n
Y adems de la forma: (n-K) y (n+K)
Tal que: (n - K) n (n + K)
Y cuya Suma: (n - K) + (n + K)
Sea: (n - K) + (n + K) = 2.n (Por el Teorema 2)


Criterio 2: Para que: Un Nmero Par de la forma: 2.n
Sea: La Suma de Dos Nmeros: a y b
Cuando: ab
Solo es Necesario y Suficiente que: a y b Tengan igual Paridad.
Y adems que: a y b Sean Equidistantes a: n
Y para que: a y b Sean Equidistantes a: n
Entonces: a = n K
Cuando: b = n + K
Para toda: n1
Y toda: K0


Teorema Principal:

Todo Nmero impar se puede expresar con la diferencia de Dos Cuadrados

1
2
- 0
2
= 1
2
2
-

1 = 3
3
2
- 2
2
= 5
4
2
- 3
2
= 7
3
2
- 0
2
= 5
2
- 4
2
= 9
6
2
- 5
2
= 11
7
2
- 6
2
= 13
4
2
- 1
2
= 8
2
- 7
2
= 15
9
2
- 8
2
= 17
10
2
- 9
2
= 19
5
2
- 2
2
= 11
2
- 10
2
= 21
12
2
- 11
2
= 23
5
2
0
2
= 13
2
- 12
2
= 25
6
2
- 3
2
= 14
2
- 13
2
= 27
15
2
- 14
2
= 29
16
2
- 15
2
= 31
7
2
- 4
2
= 17
2
- 16
2
= 33
6
2
- 1
2
= 18
2
- 17
2
= 35
19
2
- 18
2
= 37
8
2
- 5
2
= 20
2
- 19
2
= 39
21
2
- 20
2
= 41
22
2
- 21
2
= 43
7
2
- 2
2
= 9
2
- 6
2
= 23
2
- 22
2
= 45
24
2
- 23
2
= 47
7
2
- 0
2
= = 25
2
- 24
2
= 49
10
2
- 7
2
= 26
2
- 25
2
= 51
27
2
- 26
2
= 53
8
2
- 3
2
= 28
2
- 27
2
= 55
11
2
- 8
2
= 29
2
- 28
2
= 57
30
2
- 29
2
= 59
31
2
- 30
2
= 61
8
2
- 1
2
12
2
- 9
2
= 32
2
- 31
2
= 63
9
2
- 4
2
= 33
2
- 32
2
= 65
34
2
- 33
2
= 67
13
2
- 10
2
= 35
2
- 34
2
= 69



Anlisis de Resultados:
Observacin: En la Visualizacin del desarrollo del anterior Teorema Principal Se
pueden deducir los siguientes resultados los cuales permiten Justificar y establecer la
conexin y relacin de equivalencia anloga de la Conjetura de Golbach.
Teorema 5: Todo Nmero Primo Impar se puede expresar de forma nica con la
diferencia de Dos Cuadrados Consecutivos.
Corolario 2: Todo Libre de Cuadrado de (n) Factores; Se puede expresar con la
diferencia de Dos Cuadrados de: 2
n-1
formas Distintas.
Corolario 3: Todo Semiprimo se puede expresar de Dos formas Distintas con la
diferencia de Dos Cuadrados.
Teorema 6: Todo Semiprimo Impar.Se puede expresar con la diferencia de Dos
Cuadrados.







Demostracin del Teorema 6:





n=n
Dado que: n
2
= 2.n 1
n=1

Para toda: n 1




n=K
Y como: K
2
= 2.n 1
n=1

Para toda: K 0




n=n n=K
Entonces: n
2
- K
2
= 2.n 1 - 2.n 1
n=1 n=1





n=n n=K n=n
Donde: = 2.n 1 - 2.n 1 = 2.n - 1
n=1 n=1 n=K + 1

Para toda: n1

Cuando: K 0







n=n
Entonces: n
2
- K
2
= 2.n - 1
n = K + 1


Y como: n
2
- K
2
= (n K).(n + K) ( Por el Teorema 1 )





n=n
Entonces: (n K)(n + K) = 2.n - 1 = Semiprimo
n = K + 1






Si y solo si: (n + K) Es el Termino Central de:

n = n
2.n - 1 = Semiprimo
n = K + 1



Cuando: (n - K) Es el Nmeros de Trminos de:


n = n
2.n - 1 = Semiprimo
n = K + 1



Donde: (n K) Pertenece a los Nmeros Primos.


Cuando: (n + K) Pertenece a los Nmeros Primos.


Resultados: Objetivo Principal:
Objetivo: Demostracin del Teorema Anlogo.
Dado que: Para todo Nmero Impar de la forma: I
i
.I
j
(Por los Lemas 1 y 2)

Siempre Existen: Dos Nmeros de la forma: (n K) y (n + K) (Por los Lemas: 1 y 2)
Tal que: (n K) = I
i
(Por el Lema 1)
Cuando: (n + K) = I
j
(Por el Lema 2)

Para toda: n > K
Donde: I
i
Es cualquier Nmero Impar.
Cuando: I
j
Es tambin cualquier Nmero Impar.
Y como: I
i
.I
j
= (n K)(n + K) = n
2
K
2
(Por el Teorema 1 y el Teorema 6)
Entonces: I
i
.I
j
Es un Semiprimo Impar.
Si y solo si: I
i
Es un Nmero Primo Impar de la forma: (n K) (Por el Lema 1)
Cuando: I
j
Es un Numero Primo Impar de la forma: (n + K) (Por el Lema 2)
Para toda: n 3 (Por el Teorema 3 y El Corolario 1)
Donde: n > K
Y como: I
i
+ I
j
= (n K) + (n + K) = 2.n (Por el Teorema 2 y el Criterio 2)
Para toda: n 1
Entonces: Todo Nmero de la forma: 2.n
Para toda: n 3
Se puede expresar: Con Dos Nmeros Primos Impares de la forma: (n K) y (n + K)
Entonces: Para todo Numero Natural: n 3 Siempre existen Dos Nmeros Primos
Impares Equidistantes a:(n)
Tal qu:(n K) n (n + K)
Cuya suma: Es un Nmero Par de la forma: 2.n
Entonces: La Conjetura de Golbach es cierta.


El teorema de Bayes y su aplicacin en la resolucin de
La conjetura de Golbach par.


Observacin:
Para la aplicacin del teorema de Bayes en la resolucin de la conjetura
de Golbach par. Demostraremos el siguiente teorema anlogo:


aracterizacion del teorema analogo de golbach:
n 3 *: 0 2. ( ; ) Pr
que: 0<P 2. / 2.
y solo si: P (n-x)
Cuando: P (n+x)
Para: 0 x n
I J
I j I J
I
j
C
N n n P P imo
Tal n P n P P n
Si
> e < < - e
s s < + =
=
=
s s


Dado que;

{ } A= ( ) / 0 : 3 *: 0 ( ) n x A x n n N n x n e s s > e s s


Cardinal de A = n+1


{ } B= ( ) / 0 : 3 *: ( ) 2. n x B x n n N n n x n + e s s > e s + s



Cardinal de B = n+1



Y adems queda demostrado por la funcin de Euler que que la probabilidad de que
exista un nmero primo de la forma: (n-x) perteneciente al conjunto: A
Observacin: Esto est Garantizado por el teorema de los Nmeros primos.
(En amarillo)


( )
( ) = X>0
1
n
P A
n
t
=
+



x (n-x)A + (n+x)B x
0 (n-0) = n + (n+0) = n 0
1 (n-1) + (n+1) 1
2 (n-2) + (n+2) 2
3 (n-3) + (n+3) 3
4 (n-4) + (n+4) 4
5 (n-5) + (n+5) 5
6 (n-6) + (n+6) 6
7 (n-7) + (n+7) 7
8 (n-8) + (n+8) 8
n (n-n) = 0 + (n+n) = 2.n n

Y de igual forma queda demostrado con la funcin de Euler que la probabilidad de que
exista un nmero primo de la forma: (n+x) perteneciente al conjunto: B
Observacin: Esto est garantizado por el Postulado de Beltrand.(En azul)

(2. ) ( )
( ) = Y>0
1
n n
P B
n
t t
=
+


x (n-x)A + (n+x)B x
0 (n-0) = n + (n+0) = n 0
1 (n-1) + (n+1) 1
2 (n-2) + (n+2) 2
3 (n-3) + (n+3) 3
4 (n-4) + (n+4) 4
5 (n-5) + (n+5) 5
6 (n-6) + (n+6) 6
7 (n-7) + (n+7) 7
8 (n-8) + (n+8) 8
n (n-n) = 0 + (n+n) = 2.n n
Lo que permite demostrar con el teorema de Bayes que si:
( y B) X.Y> 0 P A =

x (n-x)A + (n+x)B x
0 (n-0) = n + (n+0) = n 0
1 (n-1) + (n+1) 1
2 (n-2) + (n+2) 2
3 (n-3) + (n+3) 3
4 (n-4) + (n+4) 4
5 (n-5) + (n+5) 5
6 (n-6) + (n+6) 6
7 (n-7) + (n+7) 7
8 (n-8) + (n+8) 8
n (n-n) = 0 + (n+n) = 2.n n

Entonces queda demostrado por el teorema de Bayes que:
Cuando existe un nmero primo de la forma: ( n - x) perteneciente al conjunto: A
Tambin existe un nmero primo de la forma: (n + x) perteneciente al conjunto: B
( . )
( / B) = Y > 0
X Y
P A
X
=

( . )
( / A) = X > 0
X Y
P B
Y
=

x (n-x)A + (n+x)B x
0 (n-0) = n + (n+0) = n 0
1 (n-1) + (n+1) 1
2 (n-2) + (n+2) 2
3 (n-3) + (n+3) 3
4 (n-4) + (n+4) 4
5 (n-5) + (n+5) 5
6 (n-6) + (n+6) 6
7 (n-7) + (n+7) 7
8 (n-8) + (n+8) 8
n (n-n) = 0 + (n+n) = 2.n n





Y como la suma es constante e igual a: 2.n
Entonces la conjetura de Golbach es cierta para toda: n3


(n-x)A + (n+x)B = 2.n
(n-0) + (n+0) = 2.n
(n-1) + (n+1) = 2.n
(n-2) + (n+2) = 2.n
(n-3) + (n+3) = 2.n
(n-4) + (n+4) = 2.n
(n-5) + (n+5) = 2.n
(n-6) + (n+6) = 2.n
(n-7) + (n+7) = 2.n
(n-8) + (n+8) = 2.n
(n-n) + (n+n) = 2.n

















Conclusin y recomendacin:
Cabe destacar que est Demostrado que Existen Nmeros Primos Comprendidos
entre: 0 y n (Por el Teorema de los Nmeros Primos).As como Existen Nmeros
Primos Comprendidos entre: n y 2.n (Postulado de Bertrand) motivo por el cual
recomendamos el estudio de la siguiente criba y anlisis del siguiente teorema principal
de existencia. Lo que Fortalece los resultados obtenidos en esta Investigacin y el logro
del Objetivo Alcanzado.

Criba para determinar de cuantas formas diferentes puede ser expresado un
Nmero par de la forma: 2.n para toda: n3 con la suma de Dos nmeros Primos
impares.

Construccin: Basada en: El Teorema de los Nmeros Primos y El Postulado de
Beltrand.

Primer paso: Se colocan en la fila N 1 de forma consecutiva todos y cada uno de los
nmeros Naturales Desde: El cero ( 0 ) Hasta: n = ( Cualquier Nmero Natural ).

Fila N 1: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 n

Observacin: El Teorema de los Nmeros Primos establece que: Existen Nmeros
Primos. Entre: 0 y n ( En Negrita en la fila N 1 ).

Segundo paso: Se colocan en la fila N 2 de forma consecutiva y decreciente todos y
cada uno de los Nmeros Naturales Desde: 2.n Hasta: n
Fila N 1: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 n
Fila N 2: 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 n

Observacin: El Postulado de Bertrand establece que: Siempre existen Nmeros
Primos comprendidos, Entre: n y 2.n ( En Negrita en la fila N 2 ).


Tercer paso: Se tachan todas las columnas que contienen Nmeros Compuestos.

Fila N 1: 7 11 13 n
Fila N 2: 23 19 17 n

Observacin: Todas las columnas que quedan sin tachar determinan las diferentes
formas como puede ser expresado el Nmero par: 2.n con la suma de Dos Nmeros
Primos Impares.

Fila N 1: 7 11 13 n
Fila N 2: 23 19 17 n
SUMA 30 30 30 2.n

Observacin: La suma de todos los trminos de la fila N 1 con el trmino
correspondiente de la fila N 2 es constante igual a: 2.n




Fila N 1: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 n
Fila N 2: 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 n







Teorema Principal de Existencia:


Para toda: n 3
Siempre existen: (n) Nmeros menores e igual a: n
2

Comprendidos entre: 2.n 1 y n
2

Que son Producto de Dos Nmeros Equidistantes a: n
De la forma: (n K) Y (n + K)
Donde: 0 K n
Tal que: (n K)(n + K) = n
2
- K
2

Donde: Al menos uno de estos: (n) Productos es: Un Semiprimo.
Donde: La Suma de Ambos factores es igual a: (n K) + (n + K) = 2.n

Ejemplo:

n
2
- K
2
= ( n K ).( n + K ) = Productos 2.n=( n K ) + ( n + K ) = Sumas
7
2
- 0
2
= 7 . 7 = 49 7 + 7 = 14
7
2
- 1
2
= 6 . 8 = 48 6 + 8 = 14
7
2
- 2
2
= 5 . 9 = 45 5 + 9 = 14
7
2
- 3
2
= 4 . 10 = 40 4 + 10 = 14
7
2
- 4
2
= 3 . 11 = 33 3 + 11 = 14
7
2
- 5
2
= 2 . 12 = 24 2 + 12 = 14
7
2
- 6
2
= 1 . 13 = 13 1 + 13 = 14




n
2
- K
2
= (n K).(n + K) = Productos
7
2
- 0
2
= 7 . 7 = 49..= n
2

7
2
- 1
2
= 6 . 8 = 48
7
2
- 2
2
= 5 . 9 = 45
7
2
- 3
2
= 4 . 10 = 40
7
2
- 4
2
= 3 . 11 = 33.= Semiprimo
7
2
- 5
2
= 2 . 12 = 24
7
2
- 6
2
= 1 . 13 = 13.= 2.n 1




1
3 4
5 8 9
7 12 15 16
9 16 21 24 25
11 20 27 32 35 36
13 24 33 40 45 48 49Ejemplo
15 28 39 48 55 60 63 64
17 32 45 56 65 72 77 80 81






Referencias:
[1] Polya G.Como plantear y resolver problemas.Ed.Trillas.Mexico.2002
[2] Nieves R.Rodolfo Demostracin de una Conjetura presentada en el Quinto
Congreso Internacional de Matemticas en 1.912; Memorias XIX Jornadas
Tcnicas de Investigacin y III de Postgrado.Ed.Horizontes.Venezuela.2011
Pp.123-128
[3] Chengyan, L.Sieve method and Lndau Problems.Arxiv; 9909.15v1.1999.Pp1-7