Presentacin de un Teorema y su Aplicacin en la Resolucin de Nueve Problemas Abiertos:

Rodolfo A. Nieves Rivas fesol7luzley@gmail.com

Resumen:

En este artculo se presenta un Teorema y su aplicacin en la resolucin de los siguientes Nueve Problemas abiertos: a) Demostracin de la Racionalidad de la Constante:2 de la Racionalidad del inverso de los Nmeros Primos. b) Demostracin de la Racionalidad de la Constante: e c) Demostracin de la Racionalidad del inverso de los Cubos. d) Demostracin de la Racionalidad de la Serie Armnica. e) Demostracin de la Racionalidad del Inverso de los Cuadrados. f) Demostracin de la Racionalidad del Inverso de los Nmeros Triangulares. g) Demostracin de la Racionalidad del Inverso de los Nmeros Fibonacci. h) Demostracin de la Racionalidad del Inverso de los Factoriales.

Se concluye con una propuesta de aplicacin general.

Palabras claves: Teorema, Demostracin y Racionalidad

Teorema Principal:

Si: La Sumatoria de todos los cocientes de un producto dividido entre todos y cada uno de sus factores. La dividimos por el producto Entonces: Este cociente sera igual a la sumatoria de los inversos de todos los factores de dicho producto.

Teorema Principal:
n i n n 1

Nn Ni Nn Racional

Si :

i 1 n

n 1

Entonces :
n 1 N Natural

1 Nn

Racional

Demostracin de la Racionalidad del Inverso de los Cubos:

n i n n 1 i 1 n

( N n )3

Natural Natural Racional Natural

Si :

( N i )3 ( Nn )
n 1 3

Entonces :
n 1 N Natural

1 ( N n )3

Racional

Demostracin de la Racionalidad del Inverso de los Cuadrados:

n i n n 1 i 1 n

( N n )2

Natural Natural Natural

2

Si :

( Ni )2 ( Nn )
n 1 2

Racional

Entonces :
n 1 N Natural

1 ( N n )2

Racional

Demostracin de la Racionalidad de: 2

n i n

( N n )2
n 1 n

Natural Natural
2

6 Si :
i 1

( Ni )2 ( Nn )
n 1 2

Racional

Natural

Entonces :
n 1 N Natural

6 ( N n )2

Racional

Demostracin de la Racionalidad del Inverso de los Factoriales:

n i n n 1

( N n ) ! Natural ( Ni )!
n n 1

Natural e 1 Racional

Si :

i 1

( N n )! Natural

Entonces :
n 1 N ! Factorial

1 ( N n )!

e 1 Racional

Demostracin de la Racionalidad de la Serie Armnica:

n i n n 1

Nn
n

Natural Ni Nn Natural Racional Natural

Si :

i 1

n 1

Entonces :
n 1 N Natural

1 Nn

Racional

Demostracin de la Racionalidad del Inverso de los Nmeros Primos:

n i n n 1

Pn
n

Natural Pi Pn Natural Racional Natural

Si :

i 1

n 1

Entonces :
n 1 P Primo

1 Pn

Racional

Demostracin de la Racionalidad del Inverso de los Nmeros Fibonacci:

n i n n 1

Fn
n

Natural Fi Fn Natural Racional Natural

Si :

i 1

n 1

Entonces :
n 1 F Fibonacci

1 Fn

Racional

Demostracin de la Racionalidad del Inverso de los Nmeros Triangulares:

n i n n 1

Tn
n

Natural Ti Tn Natural Racional Natural

Si :

i 1

n 1

Entonces :
n 1 T Triangular

1 Tn

Racional

Demostracin de la Racionalidad de la Constante: e

n i n n 0

( N n ) ! Natural ( Ni )!
n n 0

Natural e Racional

Si :

i 0

( N n ) ! Natural

Entonces :
n 0 N ! Factorial

1 ( N n )!

Racional

Demostracin de la Racionalidad del Inverso de los Primos:

n i n n n 1 i 1 n n

Pn Racional

Sea:
n 1 P Primo

1 Pn

Pi P 1 n

Demostracin:
n i n

Pn
n 1

Como:
i 1

Pi

Natural

Para todo: Pn Primo Aun cuando: n

n

Cuando:
n 1

Pn Natural

Aun cuando: n
n i n i 1 n 1

Pn

Entonces:

Pi
n n

Racional

P 1 n

Para todo: Pn Primo Aun cuando: n

n i n n n 1 i 1 n n 1

Pn

Y como:
n 1 P Primo

1 Pn

Pi Pn

Para todo: Pn Primo Aun Cuando: n

n

Entonces:
n 1 P Primo

1 Pn

Racional

Anlisis Descriptivo de Resultados:

n i n
n

i n

n n 1

n 1

Pn

Pn
n 1

Pn

n n 1 P Primo

i 1

Pi

1 Pn

i 1 n n 1

Pi Pn

