Usando el principio del casillero para probar una declaración de subconjunto

Question

Estoy tratando de resolver la siguiente pregunta:

Probar: Para cada conjunto de 2016 natural números positivos allí es un subconjunto no vacío tal que la suma de sus elementos es divisible por 2016.

Se siente que esta declaración es válida para cada número natural (distinto de 2016) y podría ser probado por el principio del casillero. He intentado reducir el problema, pero no hubo suerte.

¿Alguna sugerencia?

Answer 1

Mirar el conjunto de $$ \text {{$ a_1, a_1 a_2, a_1 a_2 + a_3,... % $ $}}$

Hay elementos de 2016 para que uno de ellos es divisible por 2016 o dos de ellas tienen el mismo resto.

En cualquier caso tienes tu resultado.