Presenting a Diophantine functional equation to add powers

and its application to proof Beal's conjeture.

Rodolfo A. Nieves Rivas

fesol7luzley@gmail.com

En este breve artculo se presenta una Ecuacin Funcional Diofantica para sumar potencias
de distinto o igual exponente y distinta o igual base, Luego se realiza su aplicacin y
relacin en la demostracin de la Conjetura de Beal a travs del uso de Cuatro Criterios,que
permiten establecer las condiciones necesarias y suficientes para la resolucin de la
ecuacin Diofantica correspondiente a la Conjetura de Beal; concluyndose de esta forma
que la conjetura de Beal es cierta.

Palabras clave: Ecuacin funcional Diofantica; Conjetura de Beal; Criterio.

AMS: 11A51 11Y11 11A07 11A41 11B50 11N25 11T06

En este breve artculo se presenta una Ecuacin Funcional Diofantica para sumar potencias
de distinto o igual exponente y distinta o igual base, Luego se realiza su aplicacin y
relacin en la demostracin de la Conjetura de Beal a travs del uso de Cuatro Criterios,
que permiten establecer las condiciones necesarias y suficientes para la resolucin de la
ecuacin diofantica correspondiente a la Conjetura de Beal; concluyndose de esta forma
que la conjetura de Beal es cierta.

Uno de los rasgos ms importante dentro de esta investigacin consiste en la presentacin

de una ecuacin original que permite sumar potencias de distinto o igual exponente y
distinta o igual base. Es por todo lo anterior que no se duda en recomendar el estudio por
parte de la comunidad cientifica a este trabajo de investigacin.

Adems se demostrar a traves de las siguientes Cuatro Ecuaciones funcionales todas y

cada una de las distintas formas de resolucion de la ecuacin diofantica de Beal; Para el
logro del objetivo principal se demuestra la no contradiccion y la no existencia de
contraejemplos.Y se concluye con la demostracion de un Teorema analogo a dicha
conjetura, lo que permite confirmar que realmente la conjetura de Beal es cierta.

Ecuaciones funcionales:

Estas cuatro ecuaciones funcionales que se exponen a continuacin, nos permiten decidir
cundo un determinado valor, es necesario y suficiente para cumplir con las condiciones
establecidas para la resolucin de la ecuacin diofantica correspondiente a la conjetura de
Beal.

Primera ecuacin funcional:

Si: A , B y C Tienen un factor primo comun.

Entonces: Ax + By = Cz

Para: A = C

Cuando: x = y

Y adems: z = x + 1

Entonces:
Ax = (N x + 1)x

By = (N x+1 + N)x

Cz = (N x + 1)x+1

Para toda: N > 1

Y toda: x > 0
Entonces:
La Primera ecuacin funcional es:

(Nx + 1)x + (Nx+1 + N)x = (Nx + 1)x+1

Segunda ecuacin funcional:

Cuando: A , B y C Tienen un factor primo comun.

Si: Ax + By = Cz

Cuando: A = B

Y adems: x = z

Para toda: N > 0

Y toda: x > 0

Entonces:

Ax = (N x - 1)x

By = (N x - 1)x+1

Cx = (N x+1 - N)x

Entonces:

La Segunda ecuacin funcional es:

(Nx - 1)x + (Nx - 1)x+1 = (Nx+1 - N)x

Tercera ecuacin funcional:

Si: A, B, C son Primos Relativos.

Cuando: al menos uno de los exponentes: x, y, z Es menor e igual que Dos.

Entonces:
 Ax = Nx

By = ( ( ( N x / 2 ) 2 ) / 2)2

Cz = ( ( ( Nx / 2 ) + 2 ) / 2)2

Para toda: N > 0

Y toda: x > 0

Cuando: N es un entero positivo par.

Entonces:

La Tercera ecuacin funcional es:

Nx + ( ( ( N x / 2 ) 2 ) / 2)2 = ( ( ( N x / 2 ) + 2 ) / 2)2

Cuarta ecuacin funcional:

Si: A, B, C Son Primos Relativos.

Cuando: al menos uno de los exponentes: x, y, z Es menor e igual que Dos.

Entonces:

Ax = Nx

By = ( (N x 1) / 2)2

Cz = ( (N x + 1) / 2)2

Para toda: N > 0

Y toda: x > 0

Cuando: N es un entero positivo impar.

Entonces:
 La Cuarta ecuacin funcional es:

Nx + ( (N x 1) / 2)2 = ( (Nx + 1) / 2)2