2 6 30 210 2310 30030 . .

1 5 31 247 2927 40361 . .

1/2 5/6 31/30 247/210 2927/2310 40361/30030 . .

Observacin: Cabe destacar que todos y cada uno de los trminos de las Dos Primeras columnas siempre pertenecern a los nmeros naturales Aun cuando: n

CARACTERIZACIONES GENERALES DE LAS PROGRESIONES HIPERGEOMETRICAS: Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

Tn

an

Tn
n 1

an

1/1

4/3

27/18

10

27

18

288/180

15

288

180

4500/2700

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

an

an

1/1

3/2

10/6

10

41/24

41

206/120

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

Pn

.an

+
n 1

Pn

an

31

31

30

247

11

247

210

2927

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

an

(n-1)

an

11

11

50

50

24

274

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

n3

an

[(n 1)!]3

an

27

251

64

251

216

16280

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

n2

an

[(n 1)!]2

an

49

16

49

36

820

25

820

576

21076

Desarrollo por Iteracin Recurrente de la Progresin Hipergeometrica:

Fn

an

+
n 1

Fn

an

17

17

91

Ejemplo de Caracterizacin:

Sea: Fn
F0

an 1

+
n 1

Fn

an

Dnde:

Cuando: F1 Para: Cuando: Dnde:

F2
a0 a1

1 1
0 1

Caracterizacin de la Progresin Hipergeometrica Recurrente:

Sea : Tn .an

1 n 1

Tn

an

Donde : Tn .an
n

Natural
Natural

Cuando :
n 1

Tn

Para : an Cuando : an Donde : a1

Natural Natural 1

Cuando : a0
Para : Tn

0
Triangulares

Donde : n

Cuando : n

Caracterizacin de la Progresin Hipergeometrica Recurrente:

Sea : Tn .an

1 n 1

Tn

an

Sea : Pn .an

1 n 1

Pn

an

Donde : Tn .an
n

Natural
Natural

Donde : Pn .an
n

Natural
Natural

Cuando :
n 1

Tn

Cuando :
n 1

Pn

Para : an Cuando : an Donde : a1

Natural Natural 1

Para : an Cuando : an Donde : a1

Natural Natural 1

Cuando : a0
Para : Tn

0
Triangulares

Cuando : a0
Para : Pn

0
Pr imo

Donde : n

Donde : n

Cuando : n

Cuando : n

Caracterizacin de la Progresin Hipergeometrica Recurrente:

Sea : Fn .an

1 n 1

Fn

an

Sea : N n .an

1 n 1

Nn

an

Donde : Fn .an
n

Natural
Natural

Donde : N n .an
n

Natural
Natural

Cuando :
n 1

Fn

Cuando :
n 1

Nn

Para : an Cuando : an Donde : a1

Natural Natural 1

Para : an Cuando : an Donde : a1

Natural Natural 1

Cuando : a0
Para : Fn

0
Fibonacci.

Cuando : a0
Para : N n

0
Natural

Donde : n

Donde : n

Cuando : n

Cuando : n

Caracterizacin de la Progresin Recurrente Hipergeometrica.

n 1

Sea: [Pn . an-1] +

n 1

Pn

= an

Dnde: a0 = 0 Para: a1 = 1 Cuando: P0 = 1 Para: P1 = 2

(condicin) (condicin) (condicin) (condicin)

Caracterizacin general:

an /
n 1

Pn
n 1

1 pn

Desarrollo por Iteracin Recurrente y su Visualizacin:

n 1

n 1

[ Pn [2

. .

an-1] 0]

+
n 1

Pn

= =

an 1 = a1

[3

1]

= a2

[5

5]

31

= a3

[7

31]

30

247 = a4

[11

247]

210

2927 = a5

[13

2927]

2310

40361 = a6

[17

40361]

30030

716167 = a7

[19

716167]

510510

= 14117683 = a8

Demostracin:

n 1

Dado que: [Pn

an - 1]

+
n 1

Pn

an

Donde: an Natural. Para toda: n1 Aun cuando: n

n

Pn Natural

Y como:
n 1

Para todo: Pn Primo

Y como: an /
n 1

Pn
n 1

1 pn

Entonces:
n 1 P Primo

1 Racional Pn

Para toda: n1 Aun cuando: n

Aplicacin en la Demostracin de la Racionalidad de la Constante: e

Si: [(n!) . an-1 ] + [(n-1)!] = anNatural Para toda: n1 Entonces: an / (n!) = e Cuando: n

Y como: (n!) Natural Entonces: an / (n!) = e Racional Aun Cuando: n

Conclusin:

Una vez demostrado la efectividad del Teorema Principal en la resolucin de todos Y cada uno de los Problemas presentados en este breve artculo se concluye en: Proponer ante la Comunidad Cientfica su aplicacin en Problemas que presenten Alguna Analoga o caractersticas a los expuestos aqu.

Rodolfo A. Nieves Rivas

Lo Logr