Problema 1(IMO 2011)

Versión para impresión
Su voto: Ninguno Media: 5 (3 votos)

Para cualquier conjunto $ A = \{a_1, a_2, a_3, a_4\} $ de cuatro enteros positivos distintos se denota la suma $ a_1 + a_2 + a_3 + a_4 $ con $ s_A $. Sea $ n_A $ el número de parejas $ (i, j) $ con $ 1\leq i < j \leq 4 $ para las cuales $ a_i + a_j $ divide a $ s_A $. Encontrar todos los conjuntos $ A $ de cuatro enteros positivos distintos para los cuales se alcanza el mayor valor posible de $ n_A $.




Imagen de iwakura_isa

Ya que nadie ha comentado una

Ya que nadie ha comentado una solución completa de este problema, lo voy a poner:

SPDG a1<a2<a3<a4

Ahora supongamos que a3+a4|sA=a1+a2+a3+a4 entonces tenemos que a3+a4|a1+a2, y entonces tenemos que a3+a4a1+a2 pero por otro lado tenemos que a1+a2<a3+a4 lo cual es una contradicción.

Ahora supongamos que a2+a4|sA y entonces a2+a4|a3+a1, y entonces a2+a4a3+a1, pero como a1<a2 y a3<a4 de nuevo llegamos a una contradicción.

Por lo que tenemos que nA4, ahora tratemos de encontrar todos los subconjuntos con nA=4, si no hay pues sabemos que no se puede con 4 pero si hay podemos acabar el problema.

Para nA=4 se tiene que cumplir

a2+a3|sA

a1+a4|sA

a1+a2|sA

a1+a3|sA

Y como sA=a1+a2+a3+a4 entonces para las primeras dos se cumple que:

a2+a3|a1+a4

a1+a4|a2+a3

De lo que concluimos que a1+a4=a2+a3 por lo tanto sA=a1+a2+a3+a4=2(a2+a3)

De las otras dos se tiene que:

a1+a3|2(a2+a3)

a1+a2|2(a2+a3)

Por lo tanto existen enteros positivos k1,k2 tales que

(a1+a3)k1=2(a2+a3)

(a1+a2)k2=2(a2+a3)

Si k1=1 entonces tendriamos que sA>a1+a3=2(a2+a3)=sA lo cual es una contradiccion.

Si k1=2 entonces 2a1+2a3=2a2+2a3, por lo que a1=a2 y es una contradicción al hecho de que son distintos.

El mismo argumento es análogo para k2 por lo que k1,k23

Ahora nos fijamos que como a2<a3

(a1+a3)k1=2(a2+a3)<4a3

Por lo que tenemos que

k1<4a3a3+a1=44a1a3+a1<4

Como 3k1<4 entonces k1=3, por lo tanto

3(a1+a3)=2(a2+a3)

a3=2a23a1

Sustuimos eso último en la segunda ecuación y tenemos

(a1+a2)k2=6a26a1

Reacomodando un poco tenemos que

k2=6a26a1a2+a1=612a1a2+a1<6

Y como k23 entonces k2=3,4,5

Si k2=3 entonces tendriamos k2=k1 por lo que a1+a3=a1+a2 y tendriamos que a2=a3 lo cual es una contradicción.

Si k2=4 tendriamos que 4a1+4a2=6a26a1, entonces a2=5a1. Recordando que a3=2a23a1 tenemos que a3=7a1 y como a1+a4=a2+a3 entonces a4=11a1 y es fácil verificar que el conjunto {a1,5a1,7a1,11a1} cumple con nA=4, por lo que además demostramos que éste si era el máximo.

Si k2=5 tenemos que 5a1+5a2=6a26a1, y análogo al caso anterior llegamos al conjunto {a1,11a1,19a1,29a1}, que es fácil de verificar.

Como hemos agotado todos los casos, los conjuntos:

{a1,5a1,7a1,11a1}

{a1,11a1,19a1,29a1}

son los todos los conjuntos con nA máxima.

PD

Si encuentran un error de dedo o algun paso que no sea claro me avisan :)

Y por cierto el problema lo veo más clasificado como Álgebra-Números, que como combi, de hecho hay rumores de que en la shorlist viene como Álgebra. De hecho al principio duré como 2 o 3 horas sin éxito por tratar de llegar a algun argumento de Números, pero apenas se me ocurrió usar más argumentos de Álgebra 20 minutos más de trabajo y me salió.

Imagen de jesus

Yo veo muy bien tu solución

Yo veo muy bien tu solución iwakura_isa. Gracias por compartírnosla.

Creo que tienes razón tal vez su clasificación sea más cercano al álgebra-números que a la combinatoria-números. Voy a meditarlo un poco más, ojalá otras personas nos compartieran su opinión.

Por otro lado, te comparto rápidamente mi solución. Inicio exactamente como tu, probando de la misma manera que nA4 y que nA=4 sólo se satisface cuando a_1+a_2&|s_A\\ a_1+a_3&|s_A\\ a_1+a_4&=a_2+a_3\\

Y luego hago las cosas poquito diferente, defino k y h como sigue: k=a4a3=a2a1>0 y h=a3a2>0. Entonces, tendremos que a2=a1+k, a3=a1+k+h y a4=2k+h. Luego substituyendo en las primeras dos condiciones en (???) y reduciéndolas podemos concluir:

a_1+a_2 | s_A &\Longrightarrow 2a_1+k| 2k+h\\ a_1+a_3| s_A & \Longrightarrow 2a_1+k+h| 2k

Como 2a1+k+h divide a 2k y es mayor que k se llega a que 2a1+k+h=2k, por lo tanto  k=2a1+h.

Substituyendo esta última identidad en la primera implicación de (???) llegamos a que 4a1+h|3h. Y luego (4a1+h)=3h con =1,2, pues con 3 es imposible ya que (4a1+h) sería mayor que 3h.

Con esto terminaría la prueba de forma idéntica. Cada caso =1 y =2 me da las dos familias de soluciones.

Muchas gracias nuevamente por compartir tu solución y espero que te agrade la mía. Al igual que tu también necesité pasar por el uso de desigualdades (<3) para limitar los casos, y eso es muy típico del álgebra.  Ciertamente es más álgebra que combinatoria.