Autor Tema: Intento n = 3 sin descenso

0 Usuarios y 1 Visitante están viendo este tema.

04 Diciembre, 2018, 07:08 pm
Leído 5163 veces

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

Supongo que  \( z^3=x^3+y^3 \) ,  para  \( x,y,z \)  enteros, coprimos dos a dos;  uno de ellos par y que  " \( 3 \) "  divide á  “ \( x \) " .

De esta manera:  \( x^3=z^3-y^3\,=\,(z-y)\,(z^2+zy+y^2)\,=\,(z-y)\,(\,(z-y)^2+3zy\,) \) .  Como 3 no divide ni á  “ \( y \) “ ,  ni á  “ \( z \) “ .  Entonces  “ \( 9 \) “  debe dividir á  “ \( z-y \) “ .

Puesto que:  \( z^3=x^3+y^3 \) ,  sabemos que:  \( z=x+y-d \) ;  para un  “ \( d \) “  entero menor que el menor de los valores de  \( x,y \) .  De esta manera:  \( z-y\,=\,x-d \) .  Y :  “ \( 9 \) “  divide á  " \( z-y \) "  -y-  \( 3 \)  (y sólo \( 3 \))  divide á  " \( x \) "  -y- por tanto á  " \( d \) " .

La división euclídea de  “ \( z \) “  entre  \( 9 \)  es:  \( z=9q_1+r_1 \)  ( \( q_1,r_1 \)  enteros;  \( r_1\,<\,9 \) ) .  Y la de  “ \( y \) “  entre  \( 9 \)  es:  \( y=9q_2+r_2 \) .  Sustituyendo en:  " \( z-y\,=\,x-d \) " ;  tendremos:  \( 9q_1+r_1-9q_2-r_2\,=\,x-d \) .  Si dividimos esta ecuación entre 9 ;  entonces:  \( q_1-q_2+\dfrac{r_1}{9}-\dfrac{r_2}{9}\,=\,\dfrac{x’-d’}{3} \) ;  para:  \( x’=\dfrac{x}{3} \)   ,   \( d’=\dfrac{d}{3} \)   ,   “ \( \dfrac{r_1-r_2}{9} \) “  entero   \( \wedge \)   “ \( \dfrac{x’-d’}{3} \) “  entero.  Si yo dividiera ahora la ecuación resultante entre 3, me quedaría (Módulo 3) :  \( a-b+c-e\,=\,1\,\vee\,2 \) ;  para unos  \( a,b,c,e \)  de valor:  \( 0\,\vee\,1\,\vee\,2 \) .  El resultado es  “ \( 1\,\vee\,2 \) “ ,  puesto que  “ \( x-d \) “  no es divisible entre 27. Éste es el punto de partida que suponemos como verdadero.

En base a las divisiones euclídeas entre 9 referidas antes de  “ \( z \) “  -y-  de  “ \( y \) “ ,  yo puedo reescribir  “ \( z^3-y^3=x^3 \) “  así:  \( z^2(9q_1+r_1)-y^2(9q_2+r_2)=x^3 \) .  Esto es:  \( 9z^2q_1-9y^2q_2+z^2r_1-y^2r_2=x^3 \) .  Si divido esta ecuación entre 9:  \( z^2q_1-y^2q_2+\dfrac{z^2r_1}{9}-\dfrac{y^2r_2}{9}=3x’^3 \) ;  para:  \( x’^3=\dfrac{x^3}{27} \)   \( \wedge \)   “ \( \dfrac{z^2r_1-y^2r_2}{9} \) “  entero. Veamos ahora qué ocurre si divido la ecuación resultante entre 3. Módulo 3 será:  \( f-g+h-i=0 \) ;  para unos  \( f,g,h,i \)  de valor:  \( 0\,\vee\,1\,\vee\,2 \) .  El resultado será  “ \( 0 \) “ ,  puesto que obviamente  “ \( 3x’^3 \) “  es divisible entre 3.

Pero esto no ocurre de esta manera. Analicemos por qué. Lo que yo tengo realmente al hacer esta última división Módulo 3 es esto:  \( z^2a-y^2b+z^2c-y^2e=0 \) .  Como Módulo 3 :  “ \( z^2 \) “  es igual á  1 , pues es el único resto cuadrático de 3.  Y lo mismo pasa con  “ \( y^2 \) “.  En realidad:  \( z^2a-y^2b+z^2c-y^2e=\,\,"a-b+c-e" \) .  Pero esto es ya una contradicción. Pues si hemos establecido que:  \( a-b+c-e\,=\,1\,\vee\,2 \) ;  ¿cómo es posible ahora que:  \( a-b+c-e\,=\,0 \) ?


Un saludo,                     
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

04 Diciembre, 2018, 11:05 pm
Respuesta #1

mente oscura

  • Experto
  • Mensajes: 617
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
...
 ,  puesto que  “ \( x-d \) “  no es divisible entre 27. Éste es el punto de partida que suponemos como verdadero.

                    

Buenas noches.

