Conjetura de Beal

[Luis Fuentes]

Hola

[texx] 2a+2b-3a= -(a^2+4b^2-4ab)^{1/2}[/texx];
[texx]\color{red} (2b-a)^{1/2}= -(a^2+4b^2-4ab)\color{black}[/texx]. Si resolvemos esta ecuación. [texx] a=2b[/texx].
Atentamente.

Ese último paso está mal. Lo que deberías de hacer es elevar ambos términos al cuadrado quedando:

[texx](2b-a)^2=a^2+4b^2-4ab[/texx]

que es una identidad.

Y añado un comentario general: lo único que estas haciendo es partir de un sistema de ecuaciones:

[texx]a^2+b^2-ab=C^m[/texx]
[texx]a+b=T^m[/texx]

 hallar unas variables en función de las otras y luego sustituir las soluciones de nuevo en las ecuaciones. Si lo haces correctamente llegarás siempre a identidades.

Es fácil sin embargo cometer errores basados en que las ecuaciones que se obtienen son de segundo grado, con dos posibles soluciones; eso nos obliga a elegir una; esa elección condicionan que las soluciones cumplan ciertas características; si luego en las cuentas no somos coherentes con ellas, podemos llegar a aparentes contradicciones o conclusiones erróneas.

Lo que tiene que quedarte claro es que el sistema anterior al menos tiene soluciones reales, sin más que dar valores a nuestro gusto a [texx]a,b[/texx]. Entonces de ese tipo de cuentas que haces donde es indiferente que los números sean reales o enteros no puedes esperar llegar a ninguna conclusión útil.

Saludos.

[Gonzo]

Hola.
[texx] 2a+2b-3a= -(a^2+4b^2-4ab)^{1/2}[/texx];
[texx] 2a+2b-3a= (-a^2-4b^2+4ab)^{1/2}[/texx] (i);
Centrémonos en esta entidad [texx](-a^2-4b^2+4ab)^{1/2}[/texx]. Introduzcamos valores, solo obtenemos números negativos. No permitidos en las raíces cuadradas.
Si igualamos [texx](-a^2-4b^2+4ab)^{1/2}[/texx] a cero, resolvemos la ecuación,[texx] a=2b[/texx]. Es el único valor que posibilita que la entidad (i) tenga valores reales. En caso contrario [texx] 2a+2b-3a= (-N)^{1/2}[/texx], donde –N es un número negativo. No permitido en las raíces cuadradas. Por lo tanto la única opción es que ,[texx] a=2b[/texx].
Atentamente.

[Luis Fuentes]

Hola

Hola.
[texx] 2a+2b-3a= -(a^2+4b^2-4ab)^{1/2}[/texx];
[texx] 2a+2b-3a= (-a^2-4b^2+4ab)^{1/2}[/texx] (i);

No puedes meter el signo menos dentro de la raíz. Es falso que [texx]-\sqrt{x}=\sqrt{-x}[/texx].

Deberías de reflexionar sobre lo que te he dicho aquí para evitar perder el tiempo:

Lo que tiene que quedarte claro es que el sistema anterior al menos tiene soluciones reales, sin más que dar valores a nuestro gusto a [texx]a,b[/texx]. Entonces de ese tipo de cuentas que haces donde es indiferente que los números sean reales o enteros no puedes esperar llegar a ninguna conclusión útil.

Lo que quiero decir con esto es que tomando cualquier par de valores de [texx]a,b,m[/texx] (por ejemplo respectivamente [texx]2,3,5[/texx]), puedes escoger valores reales de [texx]C[/texx] y [texx]T[/texx] que cumplan las ecuaciones:

[texx]a^2+b^2-ab=C^m[/texx]
[texx]a+b=T^m[/texx]

En mi ejemplo: [texx]C=\sqrt[5]{2^2+3^2-2\cdot 3}=\sqrt[5]{7}[/texx] y [texx]T=\sqrt[5]{2+3}=\sqrt[5]{5}[/texx].

Entonces no puedes pretender que tu razonamiento anterior, donde sólo has usando transformaciones algebraicas donde no se usa para nada decisivo que los números implicados son enteros, lleven a contradicción ni imposición alguna. No puedes por ejemplo pretender deducir de esas ecuaciones (sin usar troncalmente el carácter entero de todas las variables) que [texx]a=2b[/texx], cuando tenemos ejemplos donde [texx]a[/texx] y [texx]b[/texx] toman valores cualesquiera (acabamos de ver [texx]a=2[/texx] y [texx]b=3[/texx], [texx]a\neq 2b[/texx]).

Saludos.

[Gonzo]

