Estrategia Metodolgica para la Obtencin de los Tros Pitagricos Posibles y su Demostracin a travs de un Criterio aplicado a Ternas Pitagricas Primitivas

Rodolfo A. Nieves Rivas fesol7luzley@gmail.com En este artculo se expone un mtodo que permite la obtencin de los trminos

pertenecientes a todos y cada uno de los tros pitagricos posibles, los cuales son generados por dos formulas o ecuaciones funcionales de acuerdo a su paridad (Par impar). Luego se realiza un anlisis de los resultados. Y se concluye con un criterio que garantiza y

establece las condiciones necesarias y suficientes para la caracterizacin de todos los trminos de cualquier terna pitagrica primitiva y su aplicacin a los primos gemelos y la conjetura de Golbach

Palabras claves: Mtodo; Criterio; Ternas Pitagricas Primitivas; Conjeturas

INTRODUCCION

Para abordar este tema es necesario considerar algunos resultados que se han obtenido y que son utilizados por muchos autores (Rada. 1992) (Joyce D.2005) dada su sencillez, efectividad y elegancia. Como por ejemplo: Todas las soluciones primitivas positivas de la ecuacin: a2 + b2 = c2 Se

pueden expresar de la siguiente forma: a = m2 n2; b = 2.m.n; c = m2 + n2 donde: n y m son enteros arbitrarios que cumplen con las tres condiciones siguientes: Para: Cuando: Donde: m>n>0 (m; n) = 1 m y n tienen distinta paridad

La solucin que encontr Pitgoras (Espasa 1998) es la siguiente: Si: n es un numero entero cualquiera, los tres trminos de las ternas se obtienen de la siguiente forma: El primer trmino es el doble del numero dado ms uno: a = 2.n + 1 El segundo trmino es el doble del cuadrado del nmero dado ms el doble del mismo: b = 2.n2 + 2.n Y el tercer trmino es igual al segundo trmino ms uno: c = 2.n2 + 2.n + 1 Para el desarrollo de esta estrategia metodolgica es necesario realizar una presentacin sistemtica que permita establecer una conexin dentro del anlisis descriptivo en funcin de la obtencin del objetivo planteado. La cual tiene el siguiente orden: 1.-) Presentacin de las formulas y ecuaciones funcionales generadoras de todos los trminos segn su paridad de cualquier trio pitagrico posible.

2.-) Anlisis descriptivo. Comportamiento del criterio y su aplicacin para la deduccin de todas y cada una de las ternas pitagricas primitivas posibles. 3.-) Presentacin del mtodo para la obtencin de todos los tros pitagricos. 4.-) Presentacin de la tabla general de resultados. 5.-) Presentacin de dos tablas de resultados de tros pitagricos segn su paridad. (Par impar). 6.-) Conclusin y Recomendaciones; Aplicacin a prueba de primalidad. (Nieves R.2009) y la conjetura de los primos gemelos. (Nieves R.2011) y Presentacin del criterio Presentacin de las Formulas y Ecuaciones Funcionales Generadoras de Todos y Cada uno de los Tros Pitagricos Posibles.

Formulas y Ecuaciones funcionales segn su Paridad: Para: a = N = Numero entero positivo Impar. Entonces: N = a Cuando: (N2 - 1) / 2 = b Donde: ((N2 - 1) / 2) + 1 = c (Primer Trmino) (Segundo Trmino) (Tercer Trmino)

Para: a = N = Numero entero positivo par. Entonces: N = a Cuando: (N2 - 4) / 4 = b Donde: ((N2 - 4) / 4) + 2 = c (Primer Trmino) (Segundo Trmino) (Tercer Trmino)

Anlisis Descriptivo y Comportamiento del Criterio y Deduccin de las Ternas Pitagricas Primitivas. 72 = 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25

Comentario: El esquema anterior describe la Descomposicin en Dos Sumandos de cualquier Cuadrado cuya base sea un Nmero Impar.

Anlisis Descriptivo y Deducciones de la Descomposicin en Dos Sumandos de Cualquier Nmero Impar Elevado al Cuadrado.

72

= 1 2 3 4 5 . .

49 48 47 46 45 44 . . . 29 . 25 = = . 49 37 = . 49 49

25

12 .

20 .

24

