CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Derechos de Autor Registrados

A la memoria de Carl F. Gauss y de Christian Goldbach,

autnticos protagonistas de las pginas de este texto.

INTRODUCCIN
Un poco ms de 250 aos atrs Goldbach consult a Euler sobre el hecho de que, al parecer, todo nmero par
mayor que 2 es expresable como la suma de dos nmeros primos. Euler debi haber intentado la
demostracin o refutacin de tan extraordinario fenmeno matemtico con resultados infructuosos en uno u
otro sentido. Al leer el articulo Nmeros primos: balance de nuestra ignorancia, de Joaqun Navarro,
sent disgusto contra dicho autor debido a que plante que Goldbach no haba hecho ni siquiera un aporte
mediocre a la historia de las matemticas. (Ver Gran Enciclopedia del Saber, tomo 12, Salvat Editores S.A.
Barcelona 1975) -Por qu el disgusto? - Porque, en mi caso, siento una sensacin de gran admiracin
cuando una persona observa hechos que otras miles, estando frente a los mismos eventos, no los captan; esa
observacin es, en el fondo , un aporte supervalioso en la historia de las ciencias as sean otros los individuos
los encargados de sacar provecho al fenmeno captado por un primer observador que no supo, o no pudo,
trascender su propio descubrimiento .
Dadas las consideraciones anteriores y en homenaje a aquel observador, la conjetura que se demostrar en
este texto se elevar al rango de TEOREMA DE GOLDBACH y con dicha denominacin se registrar en la
historia para disgusto, quiz, de Joaqun Navarro.
En el intento de demostrar la conjetura de Goldbach, Schnirelmann, en 1931, prob que todo nmero par es
la suma de, a lo ms, 300.000 primos y el mencionado total de sumandos primos fue paulatinamente
disminuido hasta que Vinogradov demostr que todo nmero par es expresable, a lo sumo, como la suma de 4
primos .
Y... - - Cmo demostrar el teorema de Goldbach? - la demostracin no requerir un proceso tortuoso,
bastar determinar la funcin prima
con exactitud, hallar cuntos primos existen en el intervalo
, aplicar las progresiones aritmticas
y la
, encontrar cuntos pares de primos
definen el nmero
y , finalmente, agradecer a Gauss dado que todo lo que haremos en este texto
se fundamenta en aportes suyos .
Los descendientes de Goldbach saludarn el siglo XXI con la certeza de que no existe ningn nmero par
mayor que 2 que incumpla su conjetura.
Adems, los matemticos del tercer milenio sentirn las ms grandes sorpresas al observar que las ms
famosas y antiguas conjeturas ante las que han sucumbido genios de la Talentocrasia Matemtica, al igual
que una vasta cantidad de problemas de la misma ndole, se resuelven de manera elemental e, incluso, por
varios caminos.
En Internet aparece otra demostracin de la Conjetura de Goldbach realizada por un matemtico espaol.
Aunque en ella se emplean los mismos principios de fondo de la presente, la misma requiere de esfuerzos
extras para su comprensin y asimilacin, motivo por el cual considero que terminar, sin menospreciar la
calidad de la contribucin espaola, siendo descartada para su uso general.
Ahora, continuaremos con el Teorema de GOLDBACH pero... antes empecemos por la senda apropiada...
aunque en mi trabajo original el orden fue diferente.

CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Derechos de Autor Registrados

FUNCIN PRIMA:
Si partimos del principio de que

entonces es fcil prever que

Empleando una tabla que contenga los valores

observamos que

, lo cual concuerda

con que

Despejando c en la funcin prima, se obtiene

Ejemplos:

Realizado el estudio de c se encontrar que:

decreciente con

y, por tanto,

ser una funcin creciente -

Teorema de Relacin
Si

c 1

Demostracin:
1.
2.

.................................................................................................. .................. suposicin

1
ln N

1
ln( N / c )

....................................................... .............................................. simplificando en 1.

3.

.............................................................................. .........................................

segn 2.

4.

.................................................................. ....................................................... segn 3.

5.

.............................................................................. ........................................... segn 4.

6.

......................................................................................................... ... ........................... segn 5.

7.

.................................................................................................................................................. segn 6.
h.q.d.

Teorema

CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Si

Derechos de Autor Registrados

c( N ) = e (ln N ) N / ( N ) Lim c( N ) = 1
N

Demostracin
1.

........................................................................................... ....................

hiptesis

2.

............................................... ........ ....................... Teorema del nmero de primos.

3.

....................................................................................................... segn 1.

4.

..................................................... .............................................. segn 2. y 3.

5.

