15/12/2018, 08:05:24 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Otro descenso UTF4  (Leído 205 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Fernando Moreno
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 105


Ver Perfil
« : 26/11/2018, 05:52:33 pm »

Hola,

Supongo que  [texx]\pmb{z^4=x^4+y^4}[/texx] ,  para  [texx]x,y,z[/texx]  enteros, coprimos dos a dos;  [texx]x\,\vee\,y[/texx] ,  par.

Por tanto:  [texx](z^2)^2=(x^2)^2+(y^2)^2[/texx]  y sus soluciones en forma de ternas pitagóricas serán:

[texx]z^2=p^2+q^2[/texx]  ;  [texx]x^2=2pq[/texx]  ;  [texx]y^2=p^2-q^2[/texx] ;  para  [texx]p,q[/texx]  coprimos, uno de ellos par.

Es conocido que todo impar al cuadrado es congruente con 1 módulo 8. Como:  [texx]z^2=p^2+q^2[/texx]   [texx]\Rightarrow[/texx]   [texx]1=1+0[/texx] .  Y por lo tanto:  [texx]8\mid q^2[/texx]  ;  [texx]4\mid q[/texx]  ;  [texx]8\mid x^2[/texx]  [texx]\wedge[/texx]  [texx]4\mid x[/texx] .

Como:  [texx]z^4=x^4+y^4[/texx] ,  sabemos que:  [texx]z=x+y-d[/texx] ;  para un  “ [texx]d[/texx] “  entero menor que el menor de los valores de  [texx]x,y[/texx] .  Como  “ [texx]x[/texx] “  es par como mínimo de 4,  “ [texx]d[/texx] “ será también par como mínimo de 4.   De esta manera siempre podré decir que para:  [texx]z=y+e[/texx] ,  ( [texx]e=x-d[/texx] ) ; entonces:  [texx]z=s+t[/texx]  ;  [texx]y=s-t[/texx]  [texx]\wedge[/texx]  [texx]e=2t[/texx] ;  para  [texx]s,t[/texx]  coprimos, uno de ellos par. Puesto que:  [texx]s+t=s-t+2t[/texx] .

Sustituyendo en  “ [texx]z^4=x^4+y^4[/texx] “   [texx]\color{red}\Rightarrow{}[/texx]   [texx](s+t)^4=(s-t)^4+x^4[/texx] .    Y :

[texx]s^4+4s^3t+6s^2t^2+4st^3+t^4=s^4-4s^3t+6s^2t^2-4st^3+t^4+x^4[/texx]   [texx]\Rightarrow[/texx]   [texx]x^4=8s^3t+8st^3[/texx]   [texx]\wedge[/texx]   [texx]x^4=8st(s^2+t^2)[/texx]

Como  “ [texx]8st[/texx] “  [texx]\wedge[/texx]  “ [texx]s^2+t^2[/texx] “  son coprimos, serán cuartas potencias -y-:  [texx]s=s_1^4[/texx]  ,  [texx]t=2t_1^4[/texx]  [texx]\wedge[/texx]  [texx]s^2+t^2=A^4[/texx] .  De esta forma:  [texx]A^4=s_1^8+4t_1^8[/texx] .  Y sus ternas pitagórias solución serán:  [texx]A^2=u^2+v^2[/texx]  ,  [texx]s_1^4=u^2-v^2[/texx]  [texx]\wedge[/texx]  [texx]2t_1^4=2uv[/texx] ;  para  [texx]u,v[/texx]  enteros, coprimos y uno de ellos par.  Como:  [texx]t_1^4=uv[/texx] ;  entonces:  [texx]u=u_1^4[/texx]  [texx]\wedge[/texx]  [texx]v=v_1^4[/texx] .  Luego:  [texx]s_1^4=u_1^8-v_1^8[/texx]   [texx]\wedge[/texx]   [texx]\pmb{(u_1^2)^4=s_1^4+(v_1^2)^4}[/texx] .  Pudiendo repetir este razonamiento una y otra vez.


Un saludo,


Editado. (Ver siguientes respuestas)
En línea

  Cuando alcanzamos lo otro, atravesamos a Dios.  F. Moreno 
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 43.243


Ver Perfil
« Respuesta #1 : 27/11/2018, 06:52:57 am »

Hola

Como:  [texx]z^4=x^4+y^4[/texx] ,  sabemos que:  [texx]z=x+y-d[/texx] ;  para un  “ [texx]d[/texx] “  entero menor que el menor de los valores de  [texx]x,y[/texx] .  Como  “ [texx]x[/texx] “  es par como mínimo de 4,  “ [texx]d[/texx] “ será también par como mínimo de 4. De esta manera siempre podré decir que para:  [texx]z=y+e[/texx] ,  ( [texx]e=x-d[/texx] ) :  [texx]z=s+t[/texx]  ;  [texx]y=s-t[/texx]  [texx]\wedge[/texx]  [texx]e=2t[/texx] ;  para  [texx]s,t[/texx]  coprimos y  “ [texx]t[/texx] “  par. Puesto que:  [texx]s+t=s-t+2t[/texx] .

Esto es confuso y de hecho no creo que puedas asegurar en general que [texx]t[/texx] sea par, podría ser [texx]s[/texx].

Tu tomas:

[texx]s=\dfrac{z+y}{2},\qquad t=\dfrac{z-y}{2}[/texx]

De [texx]z^4=x^4+y^4[/texx] trabajando módulo [texx]4[/texx] lo que sabemos es que [texx]z=y=1[/texx] ó [texx]3[/texx] mod 4 en cuyo caso [texx]z-y[/texx] es múltiplo de [texx]4[/texx] y por tanto [texx]t[/texx] es par o bien [texx]z=1[/texx] e [texx]y=3[/texx] mod [texx]4[/texx] (o al revés) y así [texx]z+y[/texx] es múltipo de [texx]4[/texx] y por tanto [texx]s[/texx] es par.

Sea como sea para terminar tu razonamiento basta que alguno de los dos sea par y la demostración propuesta sigue funcionando.

Saludos.
En línea
Fernando Moreno
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 105


Ver Perfil
« Respuesta #2 : 27/11/2018, 11:11:01 am »

Hola Luis,

Es:  [texx]z=y=1[/texx]  mod 4 .  Pues:  [texx]z-y=x-d[/texx] . Y  " [texx]x[/texx] "  -y-  " [texx]d[/texx] "  son múltiplos de 4. Otra cosa es que me haya expresado de manera confusa. Seguro que sí, claro; es muy difícil redactar bien a la primera y sobre todo lo difícil es lo que tú haces, ponerse en la mente de cada uno de los que escribimos aquí. Algo increíble

Existen muchas maneras de probar que por lo menos 4 divide á  " [texx]z-y[/texx] " .  De hecho se pueden probar estas 2 cosas -por si a alguien le apetece entretenerse-: 1) Por lo menos:  [texx]64\mid (z-y)[/texx]  -y-  2)  [texx]z-y=A^2[/texx] ,  para un " A " entero par. Otra cosa es que estas cuestiones sirvan para encontrar una contradicción en la ecuación de marras (me refiero al margen del descenso infinito). Esta es mi opinión: para-na-da. Pero bueno, sí entretiene

