|
minette
|
 |
« : 17/07/2009, 12:55:23 pm » |
|
¿Alguien me puede demostrar que  no puede ser un cuadrado perfecto? t es un entero positivo. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
coquejj
|
 |
« Respuesta #1 : 17/07/2009, 01:40:59 pm » |
|
Trabajando módulo 4: -1 no es residuo cuadrático módulo 4, por lo que un número de la forma  no puede ser un cuadrado perfecto.
|
|
|
|
|
En línea
|
|
|
|
Teón
Moderador Global
Pleno*
Karma: +0/-0
Desconectado
Sexo:
 Argentina
Mensajes: 900
C:.J:.T:.
|
 |
« Respuesta #2 : 19/07/2009, 05:48:53 pm » |
|
Hola Minette Otra forma de verlo, un poco más larga pero bastante básica, es teniendo en cuenta que cualquier  , se lo podrá representar de alguna de las siguientes maneras  además se tiene  Con lo que queda demostrado  Saludos. P.S. Según mi opinión, este tema debió haber sido ubicado en teoría de números.
|
|
|
|
|
En línea
|
Non credo quia absurdum est.
|
|
|
|
minette
|
 |
« Respuesta #3 : 20/07/2009, 05:11:05 am » |
|
A coquejj y Teón Gracias por vuestras respuestas. He de pediros perdón por dos motivos. En primer lugar deciros mi equivocación; al transcribir al foro la cuestión me olvidé de un 3. Entonces la demostración de no poder ser cuadrado perfecto se refiere a  En segundo lugar, pediros perdón por mi retraso en aclararlo. He estado el fin de semana fuera sin acceso a Internet. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
coquejj
|
 |
« Respuesta #4 : 20/07/2009, 09:01:39 am » |
|
En ese caso, observa: Si 
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #5 : 20/07/2009, 11:29:57 am » |
|
A Coquejj
Si t > 1 ¿es posible el cuadrado perfecto?
Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
|
|
minette
|
 |
« Respuesta #7 : 21/07/2009, 07:41:07 am » |
|
A topo23 Gracias por tu respuesta 6.   = entero positivo  si  = par  = no entero Dado que si  = par la curva  no tiene soluciones enteras para t, ¿las puede tener si c es impar? ¿podría no tener ninguna? Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
el_manco
|
 |
« Respuesta #8 : 21/07/2009, 07:58:45 am » |
|
Hola A uno le apetece ir a leer sobre la teoría de curvas elípticas para responder a tu pregunta (como sugirió topo23). Con razonamientos simples no se me ocurre una forma de resovler esa ecuación. Hago esta aclaración porque si esto sigue estando relacionado con Fermat de grado  , ir a curvas elípticas es usar artillería pesada, cosa muy respetable y hasta recomnedable, pero creo, lejos de tus objetivos. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
topo23
|
 |
« Respuesta #9 : 21/07/2009, 08:02:00 pm » |
|
No dices cual es el motivo de tu pregunta, y entonces es difícil tratar de ayudarte adecuadamente. Tratar de resolver la ecuación con curvas elípticas es una forma conocida pero bastante engorrosa, intentar resolverla por medios "mas" simples tampoco parece fácil. Tal vez te interese el método para encontrar soluciones, o solamente saber cuantas soluciones tiene, o encontrar el valor preciso de dichas soluciones.
|
|
|
|
|
En línea
|
.
|
|
|
|
minette
|
 |
« Respuesta #10 : 22/07/2009, 01:51:14 pm » |
|
A topo23 Mi pregunta está relacionada con la desigualdad  . He iniciado este hilo siguiendo las indicaciones de el_manco. El hilo Euler se ha hecho muy largo y farragoso. No tengo ni idea de curvas elípticas y, desde luego, como dice el_mano están lejos de mis objetivos. La respuesta a mi pregunta la tengo muy clara: NO EXISTE ningún valor de t, entero positivo, que satisfaga la igualdad  pero, para esta respuesta me baso en Fermat. Por eso trato de encontrar una demostración sin salirme de los enteros positivos. La cual cosa no hizo Gauss en su demostración de  . Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #11 : 24/07/2009, 07:53:15 am » |
|
El hecho de no haber recibido ningún contraejemplo de el_manco y su ordenador a mi afirmación contenida en la respuesta 10 anterior es casi una garantía de que es cierta. Pero vayamos por partes. Es elemental ver que en la presunta igualdad  para que sea posible, t no puede ser múltiplo de 3 Mi labor de investigación encontrando los valores de  ; no múltiplo de 3, tales que  sí sea múltiplo de 3 me lleva a esta progresión aritmética de razón 3: 4, 7, 10, 13, 16.... el término  Sustituyendo  en el primer miembro de la presunta igualdad se llega a   ![[(c+1) + 6n] [(c-1) - 6n ] = 36 n^3](/foros/Sources/latexrender/pictures/c9748b016784ba3468c6b16dd9d606ec.gif) El primer miembro ha de ser múltiplo de  . Ahora bien como  y  son dos pares consecutivos, los dos no pueden ser múltiplos de 6; o no lo es ninguno o lo es uno de ellos. Si ninguno es múltiplo de 6 no múltiplo de  Si uno de ellos es múltiplo de 6, el corchete que lo sea será múltiplo de 6 pero no de  . Para que esto ocurra n ha de ser múltiplo de 6 pero entonces aumentará el grado de la potencia 6 de  y no se conseguirá nunca la igualdad. Y esto seguirá ocurriendo aunque el corchete sea múltiplo de  Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
el_manco
|
 |
