La comunidad de olímpicos, ex-olímpicos, entrenadores y seguidores de la Olimpiada en Chihuahua, wherever they are in the world.
Por supuesto cualquier olímpico mexicano (para que parar ahí, de todo el mundo pues), esta invitado a comentar.
jueves, 23 de diciembre de 2010
Problema del día (23 dic)
Ahora toca números:
Encuentra todas las parejas (n,m) de enteros tales que 2n+3m es un cuadrado perfecto.
Yo tengo una solución que utiliza ternas pitagóricas y sin catalán por si les interesa:
Primero para quitarnos de problemas con que alguna potencia de m,n podría ser 0 vamos a hacer esos casos.
Si n=0 entonces 1+3m=k2. 3m=(k+1)(k−1)
Y es fácil ver que las únicas potencias de 3 con diferencia de 2 son 1 y 3. Entonces k=2 y m=1. Por lo que (0,1) es una solución.
Si m=0 entonces 1+3m=k2. 2n=(k+1)(k−1)
Y también es fácil ver que las únicas potencias de 2 con diferencia de 2 son 2 y 4. Entonces k=3 y n=3. Por lo que (3,0) es otra solución.
Ahora veamos que pasa con n,m≥1
Viendo módulo 3 tenemos que 2n+3m≡2n≡k2≡0,1(mod3)
Pero 2n no puede ser 0 viendolo modulo 3. Entonces 2n≡1(mod3) Ahora nos fijamos que 21≡2(mod3) y que 22≡1(mod3), entonces 2 es el orden de 2 módulo 3, y por lo tanto 2|n y n es par. Sea n=2x La ecuación entonces queda como: 22x+3m=4x+3m=k2
De manera análoga pero usando módulo 4 se puede demostrar que m es par, entonces hagamos m=2y.
Ahora la ecuación queda como 22x+32y=k2 que es lo mismo que: (2x)2+(3y)2=k2 Por lo que (2x,3y,k) es una terna pitagórica, ahora pasemos a demostrar que además es primitiva.
Ver que (2x,3y)=1 es trivial, para ver que (2x,k)=1 nos fijamos en la paridad. y para (3y,k)=1 nos fijamos que teníamos 2n≡k2≡1(mod3), entonces como k tiene inverso multiplicativo módulo 3 entonces (3,k)=1 y por lo tanto (3y,k)=1
Ahora como es una terna primitiva entonces tenemos enteros p,q con p,q primos relativos y p≥q tales que 2x=2pq 3y=p2−q2 k=p2+q2
Notese que 3y no puede ser 2pq. Dado que 2x=2pq entonces 2x−1=pq y nos fijamos entonces que p y q son ambos potencias de dos, pero como tambien son primos relativos entonces uno tiene que ser 1, como habiamos dicho que p≥q, entonces tenemos que q=1 y que p=2x−1
Ahora tenemos que 3y=p2−q2=(p+q)(p−q)=(2x−1+1)(2x−1−1) Pero de nuevo las únicas potencias de 3 que difieren 2, son 1 y 3 Por lo que 2x−1+1=3 y entonces x−1=1 y luego tenemos que x=2 Entonces 3y=3 y luego tenemos que y=1 Volviendo a terminos de n,m tenemos la pareja (4,2)
Por lo que las únicas parejas (n,m) son (0,1),(3,0),(4,2)
Jaja no inventen que poderosos son!!! jaja xD ... me cansé de intentarlo y leí sus soluciones jeje... interesante que todo lo que me faltaba se podía arreglar diciendo "catalan" daa que chistoso... me gusta tu solución Isaí porque nunca se me ocurrió usar ternas pitagoricas!!!... pero ahora me siento mal por haberlo leído antes .... y cuando vimos Catalan??? =S
lista mi solucion
ResponderBorrarencontre tres parejas
(0,1)(4,2)(3,0)
Primero vemos cuando m≥1
tambien hay que ver que el cuadrado no puede ser multiplo de 3, por lo que es ≡1(mod3)
2n+3m≡x2(mod3)
2n≡1(mod3)
Y vemos que las congruencias pares de dos son ≡1 y las impares ≡2, asi que n es par.
n=2k
2n+3m=x2
3m=x2−22k
3m=(x+2k)(x−2k)
(x+2k)−(x−2k)=2k+1
3z−3y=2k+1
3y(3z−y−1)=2k+1
Vemos que 3y debe ser potencia de dos, y la unica es cuando es 1, asi que y=0
3z−1=2k+1
3z−2k+1=1
Por catalan, la unica solucion con z y k+1 mayores a uno es 9−8=1
z=2
k+1=3
k=2
Entonces una solucion es (4,2)
Con uno de los dos igual a 1 o 0 la otra solucion es 3−2=1
Con esto encontramos que (0,1) cumple tambien.
Ahora queda con m=0
2n+3m=x2
2n=x2−1
2n=(x−1)(x+1)
Las unicas potencias de dos con diferencia de dos es 2 y 4.
2n=2×4=8
n=3
Y con esto obtenemos la tercera solucion que es (3,0).
:)
Muy bien Alberto, nomas ya te dije por facebook la parte que hay que explicar mejor.
ResponderBorrarTeorema que podria ser util alguna vez en su vida que es dificil de demostrar:
http://en.wikipedia.org/wiki/Catalan_conjecture
2n+3m=x2
ResponderBorrar3m=x2−22k
3m=(x+2k)(x−2k)
(x+2k)−(x−2k)=2k+1
3z−3y=2k+1
3y(3z−y−1)=2k+1
Para explicarlo mejor, entre estas dos partes debe ir:
(x+2k)=3z
(x−2k)=3y
Y vemos que pasa con su diferencia.
Yo tengo una solución que utiliza ternas pitagóricas y sin catalán por si les interesa:
ResponderBorrarPrimero para quitarnos de problemas con que alguna potencia de m,n podría ser 0 vamos a hacer esos casos.
Si n=0 entonces 1+3m=k2.
3m=(k+1)(k−1)
Y es fácil ver que las únicas potencias de 3 con diferencia de 2 son 1 y 3. Entonces k=2 y m=1. Por lo que (0,1) es una solución.
Si m=0 entonces 1+3m=k2.
2n=(k+1)(k−1)
Y también es fácil ver que las únicas potencias de 2 con diferencia de 2 son 2 y 4. Entonces k=3 y n=3. Por lo que (3,0) es otra solución.
Ahora veamos que pasa con n,m≥1
Viendo módulo 3 tenemos que
2n+3m≡2n≡k2≡0,1(mod3)
Pero 2n no puede ser 0 viendolo modulo 3.
Entonces 2n≡1(mod3)
Ahora nos fijamos que 21≡2(mod3) y que 22≡1(mod3), entonces 2 es el orden de 2 módulo 3, y por lo tanto 2|n y n es par. Sea n=2x
La ecuación entonces queda como:
22x+3m=4x+3m=k2
De manera análoga pero usando módulo 4 se puede demostrar que m es par, entonces hagamos m=2y.
Ahora la ecuación queda como 22x+32y=k2 que es lo mismo que:
(2x)2+(3y)2=k2
Por lo que (2x,3y,k) es una terna pitagórica, ahora pasemos a demostrar que además es primitiva.
Ver que (2x,3y)=1 es trivial, para ver que (2x,k)=1 nos fijamos en la paridad. y para (3y,k)=1 nos fijamos que teníamos 2n≡k2≡1(mod3), entonces como k tiene inverso multiplicativo módulo 3 entonces (3,k)=1 y por lo tanto (3y,k)=1
Ahora como es una terna primitiva entonces tenemos enteros p,q con p,q primos relativos y p≥q tales que
2x=2pq
3y=p2−q2
k=p2+q2
Notese que 3y no puede ser 2pq.
Dado que 2x=2pq entonces 2x−1=pq y nos fijamos entonces que p y q son ambos potencias de dos, pero como tambien son primos relativos entonces uno tiene que ser 1, como habiamos dicho que p≥q, entonces tenemos que q=1 y que p=2x−1
Ahora tenemos que
3y=p2−q2=(p+q)(p−q)=(2x−1+1)(2x−1−1)
Pero de nuevo las únicas potencias de 3 que difieren 2, son 1 y 3
Por lo que 2x−1+1=3 y entonces x−1=1 y luego tenemos que x=2
Entonces 3y=3 y luego tenemos que y=1
Volviendo a terminos de n,m tenemos la pareja (4,2)
Por lo que las únicas parejas (n,m) son (0,1),(3,0),(4,2)
Muy bien Isaí.
ResponderBorrarJaja no inventen que poderosos son!!! jaja xD ... me cansé de intentarlo y leí sus soluciones jeje... interesante que todo lo que me faltaba se podía arreglar diciendo "catalan" daa que chistoso... me gusta tu solución Isaí porque nunca se me ocurrió usar ternas pitagoricas!!!... pero ahora me siento mal por haberlo leído antes .... y cuando vimos Catalan??? =S
ResponderBorrarYo no conocía el teorema antes de que lo mencionara Alberto jeje
ResponderBorrar