Estimado Fernando, esa afirmación no es correcta.

Según mi estudio general, en el hilo "reflexiones sobre UTF": \( 3^{3k-1}|(x-d)/ k>1 \). Considerando que \( 3^k|x \rightarrow{ }3^k|d \), con \( k>1 \). Demostré que \( k \cancel{=}1 \).

Un cordial saludo

05 Diciembre, 2018, 08:49 am
Respuesta #2

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola mente oscura.

¿Entonces  \( 9 \)  ó  \( 3^k \)  para un  \( k \)  mayor todavía divide á  \( x \) ?

Yo entiendo que en ese caso la contradicción continua, sólo que ahora haciendo las divisiones euclídeas entre 27 y para un  \( x'^3=\dfrac{x^3}{729} \)  en su caso. Ahora mismo no puedo ser más concreto, no tengo tiempo hasta más tarde. Yo no afirmo que 3 y sólo 3 tenga que dividir á  \( x \) .  Parto de ese mínimo. Y lo que hago ver es que si ese mínimo se incumple entonces caeríamos en un bucle hacia el infinito: siempre habría que suponer un  " \( k \) "  mayor, sin límite.

Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

05 Diciembre, 2018, 11:09 am
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

 Además de lo apuntado por mente oscura, que es correcto, no acabo de entender lo que haces.

Puesto que:  \( z^3=x^3+y^3 \) ,  sabemos que:  \( z=x+y-d \) ;  para un  “ \( d \) “  entero menor que el menor de los valores de  \( x,y \) .  De esta manera:  \( z-y\,=\,x-d \) .  Y :  “ \( 9 \) “  divide á  " \( z-y \) "  -y-  \( 3 \)  (y sólo \( 3 \))  divide á  " \( x \) "  -y- por tanto á  " \( d \) " .

Cuando dices que \( 3 \) y sólo \( 3 \) divide a \( x \), pareces asegurar que \( 3 \) divide a \( x \) pero no \( 9 \) y como te ha dicho mente oscura no es así.

No distingo muy bien en general como justificas las afirmaciones que haces; recuerda que esa \( d \) que introduces no es otra cosa que \( d=x+y-z \). A donde voy con eso, es que es variable auxiliar te puede ayudar a escribir alguna fórmula más cómodamente pero no te va a permitir deducir nada nuevo que no  puedas deducir usando sólo \( x,y,z. \) Lo digo porque a veces me parece que escribiendo \( z=x+y-d \) pretendieses deducir alguna propiedad de divisibilidad sobre \( x \).

Citar
La división euclídea de  “ \( z \) “  entre  \( 9 \)  es:  \( z=9q_1+r_1 \)  ( \( q_1,r_1 \)  enteros;  \( r_1\,<\,9 \) ) .  Y la de  “ \( y \) “  entre  \( 9 \)  es:  \( y=9q_2+r_2 \) .  Sustituyendo en:  " \( z-y\,=\,x-d \) " ;  tendremos:  \( 9q_1+r_1-9q_2-r_2\,=\,x-d \) .  Si dividimos esta ecuación entre 9 ;  entonces:  \( q_1-q_2+\dfrac{r_1}{9}-\dfrac{r_2}{9}\,=\,\dfrac{x’-d’}{3} \) ;  para:  \( x’=\dfrac{x}{3} \)   ,   \( d’=\dfrac{d}{3} \)   ,   “ \( \dfrac{r_1-r_2}{9} \) “  entero   \( \wedge \)   “ \( \dfrac{x’-d’}{3} \) “  entero.  Si yo dividiera ahora la ecuación resultante entre 3, me quedaría (Módulo 3) :  \( a-b+c-e\,=\,1\,\vee\,2 \) ;  para unos  \( a,b,c,e \)  de valor:  \( 0\,\vee\,1\,\vee\,2 \) .  El resultado es  “ \( 1\,\vee\,2 \) “ ,  puesto que  “ \( x-d \) “  no es divisible entre 27. Éste es el punto de partida que suponemos como verdadero.

Ahí me pierdo. ¿Cuál se supone que es la ecuación resultante? Si todo nace de ir dividiendo la identidad  \( z-y=x+d \), es decir, \( z-y-x+d=0 \) al final eso será cero módulo "cualquier cosa". Pero supongo que te refieres a otra cosa. Intenta explicarlo mejor.

Saludos.

05 Diciembre, 2018, 03:17 pm
Respuesta #4

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

Además de lo apuntado por mente oscura, que es correcto, no acabo de entender lo que haces.

Puesto que:  \( z^3=x^3+y^3 \) ,  sabemos que:  \( z=x+y-d \) ;  para un  “ \( d \) “  entero menor que el menor de los valores de  \( x,y \) .  De esta manera:  \( z-y\,=\,x-d \) .  Y :  “ \( 9 \) “  divide á  " \( z-y \) "  -y-  \( 3 \)  (y sólo \( 3 \))  divide á  " \( x \) "  -y- por tanto á  " \( d \) " .

Cuando dices que \( 3 \) y sólo \( 3 \) divide a \( x \), pareces asegurar que \( 3 \) divide a \( x \) pero no \( 9 \) y como te ha dicho mente oscura no es así.

Es cierto, no me acordaba que dije: " y sólo 3 ". Es en otro contexto, pero en todo caso no está bien particularizado.


No distingo muy bien en general como justificas las afirmaciones que haces; recuerda que esa \( d \) que introduces no es otra cosa que \( d=x+y-z \). A donde voy con eso, es que es variable auxiliar te puede ayudar a escribir alguna fórmula más cómodamente pero no te va a permitir deducir nada nuevo que no  puedas deducir usando sólo \( x,y,z. \) Lo digo porque a veces me parece que escribiendo \( z=x+y-d \) pretendieses deducir alguna propiedad de divisibilidad sobre \( x \).

Citar
La división euclídea de  “ \( z \) “  entre  \( 9 \)  es:  \( z=9q_1+r_1 \)  ( \( q_1,r_1 \)  enteros;  \( r_1\,<\,9 \) ) .  Y la de  “ \( y \) “  entre  \( 9 \)  es:  \( y=9q_2+r_2 \) .  Sustituyendo en:  " \( z-y\,=\,x-d \) " ;  tendremos:  \( 9q_1+r_1-9q_2-r_2\,=\,x-d \) .  Si dividimos esta ecuación entre 9 ;  entonces:  \( q_1-q_2+\dfrac{r_1}{9}-\dfrac{r_2}{9}\,=\,\dfrac{x’-d’}{3} \) ;  para:  \( x’=\dfrac{x}{3} \)   ,   \( d’=\dfrac{d}{3} \)   ,   “ \( \dfrac{r_1-r_2}{9} \) “  entero   \( \wedge \)   “ \( \dfrac{x’-d’}{3} \) “  entero.  Si yo dividiera ahora la ecuación resultante entre 3, me quedaría (Módulo 3) :  \( a-b+c-e\,=\,1\,\vee\,2 \) ;  para unos  \( a,b,c,e \)  de valor:  \( 0\,\vee\,1\,\vee\,2 \) .  El resultado es  “ \( 1\,\vee\,2 \) “ ,  puesto que  “ \( x-d \) “  no es divisible entre 27. Éste es el punto de partida que suponemos como verdadero.

Ahí me pierdo. ¿Cuál se supone que es la ecuación resultante? Si todo nace de ir dividiendo la identidad  \( z-y=x+d \), es decir, \( z-y-x+d=0 \) al final eso será cero módulo "cualquier cosa". Pero supongo que te refieres a otra cosa. Intenta explicarlo mejor.

Entreveo lo que dices pero sin llegar al fondo. Pongo un ejemplo de lo que he querido decir respecto de lo que me has señalado en rojo:

\( 9\cdot{8}-9\cdot{3}+24-6=63 \)

Primero divido entre 9:  \( 8-3+2=7 \)  -y-  \( 7 \)  es naturalmente entero.

Si ahora divido entre 3, tengo:  \( 2,\overline{3}=2,\overline{3} \) . Que Módulo 3 es:  \( 2-0+2=1 \) .  Este último " \( 1 \) " es al que me refería que me tenía que dar:  " \( 1\,\vee\,2 \) " .

Un saludo, 
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

05 Diciembre, 2018, 04:07 pm
Respuesta #5

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Entreveo lo que dices pero sin llegar al fondo. Pongo un ejemplo de lo que he querido decir respecto de lo que me has señalado en rojo:

\( 9\cdot{8}-9\cdot{3}+24-6=63 \)

Primero divido entre 9:  \( 8-3+2=7 \)  -y-  \( 7 \)  es naturalmente entero.

Si ahora divido entre 3, tengo:  \( 2,\overline{3}=2,\overline{3} \) . Que Módulo 3 es:  \( 2-0+2=1 \) .  Este último " \( 1 \) " es al que me refería que me tenía que dar:  " \( 1\,\vee\,2 \) " .
mmmm... el ejemplo bien. Pero tienes que concretar las cosas. No puede ser que el lector tenga que adivinar quien es \( a,b,c,e \) en tu desarrollo. De hecho todavía no me queda 100% claro porque en tu ejemplo solo tienes tres términos \( 2-0+2 \).

Al final lo que pareces estar diciendo es que \( \dfrac{x-d}{9} \) como no es divisible por \( 3 \), pues da de resto módulo tres \( 1 \) o \( 2 \). Lo cual es cierto bajo la suposición de que \( 3^2 \) es la mayor potencia de \( 3 \) que divide a \( z-y. \) Si es eso no hace falta tanto lío para decirlo.

Más adelanta vuelves a hablar de "la ecuación resultante" y sigue sin ser claro para mi a que te refieres.

Entonces intenta reescribir todo de manera que pueda entenderse; sin dejar cabos sueltos, ni afirmaciones difusas.

Como punto de partida y con la corrección de mente oscura tienes que suponer que \( 3^k \) con \( k>1 \) es la mayor potencia de \( 3 \) que divide a \( x \) y por tanto que \( 3^{3k-1} \) es la mayor potencia de \( 3 \) que divide a \( z-y. \)

Saludos.

05 Diciembre, 2018, 08:24 pm
Respuesta #6

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola Luis. Gracias y ok, a ver si lo he pillado:

Basándome en el trabajo de mente oscura, se tiene que: 1) :  \( 3^k \)  es la mayor potencia de 3 que divide á  " \( x \) " .  Y  2) :  \( 3^{3k-1} \)  es la mayor potencia de 3 que divide á  " \( z-y \) " .