« Respuesta #12 : 24/07/2009, 08:06:54 am » |
|
Hola Esto último es falso: Si uno de ellos es múltiplo de 6, el corchete que lo sea será múltiplo de 6 pero no de  . Para que esto ocurra n ha de ser múltiplo de 6 pero entonces aumentará el grado de la potencia 6 de  y no se conseguirá nunca la igualdad. Y esto seguirá ocurriendo aunque el corchete sea múltiplo de   puede ser múltiplo de  si necesidad de que  sea mútiplo de  . Para cualquier valor de  no múltiplo de seis y cualquier entero  basta tomar:  Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #13 : 28/07/2009, 08:13:11 am » |
|
Si en la presunta igualdad ![[(c+1) + 6n] [(c-1) - 6n] = 36n^3](/foros/Sources/latexrender/pictures/15aeac5ba422417308285e3b8d1748c7.gif) tomamos  :  ;  ;  ;  no entero Igualando  a  ;  ;  ; y  y dando a  el factor mayor obtenemos la misma conclusión:  no entero   par   no entero   no entero  He hecho esta descomposición para preguntaros: si  es primo mayor de 3 ¿está demostrada la desigualdad?.
|
|
|
|
|
En línea
|
|
|
|
|
el_manco
|
 |
« Respuesta #14 : 28/07/2009, 08:24:44 am » |
|
Hola Si está demostrada...¿qué desigualdad?. ¿Demostrada por ti con ese argumento o demostrada por alguien?. Lo que has comprobado es que la ecuación: ![[(c+1) + 6n] [(c-1) - 6n] = 36n^3](/foros/Sources/latexrender/pictures/15aeac5ba422417308285e3b8d1748c7.gif) no tiene soluciones enteras para  . Y de momento no veo que se saque ninguna otra conclusión de lo hecho. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #15 : 29/07/2009, 06:30:40 am » |
|
Hola (1) ![[(c-1)-6n]](/foros/Sources/latexrender/pictures/4474c16ddae9915efcbf74c38255ee5f.gif) (2)  Supongamos que el corchete (2) es múltiplo de   no es múltiplo de n ni de sus primos. Veamos los posibles múltiplos del corchete (2) y los valores del corchete (1) que hagan posible la presunta igualdad: (2) (1)  1  2  3 Estos valores de (1) son imposibles  4  6 __________________________  9  12  18  36 Tomemos ![[(c+1)+6n] = 36](/foros/Sources/latexrender/pictures/a7c3dd220227f2de62edbe4380f29679.gif)     Sustituyendo estos valores de n, c en (2) se comprueba que (2)  Se llega a la misma conclusión si (1) es 18, 12,9. Únicamente cuando (1) es  ;  (2)  Si suponemos ahora que (1) es múltiplo de  no es múltiplo de n ni de sus primos. Siguiendo idéntico razonamiento, no es posible que (1).(2) =  . Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
el_manco
|
 |
« Respuesta #16 : 29/07/2009, 06:41:30 am » |
|
Hola ¿Por qué descompones  , sólo utilizando la descomposicón de  ?. También puedes descomponerse como, por ejemplo:  con  . No estás cubriendoni mucho menos todos los casos. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #17 : 29/07/2009, 08:13:59 am » |
|
Hola, ![[(c-1)-6ab] = 36a^3b^3](/foros/Sources/latexrender/pictures/8f6e95a3efed3e34eea30337f304dcfa.gif) si ![[(c+1) + 6ab]](/foros/Sources/latexrender/pictures/57fd3ff083871dc3dee9969a497f4603.gif) es múltiplo de  ![[(c-1) - 6ab]](/foros/Sources/latexrender/pictures/c7066dc2d53f32785507237a6d5343a6.gif) no puede serlo. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
el_manco
|
 |
« Respuesta #18 : 29/07/2009, 08:28:43 am » |
|
Hola Bien pero lo que yo he dicho es poco parecido a eso. Yo he dicho que si  (no  ) entonces puede ocurrir que:  divida a  divida a O si prefieres si  (y ahora si lo escribo como tu) puede ocurrir que:  divida a  divida a ![[(c-1)-6ab]](/foros/Sources/latexrender/pictures/cebed25301587380932c52ef28f03f02.gif) si  y  son coprimos. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|
minette
|
 |
« Respuesta #19 : 30/07/2009, 06:59:40 am » |
|
A el_manco Hola, Vuelvo a tu respuesta 12. En ella dices que  puede ser múltiplo de 36 cuando  . Lo que ocurre entonces es que el primer corchete ![[(c + 1) + 6 n]](/foros/Sources/latexrender/pictures/1a010c33827ea242eab11aeda09f721c.gif) es múltiplo de 2 y el producto de ambos corchetes es 72 (para k impar), y aunque n sea par el segundo miembro debe seguir siendo 36  Con respecto a tu respuesta 18, por el momento te digo: - La demostración de mi respuesta 15 es válida si n es primo. - También lo es si a, b no son coprimos - y creo que también lo es si a, b son coprimos pero uno es par el otro impar. Saludos.
|
|
|
|
|
En línea
|
|
|
|
|