Marathon d’Orsay, deuxième vague

Philémon Varnet
Décembre 2020

Problème 5
Enoncé
Marie a choisi trois suites arithmétiques d’entiers positifs. Elle remarque que chacun des entiers
2, 3, 4, 5, 6, 7 et 8 apparaît dans au moins l’une de ces suites. Est-il vrai que l’entier 2020 fait
nécessairement partie de l’une de ces suites ?

Solution
Réponse : Oui, 2020 fait nécessairement partie de l’une de ces suites.
Démonstration : Montrons le par l’absurde. Soient (un )n∈N , (vn )n∈N , (wn )n∈N trois telles suites,
et supposons que 2020 ne fait partie  d’aucune d’entre elle. Par le principe des tiroirs, il vient que
l’une des suites contient au moins 37 = 3 entiers distincts dans{2,  3, 4, 5, 6, 7, 8}, sans perte de


généralité c’est (un )n∈N . Soit r ∈ N sa raison, alors on a 1 6 r 6 37 = 3.

• Si r = 1, alors il est évident que 2020 fait partie de (un )n∈N , puisqu’elle passe alors par
récurrence directe par tous les entiers supérieurs à 8, dont 2020, contradiction.
• Si r = 2, alors ou bien un de ces entiers est pair, et alors la suite contient par récurrence
directe tous les entiers positifs pairs > 8, donc 2020, absurde ; ou bien ces entiers sont 3, 5 et
7. Dans ce cas, de la même manière que dans le cas r = 1, elle ne peut contenir les entiers
voisins de ceux-ci, soit 2, 4, 6 et 8. Donc une des deux autres suites, disons (vn )n∈N , contient
4, et ne peut contenir ni 2, 6 ou 8 : dans les deux premiers cas elle contiendrait tous les pairs
> 8 par le raisonnement tenu juste avant, et dans le dernier cas elle contiendrait tous les
multiples de 4 supérieurs à 8 par récurrence directe, donc 2020 = 4 · 505, absurde. C’est donc
que (wn )n∈N contient 2, 6, 8 : là encore, on voit qu’elle contient tous les pairs > 8 donc 2020,
contradiction.
• Si r = 3, nécessairement ce sont 2, 5 et 8. De la même manière que dans le cas r = 1, elle
ne peut contenir les entiers voisins de ceux-ci, soit 3, 4, 6 et 7. Alors (vn )n∈N et (wn )n∈N
contiennent 3, 4, 6, 7. Disons que 4 est dans (vn )n∈N : alors par les mêmes raisonnements que
dans les deux autres cas, on ne peut avoir ni 3 ni 6 (ni 2, ni 5, ni 8) dans (vn )n∈N . C’est
donc que (wn )n∈N contient 6, elle ne peut alors contenir 7. Donc (vn )n∈N contient 7, donc
par récurrence directe elle contient tous les entiers de la forme 3k + 1, k ∈ N supérieurs à 8,
dont 2020 = 3 · 673 + 1, contradiction.
Chacun des cas constituant une contradiction avec notre hypothèse de départ, on peut en conclure
qu’elle est fausse : 2020 fait nécessairement partie de l’une de ces suites.