Como:  \( z^3=x^3+y^3 \) ,  sabemos que:  \( z=x+y-d \) ;  para un  “ \( d \) “  entero menor que el menor de los valores de  \( x,y \) .  De esta manera:  \( z-y\,=\,x-d \) .  Y ,  como hemos quedado:  “ \( 3^{3k-1} \) “  divide como máxima potencia de 3 á  " \( x-d \) " .

Tenemos también que:  \( x^3=z^3-y^3 \) .  Que puedo reescribir como:  \( x^3=z^2(z)-y^2(y) \) .  También puedo reescribir en forma de división euclídea:  \( z=3^{3k-1}q_1+r_1 \)   \( \wedge \)   \( y=3^{3k-1}q_2+r_2 \) .  Luego:  \( x^3=z^2(3^{3k-1}q_1+r_1)-y^2(3^{3k-1}q_2+r_2) \) .  Si divido entre  " \( 3^{3k-1} \) " ;  entonces:  \( 3x'^3=z^2\left({q_1+\dfrac{r_1}{3^{3k-1}}}\right)-y^2\left({q_2+\dfrac{r_2}{3^{3k-1}}}\right) \) ;  para:  \( x'^3=\dfrac{x^3}{3^k} \) .  Si divido ahora entre  \( \pmb{3} \) ,  tendré:  \( x'^3=z^2\left({\dfrac{q_1}{3}+\dfrac{r_1}{3^{3k}}}\right)-y^2\left({\dfrac{q_2}{3}+\dfrac{r_2}{3^{3k}}}\right) \) .  Que expresado (la anterior división) Módulo 3 sería:  \( 0=(1)a-(1)b \) ;  para:  \( a=b \) .

Pero estos restos  \( (a,b) \)  (Módulo 3), serán los mismos que si a la parte izquierda de la ecuación  " \( z-y\,=\,x-d \) " ,  después de haberla dividido entre  \( 3^{3k-1} \) ,  el resultado lo divido entre  " \( \pmb{3} \) " .  Pero,  ¿Qué ocurre en su parte derecha? :  Pues que ahora No es  " \( 0 \) ".  Ya que  " \( 3^{3k} \) "  No divide á  " \( x-d \) " .


Esto es lo que yo he querido decir desde el principio. Ahora si es correcto ó no, pues si me preguntaran ahora mismo diría que no lo sé.

Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

05 Diciembre, 2018, 08:42 pm
Respuesta #7

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Hola Luis. Gracias y ok, a ver si lo he pillado:

Basándome en el trabajo de mente oscura, se tiene que: 1) :  \( 3^k \)  es la mayor potencia de 3 que divide á  " \( x \) " .  Y  2) :  \( 3^{3k-1} \)  es la mayor potencia de 3 que divide á  " \( z-y \) " .

