Os dejo hoy el problema de esta semana:
Demostrar, sin hacer uso del último teorema de Fermat (UTF), que no existen soluciones naturales a la ecuación
, con
Que se os dé bien.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Información Bitacoras.com…
Valora en Bitacoras.com: Os dejo hoy el problema de esta semana: Demostrar, sin hacer uso del último teorema de Fermat (UTF), que no existen soluciones naturales a la ecuación , con Que se os dé bien. Entra en Gaussianos si quieres hacer algún co……
De ahí se deduce que si
, y tomamos dos números x e y menores que z, sus potencias enésimas sumarán menos que la de z.
Vaya, que velocidad. He llegado casi a la misma solución, con una pequeña salvedad, creo que el resultado se deriva de (1+1/n)^(n+1) y no de (1+1/n)^n, para que z sea menor o igual que el exponente (que en este caso es n+1 y no n).
Sí, tienes razón. De todas formas, una implica la otra.
La mía serviría para demostrarlo para todo
, que es un poco más de lo que se pedía.
Supongamos que
y supongamos que existen 
tales que 
. Podemos suponer que 
. Para obtener la contradicción bastará ver que, 
, para 
. Sea ![f:[y,y+1]\longrightarrow\mathbb{R}](https://s0.wp.com/latex.php?latex=f%3A%5By%2Cy%2B1%5D%5Clongrightarrow%5Cmathbb%7BR%7D&bg=ffffff&fg=000000&s=0 "f:[y,y+1]\longrightarrow\mathbb{R}")
, definida por 
. Aplicando el teorema del valor medio a esta función se obtiene
para cierto 
, es decir,
que es la desigualdad deseada.
Me gusta más la de RB porque, además de darnos la base de la demostración, nos da la demostración misma. Las otras, si lo he entendido bien, entre sacar factor común, hacer algo parecido a lo de RB eligiendo x e y, amén de formular alguna que otra desiguadad extra, se dejan entre cinco y seis pasos por escribir. Se dejan una parte sustancial de lo que se viene en llamar «contexto de justificación» y, lo más irritante una y otra vez, no podemos ni oler lo que podríamos llamar «contexto de descubrimiento»
Ahí va otra:
Es fácil ver que una tal solución debe cumplir
, 
y 
. Supongamos 
. Entonces, si 
:
lo cual es una contradiccón.
Puede que tengas razón, expongo aquí lo que considero que quieres decir con dichos contextos:
, y además tanto x como y verifican que son menores que z, por tanto en el caso extremo de que 
y 
se tendría, si se verificase la ecuación, que,
),
Obviamente se tiene que
de donde se deduce que tendría que ser (hacemos el cambio
y el último paso consiste en ver que,
pero esto se deduce de que,
Para M
Correción menor, si x no igual y, x solo menor que y (sin igual)
Llevas razón, Juanjo.
Yo acabo de enviar algo tarde, una «solución» basada en consideraciones básicas…
Creo ver un sigo de orden que ustedes usan, es menor estricto (<), ese símbolo?
Ya voy a postear mi «solución» básica para que, si a bien tienen, me digan si ven algún error… Estoy dando formato con los comandos de látex.
Por cierto, si se pudiera demostrar una solución sin la condición n >=z, de repente Fermat decía la verdad, cuando manifestó conseguir una maravillosa (elegante?) solución para su época…?
Para evitar el contraejemplo trivial
, con lo cual, aún si 
, consideraremos el conjunto de los naturales (el problema pide hacer la demostración para los naturales) como:
Es decir, sólo los enteros positivos (sin incluir al cero).
, como 
.
Repetimos, consideraremos
El lector podrá convencerse en esta prueba de que el caso interesante es cuando
.
De modo que
Así que,![x^n+y^n= x^n+ (x+h_1-h_2 )^n = x^n+ [(x+h_1 )-h_2 ]^n](https://s0.wp.com/latex.php?latex=++x%5En%2By%5En%3D+x%5En%2B+%28x%2Bh_1-h_2+%29%5En+%3D+x%5En%2B+%5B%28x%2Bh_1+%29-h_2+%5D%5En&bg=ffffff&fg=000000&s=0 "x^n+y^n= x^n+ (x+h_1-h_2 )^n = x^n+ [(x+h_1 )-h_2 ]^n")
Pero, como
, por cerradura de la multiplicación en 
, y definición de potencia.
Luego,
Si
:
![x^n+y^n= x^n+ (x+h_1-h_2 )^n = x^n+ [(x+h_1 )-h_2 ]^n = x^n+ [x+(h_1-h_2 ) ]^n=x^n+ [x+(h_1-h_1 ) ]^n= 2 x^n](https://s0.wp.com/latex.php?latex=x%5En%2By%5En%3D+x%5En%2B+%28x%2Bh_1-h_2+%29%5En+%3D+x%5En%2B+%5B%28x%2Bh_1+%29-h_2+%5D%5En++%3D+x%5En%2B+%5Bx%2B%28h_1-h_2+%29+%5D%5En%3Dx%5En%2B+%5Bx%2B%28h_1-h_1+%29+%5D%5En%3D++2+x%5En&bg=ffffff&fg=000000&s=0 "x^n+y^n= x^n+ (x+h_1-h_2 )^n = x^n+ [(x+h_1 )-h_2 ]^n = x^n+ [x+(h_1-h_2 ) ]^n=x^n+ [x+(h_1-h_1 ) ]^n= 2 x^n")
, entonces 
).
Pero si
Con lo que, necesariamente:
Lo cual representa una contradicción
(Por condición del problema:
Contradicción que provino de suponer que
Por lo tanto,
Continuación de Demostración sin UTF, para los
, tales que:
Sin pérdida de generalidad, falta ver: Si
porque
con lo que
.
Recuérdese como hemos definido
e 
Ahora bien, en este supuesto,
. Lo cual necesariamente nos lleva a concluir que 
. Pero esto es una contradicción (porque 
), contradicción que provino de suponer que 
Por lo tanto,
Es claro que para
, basta con hacer cambio de variable.
Continuación de Demostración sin UTF, para los
, tal que:
Obviamente, si
, entonces:
Recuérdese que la multiplicación en
es cerrada, y que la potencia se define a partir de la multiplicación.
Esto completa la prueba
Saludos, y espero respetuosa y atentamente sus comentarios.
Por cierto, el símbolo
, que ustedes usan de precedencia es simplemente para enfatizar el menor estricto 
, o tiene algún sentido particular usar la relación de precedencia y no la de menor estricto, no son exactamente lo mismo? precedencia 
es 
?
Aquí quise decir, y podrán notar (
), error de edición, ¡disculpen!
Nuevamente disculpen, en donde decía «Continuación de Demostración sin UTF, para los
, tales que: …»
La parte que dice porque
debe decir:
«porque
al ser …" y luego redundé diciendo: "con lo que 
"
Saludos y ahora sí, buenas madrugadas, 1:18am (Caracas, venezuela)
¡Corrijo otro aspecto en uno de los apartados enviados!
En «Continuación de Demostración…»
Suponiendo que
:
Nos lleva a decir que
Pero como
, 
De modo que
Con lo cual
De donde, necesariamente
Pero hemos supuesto
, contradicción.
Contradicción que provino de suponer que
Por lo tanto,
Lo de Golvano me parece sumamente interesante ya que demostraría lo pedido de manera muy elegante; y digo demostraría no porque sepa que haya razones para dudar de su argumento; sino porque no me he detenido a verificarlo, simplemente por eso…
Por otra parta, me llama la atención la expresión que usa ya que, como es sabido
Buenas tardes (Caracas, Venezuela. 11:59am del 27/11/2012) Demostracion sin UTF: No existen soluciones naturales para Sean , para evitar el contraejemplo trivial x=y=z=0 Caso 1: Entonces y Caso 2: Caso 2.1: Entonces y Caso 2.2: Entonces Caso 2.2.1: Suponemos Con lo cual Y, De donde, Lo cual es una contradicción (pues ), que provino de suponer que Por lo tanto, Caso 2.2.2: Suponemos que Pero, Es decir, Con lo cual, De donde, , pero esto es una contradicción (pues ), contradicción que provino de suponer que Por lo tanto, Caso 2.2.3: Suponemos que Pero, Es decir, Con lo cual, De… Lee más »
Asumamos sin perder generalidad que y<x.
Usando el pequeño teorema de Fermat se puede demostrar que a=(y+x-z)=6.n.k.
Ademas no es dicicil demostrar que a<y.
Y siendo "n" divisor primo de "a" evidentemente "n" es menor que "a" y a su vez menor que "y" que "x" y que "z".
Todo lo dicho se deberia cumplir si existiese una solucion entera "y,x,z" al UTF. Por lo tanto se demuestra lo pedido
Rodolfo