Sobre la caracterizacin de dos ecuaciones generadoras de tros de trminos pertenecientes a la conjetura de Beal.

Rodolfo A. Nieves Rivas fesol7luzley@gmail.com

Resumen.

En este breve artculo se presentan dos ecuaciones para la representacin cannica de los trminos correspondientes a casos particulares y obtencin de los tros de la ecuacin de la conjetura de Beal. Luego se establece su caracterizacin y se concluye con algunos ejemplos que nos permiten visualizar el comportamiento y sentar las bases que nos garanticen la resolucin definitiva de dicha conjetura.

Palabras clave: Representacin cannica; Caracterizacin; Tros de Beal.

Introduccin: Desde que se conoce el teorema de Pitgoras con su ecuacin caracterstica y los diferentes mtodos para la obtencin de sus ternas o tros pitagricos primitivos y luego con el surgimiento del estudio de las ecuaciones Diofanticas, as como el intento de generalizacin de la ecuacin de Pitgoras a exponentes mayores que Dos por parte de Fermat y los resultados presentados por Matiyasevich en lo concerniente al dcimo problema de Hilbert. Y adems con la solucin presentada por Andrew Wiles con sus curvas elpticas modulares al teorema de Fermat. Ahora surge otro problema al que hay que enfrentar y este problema es conocido como: La conjetura de Beal. Dado que fue: Andrew Beal quien la formul. En este breve artculo se presenta la caracterizacin y representacin cannica de Dos ecuaciones de aplicacin general y resolucin de esta conjetura. Sentando las bases que nos garantizan el avance hacia la resolucin definitiva.

Primera Caracterizacin: Teorema:1 de Beal-Nieves. Si: A = B Cuando: C = A. n 3 Tal que:

n n

A 1

A 1

Entonces la conjetura de Beal: Ax + By = Cz Es cierta Si y solo si: x = n Y adems: y = (n+1) Donde: z = n Y por tanto: An + Bn+1 = Cn

Observacin: Este teorema permite demostrar que efectivamente (A; B; C) tienen un factor comn igual a: A como lo establece la conjetura de Beal y el cual puede ser: Primo o compuesto y si es compuesto entonces el factor comn es un numero primo perteneciente a la descomposicin factorial de: A.

Ejemplos: A = 31 n=5 C = 62 B = 31 Ax + By = Cz = 315 + 316 = 625

A = 26 n=3 C = 78 B = 26 Ax + By = Cz = 263 + 264 = 783

A = 127 n=7 C = 254 B = 127 Ax + By = Cz = 1277 + 1278 = 2547

A = 63 n=3 C = 252 B = 63 Ax + By = Cz = 633 + 634 = 2523

Primera ecuacin cannica generadora de tros de Beal:

Sea: ( an 1 )n + ( an 1 )n+1 = Para toda: a2 Y toda: n2

(( an 1 ).a)n

Segunda Caracterizacin:

Sea: Ax + By = Cz La ecuacin de la conjetura de Beal. Para: A = B A B Cuando: C = c Si: an + bn = c Y adems: x = n y=n z = n+1 n3 Entonces: A = (a.c) Cuando: B = (b.c) Tal que: (a.c)n + (b.c)n = cn+1 Ax + By = Cz

Generalizacin: Sea: [a.( an + bn)]n + [b.( an + bn)]n = [an + bn] n+1 Cuando: a 2 Y adems: b 2 Para toda: n 2

Segunda Ecuacin cannica generadora de tros de Beal:

Sea: (a.c)n + (b.c)n = cn+1 Solo cuando: an + bn = c Para toda: a1 Para toda: b1 Y toda: n2

Observacin: para todo nmero primo de la forma: 4.m+1 = a2 + b2 = c Queda demostrado que: a=1 y adems: A = C = c. As como: b2 = 4.m Esto est garantizado por la demostracin de Fermat a la conjetura de: Girard.

Ejemplos: a=3 b=5 n=3 C = c = 152 A = 456 B = 760 4563 + 7603 = 1524 Ax + By = Cz

a=2 b=3 n=3 C = c = 35 A = 70 B = 105 703 + 1053 = 354 Ax + By = Cz

a=1 b=4 n=2 C = c = 17 A = 17 B = 68 172 + 682 = 173 Ax + By = Cz