............................................................................................................................ segn 4.
h.q.d.

Probabilidad de que un nmero

Dado que el total de nmeros primos en el intervalo

es

sea primo
entonces la probabilidad de que

un nmero natural
sea primo queda definida por
y, por tanto,
por ser
, de acuerdo con el Teorema de Relacin. El hecho de que
, nos permite emplear
para efectos de anlisis acerca de cuestiones relativas al
conjunto de nmeros primos y saber, de antemano, que nuestros resultados sern aproximados, en general, por
defecto a las cantidades verdaderas.

Teorema del intervalo doble

Demostracin
1.

.......................................... ......................... .... ......................funcin prima

2.

............................................................................ ..................... segn 1.

3.

............. ....... ...... ..... .......... ....................................... segn 2.

4.

........................................................................................ ............................ segn 3.

5.

.................................................................................................... segn 4.
h.q.d.

Notas

CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Derechos de Autor Registrados

El teorema general se denomina Teorema del Intervalo Mltiplo, su demostracin es idntica a la anterior y
se expresa as

De 2. se deduce que si
(a)

(b)

Corolario
= cantidad de primos en
Lo anterior significa que la cantidad de nmeros primos en el intervalo
tiende a la del intervalo
cuando
y, adems , se resuelve una de las ms famosas preguntas en el conjunto de los
nmeros primos referida a la cantidad de nmeros primos entre N y 2N, y, en general, entre N y kN
cuando
Adems, el Teorema del Intervalo Doble garantiza la aplicabilidad de la teora de probabilidades en la
demostracin de la Conjetura de Goldbach dado que asegura la misma densidad aproximada de nmeros
primos en ambas mitades del intervalo
, la cual aumenta cuando
.

RESUMEN
De conformidad con el teorema del intervalo doble concluimos que, en general :
(1)

(2)

(3)

(4)
(5)

cuando

a partir de algn

(6)

TEOREMA DE GOLDBACH

CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Derechos de Autor Registrados

Todo nmero par mayor que 2 equivale a la suma de, al menos, dos nmeros primos.
Demostracin
1.

4=2+2

2.
3.

es la serie de los nmeros impares y, por tanto, contiene la serie de los nmeros primos
impares

4.

De conformidad con el teorema del intervalo doble la cantidad de primos de la segunda mitad de
tiende a ser la misma que la de la primera mitad cuando
, hecho que disipa las posibles
dudas acerca de la Conjetura de Goldbach y permite aplicar la teora de probabilidades.

5.

Tomemos, por comodidad,

, valor inferior al real cuando

Observacin:

conduce a la misma conclusin.

6.

De acuerdo con el Teorema del Intervalo Doble podemos optar por la siguiente alternativa (en la obra
original se describe otra) acerca de la probabilidad de que
sean primos:

7.

La probabilidad de que ambas componentes del par simtrico sean primos segn 6., ser

8.

Para N, el total de pares simtricos

9.

Si aplicamos limites, entonces

Lim
N

con ambas componentes primas, segn 7., ser

s( N ) = ,

10. En consecuencia con 1., 2., y 9., para todo

componentes como nmeros primos.

existir, al menos, un par simtrico con ambas

11. Todo nmero par mayor que 2 equivale a la suma de, al menos, dos nmeros primos................... segn 10
h . q . d.

El Teorema de Goldbach se puede replantear as:

CARLOS GIRALDO OSPINA

Lic. Matemticas, USC

FUNCIN PRIMA Y TEOREMA DE GOLDBACH

Derechos de Autor Registrados

Todo nmero m = 2n + 4, n N0, es la suma de, al menos, un par de nmeros primos, si

entonces la cantidad de pares tiende a infinito.

TEOREMA IMPAR DE GOLDBACH

Todo nmero impar es la suma de, al menos, tres primos
Demostracin
1.

.................................................................... Teorema de Goldbach

2.

.............................................................................. segn 1.
h.q.d.

OBSERVACION:
Los aportes de las pginas anteriores son una sntesis del trabajo enviado en el ao 2000 al concurso
THE GOLDBACHS CONJECTURE CHALLENGER patrocinado por BLOOMSBURRY
PUBLISHING y FABER AND FABER LIMITRED. El concurso, segn las reglas del mismo, solo
es vlido para anglosajones y el trabajo, aunque fue recibido por los patrocinadores, no tendr
derecho a concursar.
La demostracin consignada en estas pginas se realiz en 1995 y es una pequea parte de la obra
denominada NMEROS PRIMOS HACIA LA CONQUISTA DE LOS INDMITOS en la cual
se resuelve un buen nmero de inquietudes acerca de los nmeros primos.