Teorema anlogo:

Para toda potencia: Ax par o impar.

Siempre existe un cuadrado: By intrnseco a la misma.

Cuya base: B es Primo Relativo a la base: A de dicha potencia.

Y la suma de esta potencia con este cuadrado: Ax + By

Es igual a otro cuadrado: Cz

.
Y la base: C de este otro cuadrado es Primo Relativo a la base:

A
Y tambien a la Base:
B

de ambos sumandos.

Ax + By

Planteamiento del Problema:

El problema consiste en establecer las condiciones necesarias y suficientes para demostrar

la conjetura de Beal a travs del uso de Cuatro Criterios obtenidos del anlisis de una
Ecuacin Funcional Diofantica para sumar potencias de distinto o igual exponente y
distinta o igual base.

Conjetura de Beal:

Si : Ax + By = Cz

Cuando: A, B , C , x , y ; z son enteros positivos.

Tales que: x , y , z son todos mayores que Dos.

Entonces: A , B y C Tienen un factor primo comun.

Escolio:

Y si: A, B, C son primos relativos.

Entonces: al menos uno de los exponentes: x, y, z. Es menor e igual que Dos.

Corolario: 1

Si: Las bases de los Tres terminos de la Ecuacin de Beal; Son primos relativos.

Y adems: al menos una de las bases es un nmero positivo Impar.

Entonces: al menos uno de los exponentes es igual a Dos.

Marco Terico:

Lema: 1

Ningn nmero par divide a un nmero impar.

Lema: 2

(a)2.m = (a2 )m = (am)2

Lema: 3

Si: T = S

Entonces: (T)u . (S)v = (R)w

Si y solo si: u + v = w

Y adems: R = S = T

Lema: 4

Si: T S

Entonces: (T)u . (S)v = (R)w

 Si y solo si: u = v

Y adems: R = S . T

Presentacin de la Ecuacin Funcional Diofantica

Para sumar potencias de distinto o igual exponente y distinta o igual base:

Sea:
Ax + By = Cz = [[Ax . By ] - [[Ax - P].[By - P]] + P2 ] / P

Para:
P=1

Cuando:
Ax + By = Cz

Es la Ecuacin Diofantica de Beal.

Presentacin de los cuatro criterios

y Demostracin de la conjetura de Beal:

Primer Criterio:

Sea:
Ax + By = Cz

La Ecuacin Diofantica de Beal.

Si: P divide a:
Ax

Cuando: P es mayor e igual que: 2

Entonces:

[[-Bx . Cz] - [[-Bx - P].[Cz - P]] + P2 ]/P2 ] Z+

Y si adems:
PBy
Si y solo si:

P2 [[-Ax . Cz] - [[-Ax - P].[Cz - P]] + P2 ]

Entonces:

[[-Ax . Cz] - [[-Ax - P].[Cz - P]] + P2 ]/P2 ] Z+

Entonces:

P2 [[Ax . By ] - [[Ax - P].[By - P]] + P2 ]

Solo cuando:

[[Ax . By ] - [[Ax - P].[By - P]] + P2 ]/P2 Z+

Entonces: P es divisor com_un de:

Ax ; By ; Cz

Segundo Criterio:

Y Si:
P Ax
Cuando:

P2 [[Ax . By ] - [[Ax - P].[By - P]] + P2 ]]

Entonces:

[[Ax . By ] - [[Ax - P].[By - P]] + P2 ]]/ P2 Z+

Entonces:

P By
Entonces:

[[-Ax . Cz] - [[-Ax - P].[Cz - P]] + P2 ]/P2 ] Z+

Entonces:

Ax ; By ; Cz

Son Primos relativos.

Dado que: P

Solo divide a:
Ax

Tercer Criterio:

Y Si:

PBy

Entonces:

[[-Ax . Cz] - [[-Ax - P].[Cz - P]] + P2 ]/P2 ] Z+

Cuando:

P2 [[Ax . By ] - [[Ax - P].[By - P]] + P2 ]]

Entonces:

P Ax
Entonces:

[[-Bx . Cz] - [[-Bx - P].[Cz - P]] + P2 ]/P2 ] Z+

Entonces:

Ax ; By ; Cz
Son Primos relativos.

Dado que: P

Solo divide a:

By
Cuarto Criterio:

Y Si:

P By
Entonces: [[-A . C ] - [[-A - P].[C - P]] + P2 ]/P2 ] Z+
x z x z

Y Cuando:

P2 [[Ax . By ] - [[Ax - P].[By - P]] + P2 ]]

Entonces:

[[Ax . By ] - [[Ax - P].[By - P]] + P2 ]]/ P2

Y adems:

P Ax

Entonces:

[[-Bx . Cz] - [[-Bx - P].[Cz - P]] + P2 ]/P2 ] Z+

Entonces:

Ax ; By ; Cz

Son Primos relativos.

Dado que: P

Solo divide a:

Cz

Bases Teoricas:

Tabla 1. Esquema de Nieves:

Sobre la discriminacin de las soluciones posibles de la ecuacin diofantica de Beal:

 PI + PI = PI ; II + II = PP ; II + PI = IP
PI + PI = PP ; (II + II = PI ); IP + PI = IP
PI + PP = PI; II + IP = PI ; (II + PI = II)
PI + PP = PP; II + IP = PP; IP + PI = II
PP + PP = PP ; IP + IP = PP ; IP + PP = IP
PP + PP = PI ; IP + IP = PI ; IP + PP = II

Observacin:
El anterior Esquema indica todas y cada una de las posibles combinaciones generadas por
la Ecuacin Diofantica Correspondiente a la Conjetura de Beal.

Donde: P representa los Nmeros enteros positivos Pares.

Cuando: I representa los Nmeros enteros positivos Impares.

Cabe destacar que los trminos encerrados en parentesis indican donde realmente se
encuentran localizados todos los Tros de Trminos Verdaderos y los cuales confirman la
Veracidad de dicha Conjetura por ser estos los nicos Irreductibles parcialmente a un
Cuadrado, mientras que el resto si son reducibles a un Cuadrado.

II + PI = II (1)

Tros de Trminos irreductibles parcialmente a cuadrado.

II + II = PI (2)

Tros de Trminos irreductibles parcialmente a cuadrado.

Ejemplos de Seudosoluciones:

61865 + 95666493 = 154655

86465 + 83059243 = 144105
1482155 + 8787074493 = 2371445

Observacin: En los anteriores ejemplos existe al menos la base de uno de los terminos
reducible a un cuadrado y es por esto que se les considera seudoejemplos.

Cabe destacar que sobre el anlisis realizados a los resultados obtenidos , estos nos indican
que los mismos estn estrechamente vinculados con el teorema de Preda Mihailescu o la
demostracin de la conjetura de cataln y tienen adems una propiedad intrnseca a la
conjetura de Fermat-Cataln pero para ejemplos de soluciones transformables a un
cuadrado o seudosoluciones por no cumplir con la condicin que esta establece sobre los
exponentes y estas vendrn a ser los generadores de las soluciones verdaderas y correctas
pues las soluciones exactas y no reducibles a cuadrados obtenidas en esta investigacin son
sumamente difciles de determinar dada su complejidad para los cuales presentamos dos
ejemplos de soluciones infinitas a continuacin:
Ejemplo:

(33 )n + (2;3n )3 = 33.n+2

Para toda: n Impar.

Cuando la Ecuaci_on generadora es:

13 + 23 = 32
Otro ejemplo:

(91.133 )3 + (104.13n )3 = 132.m+5

Para toda: n Par

Cuando:

m=n+ n/2

Cuando la Ecuacin generadora es:

83 73 = 132

Estos generadores se obtienen de la solucin general de

la siguiente Ecuacin diofantica.

xn yn = z2

Cuando: n 3

Si:
n = 2:m + 1

Para toda: m 1
Reduccin:

Teorema anlogo a la conjetura de Beal.

Teorema: F.C.M.B.N.

Si: x ; y ; z

Son todos nmeros enteros positivos impares.(Por condicin)

Cuando:
A;B;C

Son Dos Nmeros impares y uno de ellos es par. (Por definicin)

Y adems:
A;B;C

ninguno sea un Cuadrado.(Por condicin)

Entonces:
A;B;C

Tienen un factor Primo en comn. (Por analoga)

Cuando:
Ax + By = Cz

Es la Ecuacin Diofantica correspondiente a la conjetura de Beal.

Escolio:(Vase: Tabla: 1)
Las condiciones y la definicin vienen fundamentadas en el esquema o discriminante de
Nieves. (Por el Lema: 2) y las Ecuaciones: (1) y (2)
Y todo lo anterior nos permite realizar la Reduccin y establecer la Analoga con la
Conjetura de Beal.

Demostracin del Teorema: F.C.M.B.N.

Si: Existe un factor comn:

Entonces:

El mismo tiene que ser un nmero positivo impar. (Por el Lema: 1)

Si: Existe un factor comn de la forma:

cm

Cuando: m es impar.

Entonces: Tiene que existir una Ecuacin cociente resultante

de la forma:

am + bm = cn
tal que:

am . cm + bm . cm = cn . cm

Para que:

am . cm = Ax

bm . cm = By

cn . cm = Cz
Entonces:

Ax + By = Cz = am . cm + bm . cm = cn . cm
Y como:

am . cm + bm . cm = cn . cm = (a . c)m + (b . c)m = cm+n

Lo que nos conduce a: n es par.

Para que:
n+m

sea igual a impar. (Por los Lemas: 2 ; 3 y 4)

Cuando: m es impar.

Y en consecuencia: La conjetura de Beal es cierta.

Dado que:
A = (a:c)

B = (b:c)

C = (c)
Tienen un factor comn: c

Cuando:

x=m
es impar
y=m
es impar
z=n+m
es impar

Son Todos impares.

Y si: Existe un factor comn:

Entonces:

El mismo tiene que ser un nmero positivo impar. (Por el Lema: 1)

Si: Existe un factor com_un de la forma:

am

Cuando: m es impar

Entonces: Tiene que existir una Ecuacin cociente resultante

de la forma:

an = cm bm

Tal que:
an:am = cm:am bm:am

Para que:

an:am = Ax
cm:am = CZ
bm:am = B
Entonces:

an:am = cm:am bm:am = an+m = (c:a)m (b:a)m

Y como:

Ax = CZ BY = an:am = cm:am bm:am

Lo que nos conduce a: n es par.

Para que:

n+m

sea igual a impar. (Por los Lemas: 2 ; 3 y 4)

Cuando: m es impar.

Y en consecuencia: La conjetura de Beal es cierta.

Dado que:

A = (a)

B = (b.a)

C = (c.a)

Tienen un factor comn:

Cuando:
x=n+m
y=m
z=m
Son Todos impares.

Y si: Existe un factor comn:

Entonces:

El mismo tiene que ser un nmero positivo impar. (Por el Lema: 1)

Si: Existe un factor comn de la forma:

Bm

Cuando: m es impar.

Entonces:

Tiene que existir una Ecuaci_on cociente resultante

de la forma:

bn = cm am

Tal que:

bn:bm = cm:bm am:bm

Para que:
bn:bm = Bx
cm:bm = CZ
am:bm = AX

Entonces:

Ax + BY = CZ = am:bm + bn:bm = cm:bm

Y como:

am:bm + bn:bm = cm:bm = (a:b)m + bn+m = (c:b)m

Lo que nos conduce a: n es par.

Para que: n + m sea igual a impar. (Por los Lemas: 2 ; 3 y 4)

Cuando: m es impar.

Y en consecuencia: La conjetura de Beal es cierta.

Dado que:

A = (a.b)

B = (b)

C = (c.b)

Tienen un factor comn: b

Cuando:
x = m es impar
y = m + n es impar
z = m es impar
Son Todos impares.

Observacin: El significado de: F.C.M.B.N.

Son las iniciales de los apellidos de quienes abordaron esta lnea de investigacin.
Conclusin:

Una vez analizada la relacin entre la ecuacin funcional diofantica y los cuatro criterios
estos nos permiten establecer las condiciones suficientes y necesarias para demostrar que
realmente la conjetura de Beal es cierta conducindonos todo lo anterior hacia la siguiente
conclusin.

Discriminantes o Criterios de Identidad de Nieves:

Si y solo si:

[Ax=Cz] [Ax=By] = 1
[Cz=Ax] [By=Ax] = 1
22
[Cz=By] [Ax=By] = 1
[Ax=Cz] + [By=Cz] = 1
Entonces:

Ax + By = Cz
Es la Ecuacin de Beal.

La no existecia de contraejemplos:

Demostracin apaggica:

Si:
Ax + By = Cz

Es la Ecuacin de Beal.

Para:
x; y; z
Todos enteros distintos y positivos Impares.

Si: Existe un factor comn:

Entonces:

El mismo tiene que ser un nmero positivo impar. (Por el Lema: 1)

Si: Existe un factor comn de la forma:

cn

Cuando: n es impar.
Entonces: Tiene que existir una Ecuacin cociente resultante.

de la forma:

am1 + bn = cm2
Cuando:

m 1 6= m 2
Y ademas:

n 6= m 2
Y de igual forma:

n 6= m 1
Para:

b
par.