Hola.
[texx]A^m=a+b[/texx] (supongamos que a y b son 2 números primos);
[texx]B^m=a^2+b^2-a.b[/texx];
Consideremos que [texx]B=A+n[/texx];
[texx]((a+b)^{1/m}+n)^m=a^2+b^2-a.b[/texx];
[texx](a+b).((a+b)^{1/m}+n)^m=(a^2+b^2-a.b) (a+b) [/texx];
La expresión [texx](a^2+b^2-a.b) (a+b) [/texx] es igual a [texx]a^3+b^3[/texx].
[texx](a+b).((a+b)^{1/m}+n)^m= a^3+b^3 [/texx]; (despejamos n)
[texx] n = ((a^3 + b^3)^{1/m} - a (a + b)^{1/m} - b (a + b)^{1/m})/(a + b) [/texx];
Donde [texx] a^3+b^3=(a+b)^3-3ab(b+a) [/texx].
[texx] n = ((a+b)^3-3ab(b+a))^{1/m} - a (a + b)^{1/m} - b (a + b)^{1/m})/(a + b) [/texx];
[texx] n = ((a+b)((a+b)^2-3ab))^{1/m} – (a+b) (a + b)^{1/m}))/(a + b) [/texx];
[texx] n = ((a+b)((a+b)^2-3ab))^{1/m}/(a + b) – (a + b)^{1/m})) [/texx];
[texx] n = ((a+b)((a^2+b^2+2ab-3ab))^{1/m}/(a + b) – (a + b)^{1/m})) [/texx];
[texx] n = ((a+b)((a^2+b^2-ab))^{1/m}/(a + b) – (a + b)^{1/m})) [/texx];

