Para cualquier conjunto de cuatro enteros positivos distintos se denota la suma con . Sea el número de parejas con para las cuales divide a . Encontrar todos los conjuntos de cuatro enteros positivos distintos para los cuales se alcanza el mayor valor posible de .
Enviado por iwakura_isa el 6 de Agosto de 2011 - 10:05.
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+a4≤a1+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+a4≤a3+a1, pero como a1<a2 y a3<a4 de nuevo llegamos a una contradicción.
Por lo que tenemos que nA≤4, 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,k2≥3
Ahora nos fijamos que como a2<a3
(a1+a3)k1=2(a2+a3)<4a3
Por lo que tenemos que
k1<4a3a3+a1=4−4a1a3+a1<4
Como 3≤k1<4 entonces k1=3, por lo tanto
3(a1+a3)=2(a2+a3)
a3=2a2−3a1
Sustuimos eso último en la segunda ecuación y tenemos
(a1+a2)k2=6a2−6a1
Reacomodando un poco tenemos que
k2=6a2−6a1a2+a1=6−12a1a2+a1<6
Y como k2≥3 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=6a2−6a1, entonces a2=5a1. Recordando que a3=2a2−3a1 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=6a2−6a1, 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ó.
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 nA≤4 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=a4−a3=a2−a1>0 y h=a3−a2>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:
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.
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+a4≤a1+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+a4≤a3+a1, pero como a1<a2 y a3<a4 de nuevo llegamos a una contradicción.
Por lo que tenemos que nA≤4, 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,k2≥3
Ahora nos fijamos que como a2<a3
(a1+a3)k1=2(a2+a3)<4a3
Por lo que tenemos que
k1<4a3a3+a1=4−4a1a3+a1<4
Como 3≤k1<4 entonces k1=3, por lo tanto
3(a1+a3)=2(a2+a3)
a3=2a2−3a1
Sustuimos eso último en la segunda ecuación y tenemos
(a1+a2)k2=6a2−6a1
Reacomodando un poco tenemos que
k2=6a2−6a1a2+a1=6−12a1a2+a1<6
Y como k2≥3 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=6a2−6a1, entonces a2=5a1. Recordando que a3=2a2−3a1 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=6a2−6a1, 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ó.
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 nA≤4 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=a4−a3=a2−a1>0 y h=a3−a2>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:
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.