Cuando:

a=c

Son ambos impares.

Si y solo si:
m1
Y ademas:

m2

Son ambos pares.

Tal que:

am 1 . cn + bn . cn = cm2 . cn
Para que:

Ax = am1 . cn

By = bn . cn

Cz = cm2 . cn

Entonces:

Ax + By = Cz = am1 . cn + bn . cn = cm 2 . cn
Y como:

am1 . cn + bn . cn = cm2 . cn = (a. c)n+m1 + (b . c)n = cn+m2

Lo que nos conduce a:

es impar

Para que:

n + m1

sea igual a un nmero entero positivo impar. (Por los Lemas: 2 ; 3 y 4)

Y en consecuencia: La conjetura de Beal es cierta.

Dado que:

A = (a.c)

B = (b.c)

C = (c)

Tienen un factor comn:

c
Cuando:

x = m1 + n

es impar.

y=n
es impar.

z = m2 + n

es impar.

Son Tres exponentes distintos y todos impares.

Y si: Existe un factor comn:

Entonces:

El mismo tiene que ser un numero positivo impar. (Por el Lema: 1)

Si: Existe un factor com_un de la forma:

an
Cuando:
n
es impar.

Entonces: Tiene que existir una Ecuacin cociente resultante

de la forma:

am1 + bn = cm2

Tal que:
am1 . an + bn . an = cm2 . an

Para que:

Ax = am 1 . an

By = bn . an

Cz = cm 2 . an
Entonces:

Ax + By = Cz = am1 . an + bn . an = cm 2 . an
Y como:

am 1 . an + bn . an = cm2 . an = (a)m1 + n + (b.a)n = (c.a) m2 + n

Lo que nos conduce a:

n
es impar
Para que:

n + m1

sea igual a un nmero entero positivo impar. (Por los Lemas: 2 ; 3 y 4)

Y adems:

n + m2

sea igual a un nmero entero positivo impar. (Por los Lemas: 2 ; 3 y 4)

Y en consecuencia: La conjetura de Beal es cierta.

Dado que:
A = (a)
B = (b.a)
C = (c.a)
Tienen un factor comn:
a
Cuando:
x = m1 + n
es impar
y=n
es impar
z = m2 + n
es impar

Son Tres exponentes distintos y todos impares.

Dado que:

n + m2 n + m1 n

Por lo que se concluye que no existen contraejemplos en la Ecuacin Diofantica de Beal,

Cuando los Tres exponentes son Todos distintos y adems impares. Conduciendonos todo
lo anterior en afirmar que la Conjetura de Beal es cierta.
Referencias:

[1] K. Raja Rama Gandhi, Reuven Tint.Proof of Beal^A_s conjecture. Bulletin of

Mathematical Sciences and Applications.Vol. 2. N^Ao 3.U.S.A. 2013. pp.61-64.

[2] Nieves R. Rodolfo Demostracion de una conjetura presentada en el Quinto Congreso

Internacional de Matematicas en 1.912.Memorias XIX Jornadas Tecnicas de Investigacion
y III de Postgrado.Unellez. Ed, Horizontes. Venezuela, 2011.pp.123-128.

[3] Nieves R. Rodolfo Prueba de primalidad.Memorias de las XVIII jornadas tecnicas de

investigacion y II de postgrado;Unellez.Ed,Horizontes.Venezuela,2009.pp.216-220.

[4] Nieves R. Rodolfo La conjetura de Beal es cierta.Memorias de las XXI jornadas

tecnicas de investigacion y V de postgrado;Unellez.Ed, Horizontes.Venezuela,2015.pp.125-
132.

[5] Nieves R. Rodolfo Dos criterios y su aplicacion a un problema NP- completo.Memorias

de las XX jornadas tecnicas de investigacion y IV de postgrado; Unellez.Ed,
Horizontes.Venezuela, 2013.pp.88-94

[6] Yuri Matiyasevich , Enumerable sets are Diophantine , Soviet Mathematics , 1970 , No.
2 Pp.354 -357.

[7] Quintero Roy. El ultimo teorema de Fermat Universidad de los Andes Merida
Venezuela; Consejo de publicaciones.2007.

Consulta bibliogra_ca de Internet:

[8]http://gsjournal.net/Science-Journals/Research20Papers
Mathematics20and20Applied20Mathematics/Download/5102

[9]http://gsjournal.net/Science
Journals/Papers/Author/1435/Rodolfo20A.,20Nieves20Rivas

(Consultada el 26/03/2017)