a=3 b=3 n=4 C = c = 162 A = 486 B = 486 4864 + 4864 = 1625 Ax + By = Cz

Criterio y Discriminante de Nieves sobre la conjetura de Beal.

Para que sea cierto que: Ax + By = Cz Cuando: Ax + By = Cz Es la Ecuacin de Beal. Solo es necesario y suficiente que:

[A-x / C-z] - [A-x / B-y]= 1 [Cz / Ax] - [By / Ax]= 1 [Cz / By] - [Ax / By]= 1 [Ax / Cz] + [By / Cz]= 1
Ejemplos:

[1-1 / 3-2] - [1-1 / 2-3]= 1 [32 / 11] - [23 / 11]= 1 [32 / 23] - [11 / 23]= 1 [11 / 32] + [23 / 32]= 1
Observacin: el ejemplo anterior est relacionado con la conjetura de cataln presentada por Eugene charles Cataln en 1884 y demostrada por Preda Mihailescu en el 2002.

[2-5 / 3-4] - [2-5 / 7-2]= 1 [34 / 25] - [72 / 25]= 1 [34 / 72] - [25 / 72]= 1 [25 / 34] + [72 / 34]= 1
Observacin: El ejemplo anterior permite visualizar una de las condiciones cuando los tres trminos no tienen un factor comn entonces al menos uno de las exponentes es igual a: 2 y adems cabe destacar que el termino: Cz = 34 puede cambiarse por: CZ = 92

Comprobacin de los valores correspondientes a los tros de Beal; en la siguiente tabla a travs del discriminante o identidad en el criterio de Nieves.

Transformaciones z de: C 82= 26=43=641

Cz

= AX

+ By

82 = 391 + 52

Transformaciones z de: B 52= 251

2;6;3;1 1 2;1

Discriminante o Identidad de Nieves.

[A-x / C-z] - [A-x / B-y]= 1 [Cz / Ax] - [By / Ax]= 1 [Cz / By] - [Ax / By]= 1 [Ax / Cz] + [By / Cz]= 1
Comprobacin:

[39-1 / 8-2] - [39-1 / 5-2]= 1 [82 / 391] - [52 / 391]= 1 [82 / 52] - [391 / 52]= 1 [391 / 82] + [52 / 82]= 1
Transformacin:

[39-1 / 4-3] - [39-1 / 5-2]= 1 [26 / 391] - [52 / 391]= 1 [43 / 251] - [391 / 52]= 1 [391 / 641] + [52 / 43]= 1

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

32-02 =

42-12 =

52-22 = 52-02 = 62-32 =

72-42 = 62-12 = 82-52 =

12-02 22-12 32-22 42-32 52-42 62-52 72-62 82-72 92-82 102-92 112-102 122-112 132-122 142-132 152-142 162-152 172-162 182-172 192-182 202-192

= = = = = = = = = = = = = = = = = = = =

1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39

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

12-02 22-12 32-22 42-32 52-42 62-52 72-62 82-72 92-82 102-92 112-102 122-112 132-122 142-132 152-142 162-152 172-162 182-172 192-182 202-192

= = = = = = = = = = = = = = = = = = = =

1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39

Teorema 2: Dos nmeros consecutivos siempre son coprimos Teorema 3:

Si dos nmeros no dividen la suma de ambos. Entonces ambos son coprimos a la misma Teorema 4:

Toda ensima potencia cuya base sea un nmero impar primo o compuesto siempre es impar

Teorema 5:

Si las bases de los tres trminos de la ecuacin de Beal son coprimos. Y adems una de dichas bases es un nmero impar. Entonces al menos uno de los exponentes es igual a dos

Cz 12 22 32 42 52 62 72 82 92 102 112 122 132 142 152 162 172 182 192 202

= = = = = = = = = = = = = = = = = = = = =

Ax 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39

+ + + + + + + + + + + + + + + + + + + + +

By 02 12 22 32 42 52 62 72 82 92 102 112 122 132 142 152 162 172 182 192

32 = 9

52 = 25 33 = 27

CZ 300429072 210629382 1222 712 712 132

= Ax = 962223 = 762713 = 114 = 173 = 34 = 52

+ BY + 438 + 177 + 35 + 27 + 25 + 122