Supongamos que [texx] (a + b)^{1/m} [/texx] es un número entero.
Si dividimos [texx] (a + b)^{1/m} [/texx] entre [texx] (a + b)[/texx] obtendremos un número menor que 1.
La expresión [texx] ((a+b)((a^2+b^2-ab))^{1/m}/(a + b)[/texx] para que sea igual a un número entero el número resultante de esta expresión [texx] ((a^2+b^2-ab))^{1/m}[/texx] tendría que ser igual a un número con un factor común de (a+b). Situación que no se produce si a y b son primos.
Si [texx] ((a^2+b^2-ab))^{1/m}[/texx] es igual a un número con factor común de (a+b) entonces multiplicado por [texx] (a + b)^{1/m} [/texx] podríamos obtener un número múltiplo de (a+b) con ello la n seria un número entero. Cumpliendo con la conjetura.
Pero si a y b son primos entre ellos, entonces de [texx] ((a^2+b^2-ab))^{1/m}[/texx] no resulta ningún número múltiplo de (a+b) y con ello n no es un número entero. Deduciendo que la conjetura no se cumple si a y b son primos entre si.

[Luis Fuentes]

Hola

[texx](a+b).((a+b)^{1/m}+n)^m= a^3+b^3 [/texx]; (despejamos n)
[texx]\color{red} n = ((a^3 + b^3)^{1/m} - a (a + b)^{1/m} - b (a + b)^{1/m})/(a + b) \color{black}[/texx];

Está mal despejado. Sería:

[texx]n=\dfrac{(a^3+b^3)^{1/m}}{(a+b)^{1/m}}-(a+b)^{1/m}[/texx]

Saludos.

[Gonzo]

Sea [texx] A^n=a+b[/texx] y [texx]  B^n=a^2+b^2-ab[/texx]. Siendo A, B, a y b, números enteros todos ellos primos. Todas las variables que a continuación se nombran son siempre números enteros.
Consideremos la ecuación [texx] A^n=a+b[/texx] tal que [texx] A^n=(z*m+t)+(z*ñ+j) [/texx]; Dicha expresión para ser igual a potencia cumplirá con [texx] t+j=z*s[/texx].
Consideremos la ecuación [texx] B^n=a^2+b^2-ab[/texx]  tal que [texx] B^n=(z*m+t)^2+(z*ñ+j)^2-(z*m+t)*(z*ñ+j) [/texx]. Dicha expresión para ser igual a potencia [texx] t^2+j^2-t*j=z*h[/texx].
En ambas ecuaciones todas las sumas y productos comparten factor común z, excepto [texx] t+j[/texx]  y [texx] t^2+j^2-t*j[/texx]. Supongamos que [texx]B=z[/texx] . Lanzamos el primer caso.
(i). [texx] t+j=z*s[/texx]. En este caso. Fuerza que [texx] t^2+j^2-t*j≠z*h[/texx]. Porque la suma de dos números primos no comparte factor común con el producto de aquellos. En este caso la segunda ecuación, todas las sumas y productos comparten factor común excepto [texx] 3t*j[/texx]. Esto es:
[texx] B^n=(z*m+t)^2+(z*ñ+j)^2-(z*m+t)*(z*ñ+j) [/texx];
[texx] B^n= (z*m)^2+2zmt+t^2+(z*ñ)^2+2zñj+j^2-zmzñ-zmj-tzñ-tj[/texx];
[texx] B^n= (z*m)^2+2zmt+(z*ñ)^2+2zñj-zmzñ-zmj-tzñ+t^2+j^2-tj[/texx];
[texx] B^n= (z*m)^2+2zmt+(z*ñ)^2+2zñj-zmzñ-zmj-tzñ+(t+j)^2-2tj-tj[/texx];
[texx] B^n= (z*m)^2+2zmt+(z*ñ)^2+2zñj-zmzñ-zmj-tzñ+(t+j)^2-3tj[/texx];
[texx] B^n= (z*m)^2+2zmt+(z*ñ)^2+2zñj-zmzñ-zmj-tzñ+(z*s)^2-3tj (*)[/texx];
Al principio de este caso indico que, [texx] t+j=z*s[/texx]. De donde si considero que z no pose factor común de 3. Esta última ecuación no será nunca potencia. Cierto?

[Luis Fuentes]

Hola

Sea [texx] A^n=a+b[/texx] y [texx]  B^n=a^2+b^2-ab[/texx]. Siendo A, B, a y b, números enteros todos ellos primos. Todas las variables que a continuación se nombran son siempre números enteros.
Consideremos la ecuación [texx] A^n=a+b[/texx] tal que [texx] A^n=(z*m+t)+(z*ñ+j) [/texx]; Dicha expresión para ser igual a potencia cumplirá con [texx] t+j=z*s[/texx].

Ya no sé de donde te sacas eso. No sé si [texx]z,m,ñ,s[/texx] son números enteros cualesquiera ó les exijes algo. En principio tal como está no es cierto.

Por ejemplo:

[texx]7^5=(17\cdot 401+3)+(17\cdot 587+8)[/texx]

pero [texx]8+3\neq 17\cdot s[/texx] para ningún [texx]s[/texx] entero.

Saludos.

[Gonzo]

B=z. Es decir, en el ejemplo 7 y 17 tienen que ser el mismo entero. Obviamente no lo son.

[Luis Fuentes]

Hola

B=z. Es decir, en el ejemplo 7 y 17 tienen que ser el mismo entero. Obviamente no lo son.

Si desde el principio todo lo que haces sólo es válido para [texx]z=B[/texx], ¡no uses una variable [texx]z[/texx] distinta de [texx]B[/texx]!. Desde el principo usa simplemente [texx]B[/texx] (no hables de ninguna [texx]z[/texx] que sólo aporta confusión).

Entonces tendrías que:

[texx]A^n=a+b[/texx]
[texx]B^n=a^2+b^2-ab[/texx]

y escribes [texx]a=Bm+t[/texx] y [texx]b=Bñ+j[/texx] y afirmas que de ahí se deduce que [texx]t+j[/texx] es múltiplo de [texx]B[/texx].

Sigo sin ver como pruebas esa afirmación. Lo que haces equivale a trabar módulo [texx]B[/texx], es decir;

[texx]a=t[/texx] mod [texx]B[/texx]
[texx]b=j[/texx] mod [texx]B[/texx]

Tienes:

[texx]
A^n=t+j[/texx]
[texx]t^2+j^2=tj[/texx]

Afirmas que [texx]t+j[/texx] tiene que ser [texx]0[/texx] mod [texx]B[/texx].

No veo de donde sale.

Si piensas que eso es cierto tienes que demostrarlo.

Saludos.

P.D. Además si [texx]t+j[/texx] fuese múltiplo de [texx]B,[/texx] entonces [texx]A[/texx] sería múltiplo de [texx]B[/texx] lo cual contradice que [texx]A[/texx] y [texx]B [/texx]sean coprimos.

[Gonzo]

Hola.
[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Si a y b son primos:
[texx] (a + b)^3 = a^3 + b^3 + 3 ab (a + b) [/texx]. Despejamos ab.
[texx] ab =((a + b)^3 -a^3-b^3)/3(a+b)[/texx]; [texx] ab =((a^2)b+a(b^2))/(a+b)[/texx].
a*b no será un número entero. Porque la suma de dos números primos no comparte factor común con el producto de aquellos.
Entonces [texx]  B^n[/texx]. tampoco es un número entero.
Atentamente.

[feriva]

[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Si a y b son primos:
[texx] (a + b)^3 = a^3 + b^3 + 3 ab (a + b) [/texx]. Despejamos ab.
[texx] ab =((a + b)^3 -a^3-b^3)/3(a+b)[/texx]; [texx] ab =((a^2)b+a(b^2))/(a+b)[/texx].
a*b no será un número entero. Porque la suma de dos números primos no comparte factor común con el producto de aquellos.

[texx]ab=((a^{2})b+a(b^{2}))/(a+b)
 [/texx]

[texx]\dfrac{a^{2}b+ab^{2}}{a+b}=a(\dfrac{ab+b^{2}}{a+b})=ab\Rightarrow
 [/texx]

[texx](\dfrac{ab+b^{2}}{a+b})=b
 [/texx]

[texx]ab+ab^{2}=ab+ab^{2}
 [/texx]

Hola.

Se llega a un identidad.

Siendo dos primos cualesquiera, por ejemplo 2 y 3

Editado

[texx]\dfrac{2^{2}*3+2*3^{2}}{2+3}=\dfrac{12+18}{5}=\dfrac{30}{5}=6=2*3
 [/texx] 

Saludos.

[sugata]

Tienes un error de tipeo en la última fracción. El denominador es 5

[feriva]

Tienes un error de tipeo en la última fracción. El denominador es 5

¿Estás insinuando que soy un despistado?

Voy a editar, gracias.

Saludos.

[sugata]

Tanto darle a la "tecla", en alguna te puedes equivocar

[Gonzo]

Hola.
[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] (A^{2*3})-3ab=(A^3+c)^3 [/texx];
[texx] c = (A^6 - 3 a b)^{1/3}- A^3[/texx]. Donde [texx] A^3=a+b[/texx].
Démosle valores a y b para calcular c, ver archivo adjunto. Y los valores que adopta c son todos negativos.
Atentamente.

[Luis Fuentes]

Hola

Hola.
[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] (A^{2*3})-3ab=(A^3+c)^3 [/texx];
[texx] c = (A^6 - 3 a b)^{1/3}- A^3[/texx]. Donde [texx] A^3=a+b[/texx].
Démosle valores a y b para calcular c, ver archivo adjunto. Y los valores que adopta c son todos negativos.
Atentamente.

La hoja excel que adjuntas es confusa; no se sabe que valores de a,b estás escogiendo.

Sea como sea de aquí:

[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] (A^{2*3})-3ab=(A^3+c)^3 [/texx];

Se entiende que estás tomando [texx]B=A^3+c[/texx]. ¿Por qué había de ser [texx]c[/texx] positivo? ¿Por qué habría de ocurrir que [texx]B>A^3[/texx]?. No ocurre, pero eso no contradice nada.

Saludos.

[Gonzo]

Si de acuerdo. Estamos bajo el supuesto de que:
 [texx] (A+B) ((A+B)^2-3AB)=C^m[/texx]
para algún [texx]C[/texx] sin factores primos comunes con [texx]A[/texx] y [texx]B[/texx] y queremos ver que eso es imposible; que nos lleva a una contradicción. Si eres capaz de probar tal imposibilidad tendríamos demostrada la conjetura de Beal (al menos el caso particular de exponente [texx]3[/texx] de los dos primeros enteros).
 

[texx] (A+B) ((A+B)^2-3AB)=C^m[/texx];
[texx] (A+B)<((A+B)^2-3AB)[/texx];
[texx] (A+B)^2-3AB)[/texx] siempre será mayor que [texx] (A+B)[/texx];
Entonces:
[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
[texx] A^n< B^n [/texx] .
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx]; Porque [texx] A^n< B^n [/texx]. Y por lo tanto c tiene que ser positivo. Pero no.
[texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx]. Donde [texx] A^3=a+b[/texx].
Asignemosle valores a y b para calcular c, ver archivo adjunto. Y los valores que adopta c son todos negativos. Ahí encontramos la contradicción.
Atentamente.

[Luis Fuentes]

Hola

[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
[texx] A^n< B^n [/texx] .
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx]; Porque [texx] A^n< B^n [/texx]. Y por lo tanto c tiene que ser positivo. Pero no.
[texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx]. Donde [texx] A^3=a+b[/texx].
Asignemosle valores a y b para calcular c, ver archivo adjunto. Y los valores que adopta c son todos negativos. Ahí encontramos la contradicción.

Pero tu escribes:

[texx]B^3= (A^{2*3})-3ab=(A^3+c)^3[/texx]

Por tanto [texx]B=A^3+c[/texx], es decir, no estás llamando [texx]c=B-A[/texx], que SI tendría que ser positivo; por el contrario estás tomando [texx]c=B-A^3[/texx] que NO tiene porque ser negativo.

Fíjate que vuelves a caer en un argumento donde no se utiliza para nada el carácter entero de los números implicados. Vuelve a estar vigente esto:

Entonces de ese tipo de cuentas que haces donde es indiferente que los números sean reales o enteros no puedes esperar llegar a ninguna conclusión útil.[/b]

Saludos.

P.D. Llevas decenas de mensajes empeñado en encontrar una contradicción con argumentos llenos de errores cada vez más de bulto, cada vez más precipitados. Me parece que tienes el prejuicio infundado de que tu idea inicial tiene que llevarte al éxito si o si, por encima de lo que los indicios muestran. Obviamente eres libre de seguir en esa idea, pero en cualquier caso creo que deberías de trabajar con más cuidado y de manera más reflexiva los razonamientos y operaciones que haces.

[Gonzo]

Hola.  No entiendo su mensaje.  ¿c=B-A?
De [texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx] despejo [texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx].
¿Porque A no puede estar elevado al cubo?
En la siguiente expresión, [texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx], ¿en qué me equivoco?
Adjunto el nuevo Excel, que ratifica mi idea. Es más, en dicho archivo se puede ver, segunda pestaña, que [texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx], c, siempre es negativo.

Atentamente.

[Luis Fuentes]

Hola

Hola.  No entiendo su mensaje.  ¿c=B-A?
De [texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx] despejo [texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx].
¿Porque A no puede estar elevado al cubo?
En la siguiente expresión, [texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx], ¿en qué me equivoco?
Adjunto el nuevo Excel, que ratifica mi idea. Es más, en dicho archivo se puede ver, segunda pestaña, que [texx] c = (A^6 - 3 a b)^{1/3} - A^3[/texx], c, siempre es negativo.

"Rebobinemos":

1) En tu primer mensaje de esta nueva línea argumental tu de aquí:

[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] (A^{2*3})-3ab=(A^3+c)^3 [/texx];

dices que es contradictorio que [texx]c[/texx] sea negativo. De estas esas expresiones se deduce que necesariamente estás tomando [texx]c=B-A^3[/texx]. ¿Estás de acuerdo en esto? ¿Estás de acuerdo en que estás tomando [texx]c=B-A^3[/texx]?. Si no estás tomando ese valor de c, las expresiones anteriores están mal, la expresión en rojo no se deduce de las anteriores.

2) Cuando yo te indico que no veo motivo por el cuál es contradictorio que [texx]c[/texx] sea negativo, me contestas:

Si de acuerdo. Estamos bajo el supuesto de que:
 [texx] (A+B) ((A+B)^2-3AB)=C^m[/texx]
para algún [texx]C[/texx] sin factores primos comunes con [texx]A[/texx] y [texx]B[/texx] y queremos ver que eso es imposible; que nos lleva a una contradicción. Si eres capaz de probar tal imposibilidad tendríamos demostrada la conjetura de Beal (al menos el caso particular de exponente [texx]3[/texx] de los dos primeros enteros).
 

[texx] (A+B) ((A+B)^2-3AB)=C^m[/texx];
[texx] (A+B)<((A+B)^2-3AB)[/texx];
[texx] (A+B)^2-3AB)[/texx] siempre será mayor que [texx] (A+B)[/texx];
Entonces:
[texx] A^n=a+b[/texx] .
[texx]  B^n=(a+b)^2-3ab[/texx].
[texx] A^n< B^n [/texx] .
Consideremos n=3. Y consideremos la siguiente expresión.
[texx] B^n= (A^{2*3})-3ab=(A^3+c)^3 [/texx]; Porque [texx] A^n< B^n [/texx]. Y por lo tanto c tiene que ser positivo.

Pero de [texx]A^n<B^n[/texx] lo que se deduce es que [texx]A<B[/texx], es decir, que [texx]B-A>0[/texx] pero NO se deduce necesariamente que [texx]c=B-A^3>0[/texx]. Por tanto es falso que ahí hayas razonado que [texx]c=B-A^3[/texx] tenga que ser positivo.

3) Sigues ignorando esto:

Entonces de ese tipo de cuentas que haces donde es indiferente que los números sean reales o enteros no puedes esperar llegar a ninguna conclusión útil.[/b]

 ¿Lo entiendes? Si lo comprendes, te ahorraras dar muchos palos de ciego. En particular verías que tu argumento actual es imposible que lleve a contradicción alguna.

 Por favor, indica de manera precisa y argumentada el primero de estos tres puntos con el que no estás de acuerdo.

Saludos.