Anlisis Descriptivo del Criterio. 72 = 1 2 3 4 5 . . 25 12 . 9 20 . 1 24 . b 49 48 47 46 45 44 . . 37 . 29 . 25 . c a2 + b2 = c2 49 . 49 . 49 72 + 242 = 252 212 + 202 = 292 352 + 122 = 372

Comentario: En este desarrollo y anlisis del criterio se puede observar y deducir que los trminos de toda terna primitiva se obtienen de la siguiente forma: Los trminos (b y c) Se encuentran o determinan en las columnas de la descomposicin de cualquier cuadrado de nmero impar cualquiera en dos sumandos y el termino: (a) se obtiene con el producto de las races cuadradas de las diferencias y la suma de los trminos de las columnas de la descomposicin: (c b). (b + c) = a

Mtodo para Obtener Todos los Tros Pitagricos Posibles:

Basado: En las formulas y ecuaciones funcionales.

Primer paso: Se colocan en forma vertical todos los nmeros naturales. Desde: El numero 1 hasta: El numero N. 1 2 3 4 5 6 . . . N

Segundo paso: Se elevan todos al cuadrado.

12 22 32 42 52 62 . . . N2

Tercer paso: Se coloca una segunda columna de forma vertical y paralela a la primera aplicando la formula correspondiente segn y de acuerdo a la paridad de cada trmino de la primera columna y cada termino o resultado tambin se eleva al cuadrado.

12 22 32 42 52 62 . . . N2

+ + + + + +

02 02 42 32 122 82 . . . b2

Observacin: Los trminos de la segunda columna se obtienen segn la paridad del trmino correspondiente de la primera columna.

Cuarto paso: Se colocan de forma vertical los trminos de una tercera columna aplicando las formulas correspondientes de acuerdo a la paridad y se elevan al cuadrado luego de ser separados por el signo ms y el signo de igualdad obteniendo de esta forma todos los tros pitagricos posibles.

12 22 32 42 52 62 . .

+ + + + + +

02 02 42 32 122 82 . .

= = = =

12 22 52 52

= 132 = 102

. N2 +

. b2 = c2

a2

b2

c2

Ecuacin de Pitgoras

Presentacin del Criterio.

Criterio: Para que un trio pitagrico sea una terna pitagrica primitiva; Solo es necesario y suficiente que: El segundo trmino sea un numero par cuando el tercer trmino sea un nmero impar; donde adems la suma y la diferencia de ambos trminos sean un cuadrado exacto y el primer trmino sea el producto de las bases de ambos cuadrados.

Criterio: Para que: a2 + b2 = c2 sea una terna pitagrica primitiva. Solo es necesario y suficiente: Que: (c b) = x2 (Un cuadrado exacto)

Cuando: (c + b) = y2 (Un cuadrado exacto) Para: c = Nmero impar (Tercer trmino)

Cuando: b = Nmero par (Segundo termino) Donde: a = x.y (Primer trmino)

Tabla General de Resultados

12 22 32 42 52 62 . .

+ + + + + +

02 02 42 32 122 82 . .

= = = =

12 22 52 52

(Trivial) (Trivial) (Primitiva) (Primitiva Permutada) (Primitiva) (No Primitiva)

= 132 = 102

. N2 +

. b2 = c2

Dos Tablas de Resultados Segn la Paridad (Impar y Par)

Ejemplos Impares:

12

02

12

(Trivial)

32

42

52

(Primitiva)

52

122

= 132

(Primitiva)

Ejemplos Pares:

22

02

22

(Trivial)

42

32

52

(Primitiva Permutada)

62

82

= 102

(No Primitiva)

Comentario: Separar el resultados segn la paridad permite descartar las ternas no primitivas de las que si son primitivas. Por las condiciones del criterio.

Discusin y Recomendaciones:

Ejemplo de aplicacin: Teorema:

Si: n = Pi + PJ Cuando: Pi y Pj pertenecen a los nmeros primos Donde: Pj - Pi = 2 Entonces: n / 2 = x Para que: (x2 + 1)2 = a2 Cuando: Si y solo si: Cuando: Entonces: Cuando: a2 - b2 = c2 b = n (x2 - 1)2 = c2 (x2 + 1) = a (x2 - 1) = c

