Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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.
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
Y toda: x > 0
Entonces:
La Primera ecuacin funcional es:
Si: Ax + By = Cz
Cuando: A = B
Y adems: x = z
Y toda: x > 0
Entonces:
Ax = (N x - 1)x
By = (N x - 1)x+1
Cx = (N x+1 - N)x
Entonces:
Entonces:
Ax = Nx
By = ( ( ( N x / 2 ) 2 ) / 2)2
Cz = ( ( ( Nx / 2 ) + 2 ) / 2)2
Y toda: x > 0
Entonces:
Nx + ( ( ( N x / 2 ) 2 ) / 2)2 = ( ( ( N x / 2 ) + 2 ) / 2)2
Entonces:
Ax = Nx
By = ( (N x 1) / 2)2
Cz = ( (N x + 1) / 2)2
Y toda: x > 0
Entonces:
La Cuarta ecuacin funcional es:
Teorema anlogo:
A
Y tambien a la Base:
B
de ambos sumandos.
Ax + By
Conjetura de Beal:
Si : Ax + By = Cz
Corolario: 1
Si: Las bases de los Tres terminos de la Ecuacin de Beal; Son primos relativos.
Marco Terico:
Lema: 1
Lema: 2
Lema: 3
Si: T = S
Si y solo si: u + v = w
Y adems: R = S = T
Lema: 4
Si: T S
Y adems: R = S . T
Sea:
Ax + By = Cz = [[Ax . By ] - [[Ax - P].[By - P]] + P2 ] / P
Para:
P=1
Cuando:
Ax + By = Cz
Primer Criterio:
Sea:
Ax + By = Cz
Si: P divide a:
Ax
Entonces:
Y si adems:
PBy
Si y solo si:
Entonces:
Entonces:
Solo cuando:
Ax ; By ; Cz
Segundo Criterio:
Y Si:
P Ax
Cuando:
Entonces:
Entonces:
P By
Entonces:
Ax ; By ; Cz
Dado que: P
Solo divide a:
Ax
Tercer Criterio:
Y Si:
PBy
Entonces:
Cuando:
Entonces:
P Ax
Entonces:
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:
Entonces:
Y adems:
P Ax
Entonces:
Entonces:
Ax ; By ; Cz
Dado que: P
Solo divide a:
Cz
Bases Teoricas:
Observacin:
El anterior Esquema indica todas y cada una de las posibles combinaciones generadas por
la Ecuacin Diofantica Correspondiente a la Conjetura de Beal.
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)
II + II = PI (2)
Ejemplos de Seudosoluciones:
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:
13 + 23 = 32
Otro ejemplo:
Cuando:
m=n+ n/2
83 73 = 132
xn yn = z2
Cuando: n 3
Si:
n = 2:m + 1
Para toda: m 1
Reduccin:
Teorema: F.C.M.B.N.
Si: x ; y ; z
Cuando:
A;B;C
Y adems:
A;B;C
Entonces:
A;B;C
Cuando:
Ax + By = Cz
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.
Entonces:
cm
Cuando: m es impar.
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:
Para que:
n+m
Cuando: m es impar.
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
Entonces:
am
Cuando: m es impar
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:
Y como:
Para que:
n+m
Dado que:
A = (a)
B = (b.a)
C = (c.a)
Cuando:
x=n+m
y=m
z=m
Son Todos impares.
Entonces:
Bm
Cuando: m es impar.
Entonces:
de la forma:
bn = cm am
Tal que:
Entonces:
Cuando: m es impar.
Dado que:
A = (a.b)
B = (b)
C = (c.b)
Cuando:
x = m es impar
y = m + n es impar
z = m es impar
Son Todos impares.
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.
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.
Entonces:
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
Si y solo si:
m1
Y ademas:
m2
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:
es impar
Para que:
n + m1
Dado que:
A = (a.c)
B = (b.c)
C = (c)
c
Cuando:
x = m1 + n
es impar.
y=n
es impar.
z = m2 + n
es impar.
Entonces:
an
Cuando:
n
es impar.
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:
n
es impar
Para que:
n + m1
Y adems:
n + m2
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
Dado que:
n + m2 n + m1 n
[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.
[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)