Como:  \( z^3=x^3+y^3 \) ,  sabemos que:  \( z=x+y-d \) ;  para un  “ \( d \) “  entero menor que el menor de los valores de  \( x,y \) .  De esta manera:  \( z-y\,=\,x-d \) .  Y ,  como hemos quedado:  “ \( 3^{3k-1} \) “  divide como máxima potencia de 3 á  " \( x-d \) " .

Tenemos también que:  \( x^3=z^3-y^3 \) .  Que puedo reescribir como:  \( x^3=z^2(z)-y^2(y) \) .  También puedo reescribir en forma de división euclídea:  \( z=3^{3k-1}q_1+r_1 \)   \( \wedge \)   \( y=3^{3k-1}q_2+r_2 \) .  Luego:  \( x^3=z^2(3^{3k-1}q_1+r_1)-y^2(3^{3k-1}q_2+r_2) \) .  Si divido entre  " \( 3^{3k-1} \) " ;  entonces:  \( 3x'^3=z^2\left({q_1+\dfrac{r_1}{3^{3k-1}}}\right)-y^2\left({q_2+\dfrac{r_2}{3^{3k-1}}}\right) \) ;  para:  \( x'^3=\dfrac{x^3}{3^k} \) .  Si divido ahora entre  \( \pmb{3} \) ,  tendré:  \( x'^3=z^2\left({\dfrac{q_1}{3}+\dfrac{r_1}{3^{3k}}}\right)-y^2\left({\dfrac{q_2}{3}+\dfrac{r_2}{3^{3k}}}\right) \) .  Que expresado (la anterior división) Módulo 3 sería:  \( 0=(1)a-(1)b \) ;  para:  \( a=b \)

¿Entiendo que \( a \) y \( b \) son los restos módulo tres de \( \left({\dfrac{q_1}{3}+\dfrac{r_1}{3^{3k}}}\right) \) y \( \left({\dfrac{q_2}{3}+\dfrac{r_2}{3^{3k}}}\right) \)?. ¡Pero no son enteros! Pueden tomarse pero hay que ser prudente porque las propiedades no son las mismas que con residuos enteros.

Citar
Pero estos restos  \( (a,b) \)  (Módulo 3), serán los mismos que si a la parte izquierda de la ecuación  " \( z-y\,=\,x-d \) " ,  después de haberla dividido entre  \( 3^{3k-1} \) ,  el resultado lo divido entre  " \( \pmb{3} \) " .  Pero,  ¿Qué ocurre en su parte derecha? :  Pues que ahora No es  " \( 0 \) ".  Ya que  " \( 3^{3k} \) "  No divide á  " \( x-d \) " .

Aquí me pierdo de nuevo. ¿Exactamente cómo relacionas esos restos \( a,b \) con los que ahora citas?.

Sea como sea, esto no me tiene pinta de llegar a ningún lado; es decir mi intuición dice que o bien esas dos formas en que tomas módulos no tienen nada que ver o bien son la misma y seguro que te llevan a lo mismo y cometes algún errro.

Saludos.

05 Diciembre, 2018, 08:59 pm
Respuesta #8

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

¿Entiendo que \( a \) y \( b \) son los restos módulo tres de \( \left({\dfrac{q_1}{3}+\dfrac{r_1}{3^{3k}}}\right) \) y \( \left({\dfrac{q_2}{3}+\dfrac{r_2}{3^{3k}}}\right) \)?. ¡Pero no son enteros! Pueden tomarse pero hay que ser prudente porque las propiedades no son las mismas que con residuos enteros.

Yo he querido decir que eran los restos módulo tres de  \( \left({q_1+\dfrac{r_1}{3^{3k-1}}}\right) \) y \( \left({q_2+\dfrac{r_2}{3^{3k-1}}}\right) \) .  No sé si me he expresado mal.


Citar
Pero estos restos  \( (a,b) \)  (Módulo 3), serán los mismos que si a la parte izquierda de la ecuación  " \( z-y\,=\,x-d \) " ,  después de haberla dividido entre  \( 3^{3k-1} \) ,  el resultado lo divido entre  " \( \pmb{3} \) " .  Pero,  ¿Qué ocurre en su parte derecha? :  Pues que ahora No es  " \( 0 \) ".  Ya que  " \( 3^{3k} \) "  No divide á  " \( x-d \) " .

Aquí me pierdo de nuevo. ¿Exactamente cómo relacionas esos restos \( a,b \) con los que ahora citas?.

Sea como sea, esto no me tiene pinta de llegar a ningún lado; es decir mi intuición dice que o bien esas dos formas en que tomas módulos no tienen nada que ver o bien son la misma y seguro que te llevan a lo mismo y cometes algún errro.

He querido decir que:  \( z-y=(3^{3k-1}q_1+r_1)-(3^{3k-1}q_2+r_2) \)

La verdad es que yo también lo veo cada vez peor. Debo tener algún error de concepto gordo por ahí que por ahora no acabo de ver.

Saludos,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

05 Diciembre, 2018, 10:04 pm
Respuesta #9

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

¿Entiendo que \( a \) y \( b \) son los restos módulo tres de \( \left({\dfrac{q_1}{3}+\dfrac{r_1}{3^{3k}}}\right) \) y \( \left({\dfrac{q_2}{3}+\dfrac{r_2}{3^{3k}}}\right) \)?. ¡Pero no son enteros! Pueden tomarse pero hay que ser prudente porque las propiedades no son las mismas que con residuos enteros.

Yo he querido decir que eran los restos módulo tres de  \( \left({q_1+\dfrac{r_1}{3^{3k-1}}}\right) \) y \( \left({q_2+\dfrac{r_2}{3^{3k-1}}}\right) \) .  No sé si me he expresado mal.

Pero estamos en las mismas esos dos números no son enteros; entonces hay que tener cuidado si trabajas módulo 3. Los restos módulo 3 con no enteros se comportan bien con la suma, pero no con el producto.

Por ejemplo:

\( 3\cdot \dfrac{1}{3}=1 \)

Pero al aplicar restos módulo \( 3 \):

\( 0\cdot \dfrac{1}{3}=0 \)

Saludos.

06 Diciembre, 2018, 08:37 pm
Respuesta #10

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola Luis. Lo de los restos no enteros tengo que estudiarlo. Es una prueba más de que no lo estaba haciendo bien; pues no pretendía eso.

De todas maneras, dando una segunda vuelta a lo planteado, me surge alguna curiosidad más. Por ejemplo:

Tengo que:  \( x^3=z^3-y^3\,=\,z^2(z)-y^2(y) \) .  Si divido la ecuación entre  \( 3^{3k} \) ;  Módulo \( 3^{3k} \)  tendré:  \( 0=z^2(a)-y^2(b) \) .  Puesto que  \( 3^{3k} \)  divide á  \( x^3 \) .  Y  " a " sería el resto con  " \( z \) "  -y-  " b " el resto con  " \( y \) " .  Creo que hasta aquí bien.

Como también:  \( z-y=x-d \) .  Si divido también entre  \( 3^{3k} \) .  Módulo \( 3^{3k} \)  tendré:  \( a-b=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) .  Porque  \( 3^{3k} \)  no divide á  " \( x-d \) " .  Luego " a "  \( \wedge \)  " b " tendrán valores diferentes, no pueden ser iguales. Pero como hemos dicho antes que:  \( 0=z^2(a)-y^2(b) \) ;  entonces:  \( z^2=b \)  \( \wedge \)  \( y^2=a \) ,  ¿no?

Pero entonces:  " \( y^2-z^2=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) " .  Pero como  \( 3^{3k-1} \)  divide á  \( z^2-y^2 \) ,  también dividirá á  \( y^2-z^2 \) .  Y eso significaría que yo podría dividir entre  \( 3^{3k} \)  e incluso con mayores potencias de 3 que ésa á  " \( z-y \) " .  Cuando habíamos establecido que la potencia de 3 mayor que podría dividirlo era de:  " \( 3^{3k-1} \) " .

Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

06 Diciembre, 2018, 09:57 pm
Respuesta #11

mente oscura

  • Experto
  • Mensajes: 617
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino


Pero entonces:  " \( y^2-z^2=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) " .  Pero como  \( 3^{3k-1} \)  divide á  \( z^2-y^2 \) ,  también dividirá á  \( y^2-z^2 \) .  Y eso significaría que yo podría dividir entre  \( 3^{3k} \)  e incluso con mayores potencias de 3 que ésa á  " \( z-y \) " .  Cuando habíamos establecido que la potencia de 3 mayor que podría dividirlo era de:  " \( 3^{3k-1} \) " .

Un saludo,
Hola.

Me pierdo, un poco, entre tanta letra. Pero lo que tengo "claro", es que esa afirnación es errónea.

Si \( 3^{3k-1}|(y-z) \rightarrow{  } 3^{3k-1}|(y^2-z^2) \ / 3^{3k} \cancel{|}(y^2-z^2) \). Porque \( 3 \cancel{!}(y+z) \).

El desarrollo normal es: \( x^3=z^3-y^3=(z-y)(z^2+zy+y^2)=(z-y)[(z-y)^2+3zy] \).

Entonces, \( 3^{3k-1}|(z-y) \) y \( 3^1|(z^2+zy+y^2) \).

Un cordial saludo.





06 Diciembre, 2018, 10:35 pm
Respuesta #12

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Holal mente oscura.

La cosa está en que si después de dividir  " \( z-y \) "  entre  \( 3^{3k} \) ;  que no da entero (como efectivamente tú indicas). Los restos que se obtienen:  " \( a-b \) " ;  son a su vez divisibles entre 3. Yo entiendo que sí, si es cierto que:  \( a=y^2 \)  \( \wedge \)  \( b=z^2 \) .  Pero puedo estar equivocado, naturalmente. De hecho, por mi estadísticas de aciertos, debe ser así. Pero necesito entender donde está el error en mi razonamiento; más que en la existencia de supuestos límites infranqueables.

Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

10 Diciembre, 2018, 10:03 am
Respuesta #13

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Tengo que:  \( x^3=z^3-y^3\,=\,z^2(z)-y^2(y) \) .  Si divido la ecuación entre  \( 3^{3k} \) ;  Módulo \( 3^{3k} \)  tendré:  \( 0=z^2(a)-y^2(b) \) .  Puesto que  \( 3^{3k} \)  divide á  \( x^3 \) .  Y  " a " sería el resto con  " \( z \) "  -y-  " b " el resto con  " \( y \) " .  Creo que hasta aquí bien.

Si lo que vas a hace es tomar restos módulo "tanto"... no digas que divides por "tanto"; di que tomas restos módulo "tanto". En otro caso puede prestarse a confusión porque en algún momento dividiste "de verdad", y acabase manejando números no enteros.

Entonces entiendo que tomas restos módulo \( 3^{3k} \) en la ecuación \( x^3=z^3-y^3 \). Como \( x \) es divisible por \( 3^k \) obtienes:

\( 0\equiv z^2a-y^2b \) mod \( 3^{3k} \) donde \( a\equiv z \) mod \( 3^{3k} \) y \( b\equiv y \) mod \( 3^{3k} \)

Fíjate que mantengo tu forma de escribirlo, aunque lo lógico por la notación que has usado para los restos de \( z,y \) sería escribir:

\( 0\equiv a^3-b^3 \) mod \( 3^{3k} \)


Citar
Como también:  \( z-y=x-d \) .  Si divido también entre  \( 3^{3k} \) .  Módulo \( 3^{3k} \)  tendré:  \( a-b=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) .Porque  \( 3^{3k} \)  no divide á  " \( x-d \) ".
 

Aquí simplemente quieres decir que \( z-y\neq 0 \) mod \( 3^{3k} \) o equivalentemente \( a-b\neq 0 \) mod \( 3^{3k} \) porque \( z-y \) no es divisible por \( 3^{3k} \) .

En ese sentido y sólo a efectos de notación, ¿no te parece más económico decir que \( a-b\neq 0 \) que enumerar todos los valores ("muchos") que SI puede tomar?.

También una vez más justificas la afirmación basándote en alguna propiedad de \( x-d \). Pero para deducir esas propiedades no hace falta para nada usar \( d \), que es una variable que no aporta ninguna información. Tienes cierta tendencia a sobrestimar su utilidad y en algún caso te ha llevado a error. Sea como sea, es cierto que estamos bajo la hipótesis (correcta) de que \( 3^{3k-1} \) es la máxima potencia de \( 3 \) que divide a \( z-y \).

Citar
.  Luego " a "  \( \wedge \)  " b " tendrán valores diferentes, no pueden ser iguales.


Bien.

Citar
Pero como hemos dicho antes que:  \( 0=z^2(a)-y^2(b) \) ;  entonces:  \( z^2=b \)  \( \wedge \)  \( y^2=a \) ,  ¿no?

No tiene porqué. Es decir en general \( 0=pa-qb \) mod \( N \) no significa que \( p=b \) y \( a=q \) mod \( N \). ¡Ni siquiera se da sin trabajar con restos!. \( 2\cdot 14-4\cdot 7 \)=0 por ejemplo.

Citar
Pero entonces:  " \( y^2-z^2=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) " .
 

Ahí quieres decir simplemente que \( y^2-z^2\neq 0 \) mod \( 3^{3k} \). Bien.

Citar
Pero como  \( 3^{3k-1} \)  divide á  \( z^2-y^2 \) ,  también dividirá á  \( y^2-z^2 \) .  Y eso significaría que yo podría dividir entre  \( 3^{3k} \)  e incluso con mayores potencias de 3 que ésa á  " \( z-y \) " .  Cuando habíamos establecido que la potencia de 3 mayor que podría dividirlo era de:  " \( 3^{3k-1} \) " .

Aquí no se si te entiendo bien. Pareces creer que si \( z-y=a-b \) mod \( 3^{3k} \) y \( a-b \) es divisible por \( 3^{3k-1} \) entonces \( z-y \) es divisible por una potencia de \( 3 \) mayor que \( 3k-1 \). Y no es así. Por ejemplo:

\( z-y=3^{3k-1}+3^{3k} \)

De forma que \( z-y=a-b=3^{3k-1} \) mod \( 3^{3k} \), \( a-b \) es divisible por \( 3^{3k-1} \) pero \( z-y \) no es divisible por \( 3^{3k} \).

Saludos.

10 Diciembre, 2018, 05:44 pm
Respuesta #14

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

Tengo que:  \( x^3=z^3-y^3\,=\,z^2(z)-y^2(y) \) .  Si divido la ecuación entre  \( 3^{3k} \) ;  Módulo \( 3^{3k} \)  tendré:  \( 0=z^2(a)-y^2(b) \) .  Puesto que  \( 3^{3k} \)  divide á  \( x^3 \) .  Y  " a " sería el resto con  " \( z \) "  -y-  " b " el resto con  " \( y \) " .  Creo que hasta aquí bien.

Si lo que vas a hace es tomar restos módulo "tanto"... no digas que divides por "tanto"; di que tomas restos módulo "tanto". En otro caso puede prestarse a confusión porque en algún momento dividiste "de verdad", y acabase manejando números no enteros.

Entonces entiendo que tomas restos módulo \( 3^{3k} \) en la ecuación \( x^3=z^3-y^3 \). Como \( x \) es divisible por \( 3^k \) obtienes:

\( 0\equiv z^2a-y^2b \) mod \( 3^{3k} \) donde \( a\equiv z \) mod \( 3^{3k} \) y \( b\equiv y \) mod \( 3^{3k} \)

Fíjate que mantengo tu forma de escribirlo, aunque lo lógico por la notación que has usado para los restos de \( z,y \) sería escribir:

\( \color{red}0\equiv a^3-b^3 \) mod \( 3^{3k} \)

Citar
Como también:  \( z-y=x-d \) .  Si divido también entre  \( 3^{3k} \) .  Módulo \( 3^{3k} \)  tendré:  \( a-b=\,1\,\vee\,2\,\vee\,.\,.\vee\,\,R \) .Porque  \( 3^{3k} \)  no divide á  " \( x-d \) ".

Aquí simplemente quieres decir que \( z-y\neq 0 \) mod \( 3^{3k} \) o equivalentemente \( a-b\neq 0 \) mod \( 3^{3k} \) porque \( z-y \) no es divisible por \( 3^{3k} \) .

En ese sentido y sólo a efectos de notación, ¿no te parece más económico decir que \( a-b\neq 0 \) que enumerar todos los valores ("muchos") que SI puede tomar?.

También una vez más justificas la afirmación basándote en alguna propiedad de \( x-d \). Pero para deducir esas propiedades no hace falta para nada usar \( d \), que es una variable que no aporta ninguna información. Tienes cierta tendencia a sobrestimar su utilidad y en algún caso te ha llevado a error.

Ok, intentaré expresarme de forma mejor. Tomo nota de todo. (Quisiste decir: " \( 0\equiv a-b \) mod \( 3^{3k} \) " )

Citar
Citar
Pero como hemos dicho antes que:  \( 0=z^2(a)-y^2(b) \) ;  entonces:  \( z^2=b \)  \( \wedge \)  \( y^2=a \) ,  ¿no?

No tiene porqué. Es decir en general \( 0=pa-qb \) mod \( N \) no significa que \( p=b \) y \( a=q \) mod \( N \). ¡Ni siquiera se da sin trabajar con restos!. \( 2\cdot 14-4\cdot 7 \)=0 por ejemplo.

No profundicé lo suficiente aquí. Ni un poco  ;D


Citar
Citar
Pero como  \( 3^{3k-1} \)  divide á  \( z^2-y^2 \) ,  también dividirá á  \( y^2-z^2 \) .  Y eso significaría que yo podría dividir entre  \( 3^{3k} \)  e incluso con mayores potencias de 3 que ésa á  " \( z-y \) " .  Cuando habíamos establecido que la potencia de 3 mayor que podría dividirlo era de:  " \( 3^{3k-1} \) " .

Aquí no se si te entiendo bien. Pareces creer que si \( z-y=a-b \) mod \( 3^{3k} \) y \( a-b \) es divisible por \( 3^{3k-1} \) entonces \( z-y \) es divisible por una potencia de \( 3 \) mayor que \( 3k-1 \). Y no es así. Por ejemplo:

\( z-y=3^{3k-1}+3^{3k} \)

De forma que \( z-y=a-b=3^{3k-1} \) mod \( 3^{3k} \), \( a-b \) es divisible por \( 3^{3k-1} \) pero \( z-y \) no es divisible por \( 3^{3k} \).

Aquí tampoco hice mis deberes bien. Disculpas. Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr

11 Diciembre, 2018, 08:11 am
Respuesta #15

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,006
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Ok, intentaré expresarme de forma mejor. Tomo nota de todo. (Quisiste decir: " \( 0\equiv a-b \) mod \( 3^{3k} \) " )

No, quise decir lo que puse.

Si \( z\equiv a \) mod \( 3^{3k} \), \( y\equiv b \) mod \( 3^{3k} \), entonces \( z^3\equiv a^3 \) mod \( 3^{3k} \), \( y^3\equiv b^3 \) mod \( 3^{3k} \) y por tanto \( z^3-y^3\equiv a^3-b^3 \) mod \( 3^{3k} \).

Saludos.

13 Diciembre, 2018, 01:50 pm
Respuesta #16

mongar

  • Novato
  • Mensajes: 104
  • Karma: +0/-0
  • Sexo: Masculino
3 divide a x, se pierde generalidad al suponerlo?, segun mis  calculos si el exponente divide a x, no existe solucion entera.

13 Diciembre, 2018, 02:18 pm
Respuesta #17

mongar

  • Novato
  • Mensajes: 104
  • Karma: +0/-0
  • Sexo: Masculino
Siguiendo con el tema y sin afan de corregir ejercicios, como se distinguen segun tu razonamiento las parejas x,y; con la misma diferencia? Asi, por ejemplo, 7, 10 de 10, 13, de 13, 16,  ...,  a mi modo de ver el problema, se hace necesario un descenso finito.

13 Diciembre, 2018, 03:00 pm
Respuesta #18

Fernando Moreno

  • Aprendiz
  • Mensajes: 284
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola mongar,

3 divide a x, se pierde generalidad al suponerlo?, segun mis  calculos si el exponente divide a x, no existe solucion entera.

Me parece bien que hagas tu propio intento. Y si te he podido inspirar en algo, mejor que mejor. Pero yo veo que lo suyo es que lo hagas en un hilo a parte y si quieres, haces referencia al mío. No se pierde generalidad si 3 divide á  \( x \) .  De hecho el caso n = 3 es equivalente a plantearlo de esta forma:  \( x^3+y^3+z^3=0 \) .


Siguiendo con el tema y sin afan de corregir ejercicios, como se distinguen segun tu razonamiento las parejas x,y; con la misma diferencia? Asi, por ejemplo, 7, 10 de 10, 13, de 13, 16,  ...,  a mi modo de ver el problema, se hace necesario un descenso finito.

Aquí no entiendo lo que quieres decir. Pero ya digo que en general no hay distinciones entre  \( x \)  ó  \( y \) .  Te repito, muéstranos tu intento, será interesante.

Un saludo,
An expert is a man who has made all the mistakes, which can be made, in a very narrow field. Niels Bohr