Tabla de Resultados y Visualizacin del Teorema:

Pi

Pj

a2

b2

c2

3 5 11

+ + +

5 7 13

= = =

8 12 24

172 372 1452

82 122 242

= = =

152 352 1432

Teorema: Si los valores para las: c son infinitos. Entonces: Los primos gemelos son infinitos. (Vase la tabla para ejemplos pares)

Comentario: Aplquese la siguiente ecuacin general:

Si: ((PI + PJ)/2)2 + ((PJ PI)/2)2))2 - (((PI + PJ). (PJ PI))/2)2 Donde: (((PI + PJ)/2)2 + ((PJ PI)/2)2))2 = Cuando: Para: (((PI + PJ). (PJ PI))/2)2 = (PI.PJ)2 =

(PI. PJ)2

a2 (Primer trmino) b2 (Segundo trmino) c2 (Tercer trmino)

Donde: Pi Pj (Pertenecientes a los nmeros primos impares.)

Teorema:

Si: Cuando: Entonces: Y si: Entonces: Donde: Cuando:

(a + b) pertenece a los nmeros primos. (a - b) pertenece a los nmeros primos. (a2 - b2) es un semiprimo. (b / 2)2 + 1 = a (a2 b2) es producto de dos primos gemelos. (b / 2) + 1 pertenece a los nmeros primos. (b / 2) - 1 pertenece a los nmeros primos.

Teorema: Todo nmero impar se puede expresar con la diferencia de dos cuadrados

12 - 02 = 1 22 - 12 = 3 32 - 22 = 5 42 - 32 = 7 32 - 02 = 52 - 42 = 9 62 - 52 = 11 72 - 62 = 13 42 - 12 = 82 - 72 = 15 92 - 82 = 17 102 - 92 = 19 52 - 22 = 112 - 102 = 21 122 - 112 = 23 52 02 = 62 - 32 132 - 122 = 25 = 142 - 132 = 27 152 - 142 = 29 162 - 152 = 31 72 - 42 62 - 12 = = 172 - 162 = 33 182 - 172 = 35 192 - 182 = 37 82 - 52 = 202 - 192 = 39 212 - 202 = 41 222 - 212 = 43

72 - 22 =

92 - 62

232 - 222 = 45 242 - 232 = 47

72 - 02

= 102 - 72

= 252 - 242 = 49 = 262 - 252 = 51 272 - 262 = 53 82 - 32 112 - 82 = 282 - 272 = 55 = 292 - 282 = 57 302 - 292 = 59 312 - 302 = 61

82 - 12 92 - 42 =

122 - 92 =

322 - 312 = 63 332 - 322 = 65 342 - 332 = 67

132 - 102 = 352 - 342 Criterio:

= 69

Toda diferencia de cuadrados de la forma: (n + K)2 - k2 Es un semiprimo de la forma: n2 + 2.n.K Si y solo si: n pertenece a los nmeros primos Cuando: (n + 2.K) pertenece a los nmeros primos

Demostracion: Dado que: (n + K)2 k2 = n2 + 2.n.K Para toda: K0 Dond: n1 Cuando: n es mayor que: K

Y como: n2 + 2.n.K = n(n + 2.K) Entonces: n(n + 2.K) es un semiprimo Si y solo si: n pertenece a los nmeros primos Cuando: (n + 2.K) pertenece a los nmeros primos Y como: Se cumple para toda: n1 Donde: K0 Cuando: n es mayor que: K Entonces: Todo semiprimo es igual a la diferencia de dos cuadrados

Comentario: Como todo nmero impar se puede expresar con la diferencia de dos cuadrados Y todo semiprimo producto de dos nmeros primos impares Es un nmero impar Entonces todo semiprimo se puede expresar con la diferencia de dos cuadrados Y como el menor nmero primo impar es el tres Entonces todo semiprimo es la diferencia de dos cuadrados para toda: n3 Y como todo semiprimo es la diferencia de dos cuadrados de la forma: (n + K)2 - k2 Para toda: n3 Cuando: K0 Si y solo si: n pertenece a los nmeros primos Cuando: (n + 2.K) tambin pertenece a los nmeros primos Y como: los semiprimos son infinitos Dado que: Los nmeros primos son infinitos Entonces: Para toda: n perteneciente a los nmeros primos Existen infinitas: (n + 2.K) tambin pertenecientes a los nmeros primos Donde: n3