Aplicacin de los teoremas anteriores:

Cz 4 252 1722 12012

2

= = = = =

Ax 71 72 73 74

+ + + + +

By 3 242 1712 12002

2

Demostracin:

Ax 71 72 73 74

= = = = =

Cz 4 252 1722 12012

2

By 3 242 1712 12002

2

Observacin: Dado que: Cz siempre es impar si: C es impar para toda: z Entonces por el teorema principal la Conjetura de Beal es Cierta por el teorema: 5 Y adems: Ax siempre es impar para toda: x Si y solo si: A es un nmero Primo impar as como adems: x es tambin impar. Y las transformaciones son posibles cuando: Ax es una potencia de un nmero primo o un libre de cuadrado.

Cz 52 412 3652 32812

= = = = =

Ax 91 92 93 94

+ + + + +

By 42 402 3642 32802

Demostracin:

Ax 32=91 34=92 36=93 38=94

= = = = =

Cz 52 412 3652 32812

By 42 402 3642 32802

Transformaciones de trminos:
CZ 12 22 32 42 32 = 62 72 42 = 92 102 52 = 122 132 62 = 152 162 72 = 182 192 82 = = = = = = = = = = = = = = = = = = = = = = Ax 11 31 51 71 32 111 131 151 171 191 211 231 52 33 291 311 331 351 371 391 + + + + + + + + + + + + + + + + + + + + + BY 02 12 22 32 02 52 62 12 82 92 22 112 122 32 142 152 42 172 182 52 z 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 x 1 1 1 1 2 1 1 1 1 1 1 1 2 3 1 1 1 1 1 1 y 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2

Anlisis de las transformaciones posibles en general:

Transformaciones de: CZ

42 = 24 = 161

32 =

CZ 12 22 32 42 62 72

42 = 24 92 = 34 = 811

42 = 92 102 52 = 122 132 62 = 152 162 72 = 182

16 = 4 = 2

= = = = = = = = = = = = = = = = = = =

Ax 11 31 51 71 32 111 131 151 171 191 211 231 52 33 291 311 331 351

+ + + + + + + + + + + + + + + + + + +

BY 02 12 22 32 02 52 62 12 82 92 22 112 122 32 142 152 42 172

z 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2

x 1 1 1 1 2 1 1 1 1 1 1 1 2 3 1 1 1 1

y 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2

8 = 2 =4 =64

192 = 371 + 182 = = 391 + 52

2 1 2 2 1 2

Transformacin con ejemplos triviales:

CZ

CZ

CZ 12 22 32 42 62 72

= = = = = = =

32 =

42 = 92 = 102 = 52 = 52 = 62 = 152 = 162 = 72 = 6

2

122 = =

= 192 = 8
2

Ax 11 31 51 71 91 111 131 151 171 191 211 231 251 271 291 311 331 351 371 391

+ + + + + + + + + + + + + + + + + + + + +

BY 02 12 22 32 02 52 62 12 82 92 22 112 02 32 142 152 42 12 182 52

Cz 12 22 32 42 52 62 72 82 92 102 112 122 132 142 152 162 172

= = = = = = = = = = = = = = = = = =

Ax 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33

+ + + + + + + + + + + + + + + + + +

By 02 12 22 32 42 52 62 72 82 92 102 112 122 132 142 152 162

Resultados:

En la ecuacin perteneciente a la conjetura de Beal necesariamente al menos uno de los tres trminos es un nmero impar primo o compuesto.Y dado que si la suma es par necesariamente los otros dos trminos o son ambos impares o ambos pares y si son ambos pares el factor comn es dos y si son ambos impares o al menos uno es impar la suma es par o impar respectivamente y si es impar. Entonces la conjetura de Beal es cierta por todo lo anterior.

Conclusin: Y como los cuatro criterios anteriores son identidades esto permite la generalizacin de los resultados conducindonos hacia la demostracin definitiva de la conjetura de Beal y asegurar que la misma es cierta.

Referencias: [1] K. Raja Rama Gandhi; Reuven tint. Proof of Beals conjeture; Bulletin of mathematical sciences & applications, vol. 2 ;N 3. Estados Unidos 2013.pp.61-64. [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,20011.pp.123-128.

Nota: Tercera entrega.