Un saludo,
En línea

  Cuando alcanzamos lo otro, atravesamos a Dios.  F. Moreno 
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 43.243


Ver Perfil
« Respuesta #3 : 27/11/2018, 11:28:59 am »

Hola

Es:  [texx]z=y=1[/texx]  mod 4 .  Pues:  [texx]z-y=x-d[/texx] . Y  " [texx]x[/texx] "  -y-  " [texx]d[/texx] "  son múltiplos de 4.

¿Y por qué?. Cuando dices como justificación que [texx]d[/texx] es múltiplo de [texx]4[/texx]. ¿Por qué? ¿De dónde lo sacas?.

Lo que llamas [texx]d[/texx] no es otra cosa que [texx]d=x+(y-z)[/texx]. De acuerdo con que [texx]x[/texx] es múltiplo de [texx]4[/texx]. ¿Pero sobre [texx]d[/texx] qué sabemos? Que [texx]d[/texx] sea múltiplo de [texx]4[/texx] equivale a que [texx](y-z)[/texx] lo sea, bien.  Pero en principio no sabemos si lo son ni un término, [texx]d[/texx], ni el otro, [texx](y-z)[/texx].

Entonces no se si llevas razón; pero desde luego en lo que has escrito no lo has argumentado.

Saludos.
En línea
Fernando Moreno
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 105


Ver Perfil
« Respuesta #4 : 27/11/2018, 03:49:51 pm »

Hola. Llevas razón. No sé porqué, desde que era un "Proyecto", se me grabó a fuego que en el caso:  [texx]z-y=x-d[/texx] ,  " [texx]d[/texx] "  tenía que tener siempre la misma paridad que  " [texx]x[/texx] " .  No es la primera vez que me equivoco en esto. Lo tengo pintado así en alguna neurona.

Lo he intentado por otras vías, pero nada. Lo cambio en la demostración.

O sea, además es:  64 divide á  " [texx]z-y[/texx] "  [texx]\pmb{\vee}[/texx]  " [texx]z+y[/texx] "  -y-  " [texx]z-y[/texx] "  [texx]\pmb{\vee}[/texx]  " [texx]z+y[/texx] "  =  [texx]A^2[/texx]

Un saludo,
En línea

  Cuando alcanzamos lo otro, atravesamos a Dios.  F. Moreno 
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!