Cuando: K0 Por lo tanto: La conjetura de Polignac es cierta Dado que: Todo lo anterior se cumple para toda: K0 Y como tambin se cumple cuando: K = 1 Entonces: Los primos gemelos son infinitos Y como: Todo semiprimo se puede expresar con la diferencia de dos cuadrados Para toda: n3 Entonces: Las conjeturas de Golbach son ambas ciertas

Teorema: Todo nmero primo impar se puede expresar de forma nica con la diferencia de dos cuadrados consecutivos. Corolario: Todo libre de cuadrado de (n) factores; se puede expresar con la diferencia de dos cuadrados de: 2n-1 formas distintas. Corolario: Todo semiprimo se puede expresar de dos formas distintas con la diferencia de dos cuadrados.

Teorema: Siempre existe: m < n Para toda: n I Tal que: n m = I Donde: I es cualquier nmero impar. Teorema: Siempre existe: m < n Para toda: n I Tal que: n + m = I Donde: I es cualquier nmero impar

Teorema: I = n2 m2 Teorema: I = Pi . Pj Teorema: n2 m2 = Pi . Pj Teorema: (n + m). (n m) = Pi

.

Pj

Teorema: (n + m) + (n m) = 2.n = Pi .Pj Teorema: Si para toda: n Siempre existe: m Tal que: n2 m2 = Pi
.

Pj

Donde: Pi y Pj son ambos nmeros primos impares Entonces: La conjetura de Golbach es cierta.

Teorema Principal:

n=n Si:

n=K =

n=n + n=K+1 K= Constante

2.n - 1
n=1

2.n - 1
n=1

2.n - 1

Para toda: n 1 Cuando: K 0 n=n Entonces: n=K n=n =

2.n - 1
n=1

2.n - 1
n=1

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

Demostracion de las Conjeturas Par Impar de Golbach por Reduccin:

n=n Dado que: n2 =

2.n 1
n=1

Para toda: n 1

n=K Y como: K2 =

2.n 1
n=1

Para toda: K 0

n=n Entonces: n2 - K2 =

n=K -

2.n 1
n=1 n=K -

2.n 1
n=1 n=n =

n=n Donde:

2.n 1
n=1

2.n 1
n=1

2.n - 1
n=K + 1

Para toda: n1 Cuando: K 0

n=n Entonces: n2 - K2 =

2.n - 1
n=K+1

Y como:

n2 - K2

= (n K). (n + K)

n=n Entonces: n2 - K2 =

2.n - 1
n=K+1

= Semiprimo

Si y solo si: (n + K) es el termino central de:

n=n

2.n - 1
n=K+1

= Semiprimo

Cuando: (n - K) es los nmeros de trminos de:

n=n

2.n - 1
n=K+1

= Semiprimo

Donde:( n K) pertenece a los nmeros primos.

Cuando:( n + K) pertenece a los nmeros primos.

Teorema:

Si:

n = Ii + K

Cuando: n = Ij - K Entonces: 2.n = Ii + Ij Y como: (n K) (n + K) = Ii . Ij = n2 - K2 Para toda: n 3 Cuando: K0 Donde: n < K Entonces: Ij (n K) n (n + K) Ii Para todo: Nmero impar: Ij Y todo: Nmero impar: Ii

Teorema: Para todo: Nmero impar de la forma: Ii.Ij Siempre existen: dos nmeros de la forma: (n K) y (n + K) Tal que: (n K) = Ii Cuando: (n + K) = Ij Para toda: n > K Donde: Ii es cualquier nmero impar Cuando: IJ es cualquier nmero impar. Entonces: (n K)(n + K) = n2 K2 = Ii . Ij

Teorema: Todos los mltiplos impares menores de cualquier nmero impar al Cuadrado se pueden expresar con la diferencia de dos cuadrados.

22 - 12 = 3 32 - 02 = 9

32 - 22 = 5 42 - 12 = 15 52 - 02 = 25

42 - 32 = 7 52 - 22 = 21 62 - 12 = 35 72 - 02 = 49

Teorema Principal de Existencia:

Para toda: n 3 Siempre existen: (n) nmeros menores e igual a: n2 Comprendidos entre: 2.n 1 y n2 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) = n2 - K2 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:

n2 - K2 72 - 02 72 - 12 72 - 22 72 - 32 72 - 42 72 - 52 72 - 62

= ( n K ).( n + K ) = Productos = = = = = = = 7 6 5 4 3 2 1 . . . 7 8 9 = = = = = = = 49 48 45 40 33 24 13

2.n = ( n K ) + ( n + K ) = Sumas 7 6 5 4 3 2 1 + + + 7 8 9 = 14 = 14 = 14 = 14 = 14 = 14 = 14

. 10 . . . 11 12 13

+ 10 + 11 + 12 + 13

n2 - K2 72 - 02 72 - 12 72 - 22 72 - 32 72 - 42 72 - 52 72 - 62

= = = = = = = =

(n K). (n + K) = Productos 7 6 5 4 3 2 1 . . . 7 8 9 = = = = = = = 49..= n2 48 45 40 33.= Semiprimo 24 13.= 2.n 1

. 10 . . . 11 12 13

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

Teorema: Todo ensimo numero primo: Pn se puede expresar con: (n) pares de nmeros menores e igual que: Pn tal que: La suma y la diferencia de ambos sean un numero primo.

Ejemplo:

Diferencia

(n K) = 1 K 1

3 0

Relacin:.. n Suma. 2 3 3Pn

(n + K) = 3

Ejemplo:

Diferencia

(n K) = K

1 2

3 1

5 0

Relacin:.. n Suma. 3 4 5 5 5Pn

(n + K) = 5

Ejemplo:

Diferencia

(n K) = 1 K 3

3 2

5 1

7 0

Relacin:.. n Suma. 4 5 7 6 7 7 7Pn

(n + K) = 7

Ejemplo: Diferencia: (n K) = 1 K Relacin:.. n Suma 10 9

3 8

5 7

7 6

9 5

11 4

13 3

15 2

17 1

19 0

11 19

12 19

13 19

14 19

15 19

16 19

17 19

18 19

19 19Pn

(n + K) = 19

Justificacin: Para todo ensimo numero primo impar: Pn existen (n) nmeros primos impares menores e igual que: Pn

Ejemplo: Diferencia (n K) = 1 K Relacin:.. n 10 9

3 8

5 7

7 6

9 5

11

13 4

15 3

17 2

19 1 0

11 19

12 19

13 19

14 19

15 19

16 19

17 18 19 19

19 19P7

Suma(n + K) = 19

Aplicacin: En la conjetura de Golbach Par: Dado que para todo ensimo numero primo impar: Pn existen:(n) nmeros pares que se pueden expresar con la suma de dos nmeros primos y como los primos impares son infinitos. Entonces existen infinitos nmeros pares donde la conjetura es cierta. Observacin: 2.n es suma de dos primos impares de la forma: (n K) + (n + K)

Presentacin de Criterios de Primalidad

Criterio 1: Para toda: n Existen infinitas progresiones aritmticas de razn: 2.n + 1 Donde: El primer termino sea: 2.n2 + 2.n + 1 Las cuales: No expresan infinitos nmeros positivos de la forma: K Tal que: 2.K 1 es un nmero primo impar.

Criterio 2: Para toda: n Existen infinitas progresiones aritmticas de razn: 2.n + 1 Donde: El primer termino sea: 2.n2 + 2.n Las cuales: No expresan infinitos nmeros positivos de la forma: K Tal que: 2.K + 1 es un nmero primo impar.

Referencias

[1]Rada S. Temas de Matematicas.Elementales. (Aritmtica).Cenamec.1992.Caracas.pag.42-44 [2]Joyce.D 2005 (Consulta en Internet el 3/11/2011) [3]Enciclopedia temtica Espasa.1998.Espaa.pag.459-460 [4]Nieves Rivas.R. Prueba de Primalidad.XVIII Jornadas de Investigacin y II de Postgrado. Memorias de la Unellez.Venezuela.2011.pag.216[5]Nieves Rivas R. Demostracin de una conjetura presentada en el quinto congreso de Matematicas en 1912. XIX Jornadas de Investigacion y III de Postgrado. Memorias de la Unellez.Venezuela.2011