problem: Soit $a, b, c$ et $d$ des entiers naturels non nuls. On suppose que $a!+b!=c!+d!$. Démontrer que $a b=c d$.

solution:
Supposons sans perte de généralité que $a \leqslant b, c \leqslant d$ et $a \leqslant c$. Alors

$$
b!=c!-a!+d!\geqslant d!
$$

donc $b \geqslant d$, de sorte que $a \leqslant c \leqslant d \leqslant b$. L'entier $c$ ! divise donc $c!+d$ ! $-b$ ! $=a$ !, ce qui signifie que $c \leqslant a$, et donc que $a=c$. On en conclut que $b!=d!$, donc que $b=d$ et que $a b=c d$.

problem_match: Exercice 1.

solution_match: Solution de l'exercice 1


solution:
$n^{\circ} 1$ Supposons de nouveau que $a \leqslant b, c \leqslant d$ et $a \leqslant c$. Si $a=c$, on conclut comme précédemment que $b=d$ et que $a b=c d$.
Sinon, on sait que $(a+1)!\geqslant 2 a!$ divise $c!+d!=a!+b!$, donc ne divise ni $a!$, ni $b!$. Cela signifie que $a=b$. La double inégalité

$$
a!+b!\geqslant c!+d!\geqslant 2 \times a!=a!+b!
$$

devient alors une égalité, donc $a=b=c=d$, de sorte que $a b=c d$ malgré tout.

solution_match: Solution alternative


solution:
$n^{\circ} 2$ Supposons simplement que $a \leqslant b$ et $c \leqslant d$. Si $b<d$, alors

$$
c!+d!>d!\geqslant(b+1)!=(b+1) b!\geqslant 2 b!\geqslant a!+b!
$$

ce qui est absurde. On en déduit que $b \leqslant d$ et, de même, que $d \leqslant b$. Ainsi, $b=d$ et $a!=c$ !, donc $a=c$ et $a b=c d$.

Commentaire des correcteurs L'exercice est globalement bien résolu, et les élèves ont eu beaucoup d'idées intéressantes, même si celles-ci ne permettaient pas toujours de conclure. Les élèves ont souvent ordonné $a, b, c$ et $d$, mais parfois en faisant des erreurs de logique: par exemple, certains supposaient que $c$ était le plus petit, montraient que si $c<a, c<b$ et $c<d$ on avait une contradiction, pour en déduire que $c=a$ ou $c=b$, oubliant ainsi le cas $c=d$. Plus généralement, il faut faire attention. Ainsi, on ne pouvait pas supposer d'emblée $a \geqslant c \geqslant d \geqslant b$, mais simplement $a \geqslant b, c \geqslant d$, et $a \geqslant c$ : il n'y a pas de raison à priori que $d \geqslant b$, cela restait à prouver.


problem:
Soit $A B C$ un triangle dont les angles sont aigus et soit $D$ un point situé à l'intérieur du triangle $A B C$. Les droites $(A D)$ et $(B D)$ recoupent le cercle circonscrit au triangle $A B C$ respectivement en les points $A_{1}$ et $B_{1}$. Le cercle circonscrit au triangle $B_{1} D A$ recoupe la droite $(A C)$ au point $P$. Le cercle circonscrit au triangle $A_{1} B D$ recoupe la droite $(B C)$ au point $Q$.
Démontrer que le quadrilatère $C P D Q$ est un parallélogramme.

solution:
Une chasse aux angles de droites indique que

$$
(Q D, C B)=(Q D, Q B)=\left(A_{1} D, A_{1} B\right)=\left(A_{1} A, A_{1} B\right)=(C A, C B),
$$

ce qui signifie que les droites $(Q D)$ et $(A C)$ sont parallèles l'une à l'autre. On démontre de même que

$$
(P D, C A)=(P D, P A)=\left(B_{1} D, B_{1} A\right)=\left(B_{1} B, B_{1} A\right)=(C B, C A)
$$

ce qui signifie que les droites $(P D)$ et $(B C)$ sont parallèles l'une à l'autre. Le quadrilatère $C P D Q$ est donc un parallélogramme.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-03.jpg?height=707&width=775&top_left_y=1057&top_left_x=635)

Commentaire des correcteurs L'exercice est très bien résolu.

problem_match: Exercice 2.

solution_match: Solution de l'exercice 2


problem:
Maena et Théodore jouent à un jeu. Ils jouent sur une grille carrée formée de $99 \times 99$ cases. On considère que deux cases sont adjacentes si elles ont un sommet ou un côté en commun.
Initialement, Maéna numérote les cases de la grille de 1 à $99^{2}$, de façon arbitraire. Théodore place alors un jeton sur l'une des cases du carré, puis il s'autorise des mouvements de la forme suivante : il peut déplacer le jeton d'une case vers une autre uniquement si ces cases sont adjacentes et si la nouvelle case sur laquelle se retrouve le jeton a un numéro strictement plus grand que l'ancienne case.
Combien de mouvements au minimum Théodore peut-il garantir, quelle que soit la manière avec laquelle Maena a placé ses entiers?

solution:
Tout d'abord, Théodore peut toujours se débrouiller pour effectuer au moins trois mouvements. Pour ce faire, il lui suffit de sélectionner un carré de taille $2 \times 2$ à l'intérieur du carré de taille $99 \times 99$, puis d'en parcourir les quatre cases, qui sont nécessairement adjacentes puisqu'elles ont un sommet en commun.
Réciproquement, voici comment peut procéder Maena pour empêcher Théodore d'effecuter plus de trois mouvements. Elle numérote lignes et colonnes de 1 à 99 , puis regroupe les $99 \times 99$ cases du carré en quatre catégories :
$\triangleright$ la catégorie 1 contient les cases situées en une ligne et une colonne impaires;
$\triangleright$ la catégorie 2 contient les cases situées en une ligne impaire et une colonne paire;
$\triangleright$ la catégorie 3 contient les cases situées en une ligne paire et une colonne impaire;
$\triangleright$ la catégorie 4 contient les cases situées en une ligne et une colonne paires.
Deux cases de la même catégorie ne sont jamais adjacentes.
Ensuite, Maena place ses entiers, dans l'ordre croissant, dans des cases de catégorie 1, puis de catégorie 2, puis de catégorie 3, et enfin de catégorie 4. Ainsi, Théodore ne peut jamais se déplacer entre deux cases de même catégorie, et encore moins baisser de catégorie. Tout mouvement augmente donc la catégorie de la case dans laquelle se trouve le jeton de Théodore, qui se voit ainsi limité à effectuer au plus trois mouvements.

Commentaire des correcteurs Dans un problème tel que celui-ci, il y a deux choses à faire:

1. proposer une stratégie que pourra utiliser Maena pour empêcher Théodore de faire trop de mouvements;
2. proposer une stratégie que pourra utiliser Théodore pour faire au moins $k$ mouvements (avec $k$ à choisir) quelle que soit la stratégie de Maena.
Parmi les élèves qui ont recherché une stratégie pour Maena, nombreux sont ceux qui ont conclu qu'elle pouvait empêcher Théodore de faire plus de trois mouvements. Parmi ceux qui ont recherché une stratégie pour Théodore, nombreux sont ceux qui ont conclu qu'il pouvait toujours faire au moins trois mouvements.
Malheureusement, peu nombreux sont les élèves qui ont pensé à rechercher des stratégies pour Maena et pour Théodore. En particulier, démontrer que Théodore peut toujours faire au moins trois mouvements quand Maena suit la stratégie qu'elle a choisi est à peu près inutile, puisque Maena a encore $\left(99^{2}\right)!-1 \approx 10^{34864}$ manières alternatives de numéroter la grille, et qu'il reste alors à démontrer que Théodore peut aussi faire au moins trois mouvements dans chacun de ces $\left(99^{2}\right)!-1$ cas.

problem_match: Exercice 3.

solution_match: Solution de l'exercice 3


problem: Soit $p$ et $q$ deux nombres premiers distincts, tels que $p<2 q$ et $q<2 p$. Démontrer qu'il existe deux entiers consécutifs dont l'un a $p$ pour plus grand facteur premier et l'autre a $q$ pour plus grand facteur premier.

solution:
Supposons sans perte de généralité que $p<q$. Le théorème de Bézout indique qu'il existe des entiers $a$ et $b$ tels que $a p+b q=1$.
On peut toujours remplacer un tel couple $(a, b) \operatorname{par}(a \pm q, b \mp p)$. Par conséquent, si on cherche un couple pour lequel la valeur de $|a|$ est minimale, on sait que $|a-q| \geqslant|a|$ et $|a| \leqslant|a+q|$, de sorte que $|a| \leqslant q / 2<p$.
En outre, puisque $|a p+b q|=1 \leqslant p+q$, les entiers $a$ et $b$ sont de signes opposés, ce qui signifie que les entiers $n=|a| p$ et $m=|b| q$ sont deux entiers consécutifs.
Puisque $|a|<p$, l'entier $n$ a donc $p$ comme facteur premier maximal. En outre, $m \leqslant n+1 \leqslant$ $p^{2} \leqslant q^{2}$, donc $m$ a $q$ comme facteur premier maximal. Les entiers $m$ et $n$ satisfont donc les contraintes de l'énoncé.

Commentaire des correcteurs Seuls deux élèves ont résolu ce problème particulièrement difficile. L'idée était de trouver un nombre $n$, éventuellement négatif, de la forme $n=a p=$ $b q-1$, où $a$ et $b$ n'auraient que de petits facteurs premiers.
Deux approches étaient alors a priori possibles : soit s'assurer que $a$ et $b$ seraient des puissances de $p$ et de $q$, auquel cas le petit théorème de Fermat aurait pu être pertinent, soit s'assurer qu'ils étaient petits. Or, dès que l'on impose à $a$ d'être une puissance de $p$ telle que $a p \equiv 1(\bmod q)$, on n'a plus aucun contrôle sur les facteurs de $b$. Il convenait donc de choisir $a, b$ et $n$ petits, ce qui exigeait de faire appel au théorème de Bézout.
Une dernière difficulté était que l'on devait, au besoin, ne pas hésiter à chosir $n$ négatif, quitte à passer ensuite à la valeur absolue.
Enfin, de manière surprenante, plusieurs élèves se sont contentés de regarder ce qui se passait dans certains cas particuliers, par exemple $p=2$ et $q=3$, ou encore $p=3$ et $q=5$. Regarder des petits cas est toujours une excellente chose, mais il est évidemment indispensable de s'intéresser ensuite au cas général.

## Problèmes Senior

problem_match: Exercice 4.

solution_match: Solution de l'exercice 4


problem: Soit $\mathcal{S}$ un ensemble infini d'entiers naturels non nuls contenant quatre entiers $a, b, c, d$ deux à deux distincts tels que $\operatorname{pgcd}(a, b) \neq \operatorname{pgcd}(c, d)$. Démontrer que $\mathcal{S}$ contient trois entiers $x, y, z$ deux à deux distincts tels que $\operatorname{pgcd}(x, y)=\operatorname{pgcd}(y, z) \neq \operatorname{pgcd}(z, x)$.

solution:
Ci-dessous, on note $m \wedge n$ le plus grand diviseur commun à deux entiers $m$ et $n$. On considère alors le graphe colorié infini dont les sommets sont les éléments de $\mathcal{S}$, et où chaque paire de sommets $(u, v)$ distincts l'un de l'autre est reliée par une arête de couleur $u \wedge v$.
Supposons que les entiers $x, y, z$ n'existent pas. Cela signifie que tout triangle est colorié en utilisant soit une seule couleur, soit exactement trois couleurs.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-06.jpg?height=247&width=864&top_left_y=796&top_left_x=598)

Soit maintenant $u, v$ et $w$ trois éléments de $\mathcal{S}$. Puisque $u, v$ et $w$ comptent chacun un nombre fini de diviseurs, la fonction $f: x \mapsto(u \wedge x, v \wedge x, w \wedge x)$ ne prend qu'un nombre fini de valeurs. Parmi l'infinité d'éléments de $\mathcal{S}$ distincts de $u, v$ et $w$, il en existe donc deux, disons $s$ et $t$, tels que $f(s)=f(t)$, c'est-à-dire que

$$
s \wedge u=t \wedge u, s \wedge v=t \wedge v \text { et } s \wedge w=t \wedge w
$$

Les triangles $(s, t, u),(s, t, v)$ et $(s, t, w)$ sont donc monochromes, et puisqu'ils partagent l'arête $(s, t)$, ils sont de la même couleur, disons $\mathcal{C}$. Mais alors les triangles $(s, u, v)$ et $(s, u, w)$ ont chacun deux arêtes de couleur $\mathcal{C}$, dont ils sont eux aussi monochromes de couleur $\mathcal{C}$, de sorte que $u \wedge v=u \wedge w$.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-06.jpg?height=278&width=443&top_left_y=1643&top_left_x=812)

Ainsi, deux arêtes ayant un sommet commun sont nécessairement de la même couleur, et notre graphe est monochrome. Cela signifie en particulier que

$$
a \wedge b=c \wedge d
$$

en contradiction avec les hypothèses de l'énoncé. Notre hypothèse initiale était donc invalide, ce qui conclut.

problem_match: Exercice 5.

solution_match: Solution de l'exercice 5


solution:
$n^{\circ} 1$ Soit $k$ le PGCD des éléments de $\mathcal{S}$. Si l'on divise chaque élément de $\mathcal{S}$ par $k$, on obtient un ensemble $\mathcal{S}^{\prime}$ qui vérifie toujours l'énoncé et, réciproquement, si $\mathcal{S}^{\prime}$ vérifie l'énoncé, $\mathcal{S}$ le vérifie aussi. On remplace donc $\mathcal{S}$ par $\mathcal{S}^{\prime}$, c'est-à-dire que l'on suppose désormais que $k=1$.
Soit $x$ et $y$ deux éléments de $\mathcal{S}$ tels que $x \wedge y \neq 1$. Il suffit, par exemple, de choisir $(x, y)=(a, b)$ ou $(x, y)=(c, d)$. Si $\mathcal{S}$ admet un élément $z$ premier avec $x$ et $y$, on a $x \wedge z=y \wedge z=1 \neq x \wedge y$, ce qui constitue le résultat souhaité.

Sinon, parmi les facteurs premiers de $x y$, il en existe au moins un, disons $p$, qui divise une infinité d'éléments de $\mathcal{S}$. Notons $\mathcal{S}_{p}$ l'ensemble des éléments de $\mathcal{S}$ qui sont divisibles par $p$. Puisque $k=1$, il existe un élément $t$ de $\mathcal{S}$ qui n'appartient pas à $\mathcal{S}_{p}$. Comme $\mathcal{S}_{p}$ est infini, et puisque la fonction $n \mapsto t \wedge n$ ne prend qu'un nombre fini de valeurs lorsque $n$ varie, il existe deux éléments $u$ et $v$ de $\mathcal{S}_{p}$ tels que $t \wedge u=t \wedge v$. Puisque $p$ divise $u \wedge v$ mais pas $u \wedge v$, on en conclut que $t \wedge u=t \wedge v \neq u \wedge v$, ce qui donne de nouveau le résultat souhaité.

Commentaire des correcteurs L'exercice a été assez discriminant : peu d'élèves ont eu des éléments intéressants et permettant de bien avancer sans avoir intuité et trouvé la solution. Beaucoup des élèves n'ayant pas réussi à avancer se sont focalisés sur $a, b, c$ et $d$. Cependant un élément était clé pour pouvoir avancer : l'infinité de $S$. C'est l'hypothèse la plus cruciale de l'énoncé, et il est dommage que certaines copies se retrouvent à n'utiliser nulle part ce fait, qui est pourtant le plus intéressant de l'énoncé, et incitait à appliquer le principe des tiroirs.
Dans un exercice, même si celui-ci a un aspect arithmétique apparent, il ne faut pas forcément se limiter à ce domaine et aux considérations qui y sont directement liées : l'exercice peut se situer à l'interface entre plusieurs domaines. Ici, certains ont présenté des preuves très combinatoires, d'autres plus arithmétiques:il est important de ne pas se limiter à sa première impression.
Par ailleurs, plus d'un élève sur cinq n'a pas rendu de copies au problème : en olympiades, le premier problème est difficile, mais les problèmes sont en ordre graduel. Il est donc dangereux de faire l'impasse sur le premier problème en espérant mieux réussir après.


problem:
Soit $A, B, C$ et $D$ quatre points situés sur un cercle $\Omega$. Soit $E$ et $F$ les points d'intersection des demi-droites $[B A)$ et $[B C)$ avec la tangente à $\Omega$ en $D$. Soit $T$ un point, situé à l'intérieur du triangle $A B C$, tel que $(T E)$ soit parallèle à $(C D)$ et que $(T F)$ soit parallèle à $(A D)$. Enfin, soit $K$ le point du segment $[D F]$, autre que $D$, tel que $T D=T K$.
Démontrer que les droites $(A C),(D T)$ et $(B K)$ sont concourantes.

solution:
Soit $P$ et $Q$ les points d'intersection des droites (TE) et (TF) avec $(A C)$. Puisque $(E D)$ est tangente à $\Omega$, on sait que

$$
(P A, P E)=(C A, C D)=(D A, D E)
$$

donc que les points $A, D, E$ et $P$ sont appartiennent à un même cercle $\alpha$. On démontre de même que les points $C, D, F$ et $Q$ appartiennent à un même cercle $\beta$.
Cela signifie en outre que

$$
(P Q, P E)=(P A, P E)=(D A, D E)=(F Q, F E)
$$

donc que les points $E, F, P$ et $Q$ appartiennent à un même cercle $\gamma$. Ainsi, $T$ est le centre radical des trois cercles $\alpha, \beta$ et $\gamma$. On s'intéresse donc à l'axe radical des cercles $\alpha$ et $\beta$, qui semble être leur tangente commune en $D$. On note donc $d$ et $d^{\prime}$ les tangentes à $\alpha$ et à $\beta$ en $D$, et on vérifie que

$$
\left(d, d^{\prime}\right)=(d, D E)+\left(D F, d^{\prime}\right)=(A D, A E)+(C F, C D)=(A D, A B)+(C B, C D)=0^{\circ},
$$

ce qui signifie bien que les tangentes $d$ et $d^{\prime}$ sont confondues. En particulier, cette tangente commune contient $T$.
Par conséquent, et puisque le triangle $T D K$ est isocèle en $K$, on sait que

$$
(T P, T K)=(P E, E D)+(E D, T K)=(D P, D T)+(T D, D K)=(D P, D K)
$$

ce qui signifie que $P$ appartient au cercle circonscrit à $D K T$. On démontre de même que $Q$ appartient à ce cercle circonscrit, que l'on note $\tau$.
Forts de toutes ces relations de cocyclicité et de tangence, ensuite que

$$
(K T, K D)=(D K, D T)=(D E, d)=(A E, A D)=(A B, A D)=(B D, D K)
$$

ce qui signifie que les droites $(B D)$ et $(K T)$ sont parallèles. De manière analogue,

$$
\begin{aligned}
(K P, K D) & =(Q P, Q D)=(Q P, Q F)+(Q F, Q D)=(E P, E F)+(C F, C D) \\
& =(C D, K D)+(B C, C D)=(B C, K D)
\end{aligned}
$$

donc $(K P)$ est parallèle à $(B C)$. On démontre de même que $(K Q)$ est parallèle à $(A B)$.
Ces relations de parallélisme indique qu'il existe une homothétie qui envoie $A B C D$ sur $Q K P T$, et le centre de cette homothétie appartient bien aux droites $(A Q)=(C P)=(A C)$, $(B K)$ et $(D T)$.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-09.jpg?height=1069&width=1563&top_left_y=131&top_left_x=241)

Commentaire des correcteurs L'exercice était très long. Dans chacune des solutions possibles, il y avait des points à introduire et beaucoup de relations à deviner puis à démontrer. Beaucoup d'élèves ont bien su démarrer sur l'une ou l'autre des solutions et montrer les premières relations. Une poignée d'élèves est parvenue à tout démontrer.

problem_match: Exercice 6.

solution_match: Solution de l'exercice 6


problem:
Soit $n \geqslant 2$ un entier. Une grenouille se déplace dans une grille de $3 n \times 3 n$ cases, sautant chaque fois d'une case vers la case située juste au-dessus ou juste à droite. Elle souhaite aller du coin en bas à gauche, marqué d'un $S$, au coin en haut à droite, marqué d'un F. Malheureusement, certaines cases sont piégées, et si la grenouille saute sur une telle case, elle y restera prisonnière.
On dit qu'un ensemble de cases piégées est bloquant s'il empêche la grenouille d'aller de la case $S$ à la case $F$. On dit aussi qu'un ensemble bloquant est minimal si, dès lors que l'on retire le piège de l'une des cases de cet ensemble, notre ensemble n'est plus bloquant.
Par exemple, les cases noires de la grille ci-dessous forment un ensemble bloquant minimal.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-10.jpg?height=366&width=375&top_left_y=662&top_left_x=843)
a) Démontrer qu'il existe un ensemble bloquant minimal qui contient au moins $3 n(n-1)$ cases.
b) Démontrer que tout ensemble bloquant minimal contient au plus $3 n^{2}$ cases.

solution:
Colorions notre grille en trois couleurs:
$\triangleright$ en noir, les cases piégées;
$\triangleright$ en rose, les cases non piégées auxquelles la grenouille peut accéder depuis la case S;
$\triangleright$ en vert, les cases non piégées depuis lesquelles la grenouille peut accéder à la case $F$.
Notons que notre grille contient éventuellement des cases incolores.
Notre ensemble de cases piégées est bloquant si et seulement si nulle case n'est à la fois rose et verte, c'est-à-dire si nulle case verte n'est située juste au-dessus ou juste à droite d'une case rose. Notre ensemble bloquant est donc minimal s'il consiste en la seule case $S$, ou bien en la seule case $F$, ou bien ne contient aucune de ces cases et si toute case noire est située juste au-dessus ou juste à droite d'une case rose, et juste en-dessous ou juste à gauche d'une case verte.
De la sorte, on vérifie aisément que la construction ci-dessous nous fournit un ensemble bloquant minimal composé de $n(3 n-2) \geqslant 3 n(n-1)$ cases piégées.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-10.jpg?height=609&width=609&top_left_y=2077&top_left_x=729)

On démontre maintenant que tout ensemble bloquant minimal contient au plus $3 n^{2}$ cases. Étant donné un tel ensemble bloquant minimal, soit $r$ le nombre de cases roses, $p$ le nombre de cases piégées et $v$ le nombre de cases vertes. Au vu de la minimalité de notre ensemble bloquant, et à part la case S , chaque case rose ou noire se trouve juste au-dessus ou juste à gauche d'une case rose. On en déduit que $r-1+p \leqslant 2 r$, c'est-à-dire que $p \leqslant r+1$. On démontre de même que $p \leqslant v+1$, et on en conclut que $3 n^{2} \geqslant(r+p+v) / 3 \geqslant p-2 / 3$, donc que $p \leqslant 3 n^{2}$.
$\underline{\text { Solution alternative } n^{\circ} 1}$ Voici une manière alternative, plus progressive mais nettement plus longue, de démontrer que tout ensemble bloquant minimal contient au plus $3 n^{2}$ cases. On suppose évidemment que cet ensemble n'est pas constitué de la seule case $S$ ou de la seule case $F$, auquel cas on aurait déjà gagné.
On aimerait bien découper dans la grille $3 n \times 3 n$ des rectangles $3 \times 1$ ou $1 \times 3$ contenant chacun une case de chaque couleur, de sorte que les cases n'appartenant à aucun rectangle ne soient pas piégées. On disposerait alors de la borne supérieure tant désirée.
On commence par démontrer que la grille $3 n \times 3 n$ ne contient aucune case incolore. En effet, si une case rose $(x, y)$ a pour voisine une case incolore, il s'agit de sa voisine de gauche ou du dessous. Quitte à effectuer une symétrie par rapport à la diagonale (SF), on suppose que c'est la voisine du dessous, c'est-à-dire $(x, y-1)$. On démontre alors par récurrence sur $k$ que les cases $(x-k, y)$ et $(x-k, y-1)$ sont rose et incolore, comme illustré ci-dessous, les cases incolores étant simplement laissées en blanc.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-11.jpg?height=232&width=421&top_left_y=1249&top_left_x=812)

En effet,
$\triangleright$ la case $(x-k-1, y)$ est nécessairement rose, ce sans quoi aucune des voisines de gauche et du dessous de la case $(x-k, y)$ ne serait rose;
$\triangleright$ la case $(x-k-1, y-1)$ n'est ni rose (sinon sa voisine de droite serait rose), ni verte ou noire (sinon l'une de ses voisines du haut ou de droite serait verte).
En particulier, la case $(0, y)$ est rose tandis que la case $(0, y-1)$ est incolore, ce qui est absurde. Puis, si une case noire $(x, y)$ a pour voisine de gauche ou du dessous une case incolore, on suppose toujours, à symétrie près, que cette case incolore est $(x, y-1)$. Mais alors $(x-1, y)$ est rose et $(x-1, y-1)$ est incolore, ce qui est impossible.
Enfin, quitte à effectuer une symétrie par rapport à la médiatrice de [SF] et à échanger les couleurs rose et verte, une case incolore ne peut pas non plus se situer en haut ou à droite d'une case noire, ni être adjacente à une case verte. Ainsi, nulle case n'est incolore.
On entreprend désormais de démontrer que chaque case noire, sauf les éventuels coins noirs, a soit une case rose à sa gauche et une case verte à sa droite, soit une case rose en-dessous et une case verte au-dessus. Dans les deux cas, on dira que ces trois cases forment un rectangle tricolore.
Si une case noire est disposée sur le côté bas, sa voisine de gauche est nécessairement rose, et sa voisine de droite n'est ni rose ni noire, donc elle est verte. On traite de même les autres cases noires situées sur les côtés, et on s'intéresse désormais aux cases éloignées des côtés.
Supposons que l'on dispose d'une case noire, disons en position $(x, y)$, dont la voisine de droite, en position $(x+1, y)$, est rose ou noire. Toute case rose ou noire a une case rose à sa
gauche ou juste en-dessous. Par conséquent, la case $(x+1, y-1)$ est rose. De même, toute case verte ou noire a une case verte à sa droite ou juste au-dessus, donc la case ( $x, y-1$ ) est rose et la case $(x, y+1)$ est verte. La case $(x, y)$ appartient donc à un rectangle tricolore.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-12.jpg?height=298&width=238&top_left_y=339&top_left_x=903)

Quitte à appliquer une symétrie par rapport au milieu de $[S F]$, ce qui échangera les couleurs verte et rose, on démontre de même que, si la voisine de gauche de $(x, y)$ est verte ou noire, la case $(x, y)$ appartient à un rectangle tricolore. Enfin, si la voisine de gauche de $(x, y)$ est rose et sa voisine de droite est verte, la case $(x, y)$ appartient de facto à un rectangle tricolore horizontal.
On peut donc, pour chaque case noire autre que les cases situées dans les coins, choisir un rectangle tricolore dont elle est la case centrale. Par ailleurs, si une case noire est située dans le coin en haut à gauche ou en bas à droite, on peut tout de même l'insérer dans un L tricolore plutôt que dans un rectangle tricolore. Il reste à étudier le cas où deux zone de notre sélection (qui seront communément des rectangles) auraient une case commune.
Si deux rectangles tricolores partagent leur case verte, disons $(x, y)$, on est dans la situation représentée ci-dessous. Par construction, les cases $(x-1, y)$ et $(x, y-1)$ sont noires et les cases $(x-2, y)$ et $(x, y-2)$ sont roses, puis on montre que les quatre cases du carré $2 \times 2$ situé en bas à gauche sont roses elles aussi. Cette situation est illustrée ci-dessous, à gauche, les deux rectangles étant mis en surbrillance.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-12.jpg?height=201&width=495&top_left_y=1530&top_left_x=783)

On décide alors de supprimer nos deux rectangles et les remplacer par la zone en forme de et mise en surbrillance ci-dessus, à droite. Celle-ci a certes le mauvais goût de ne plus contenir deux cases de chaque couleur, mais elle ne contient néanmoins que deux cases noires sur six. En outre, aucune case de notre motif n'appartient à un rectangle autre que ceux que nous avons supprimés, ni à un autre motif que nous aurions créé, car un tel motif est bordé par des rectangles tricolores de notre sélection sur ses côtés haut et droit.
De même, chaque case noire de notre motif ne sera intégrée à aucun autre motif ou rectangle, et chaque case rose du motif
Le même phénomène peut bien sûr être mis en place si deux rectangles ont une case rose commune, auquel cas on les remplace par une zone $\boldsymbol{\Psi}$ formée de deux cases piégées et de quatre cases vertes n'appartenant à aucun rectangle.
Enfin, le coin en haut à gauche est piégé, et si le L tricolore auquel il appartient partage sa case verte avec un rectangle tricolore, comme illustré ci-dessous à gauche, on le remplace par le rectangle formé des cases $(1,3 n-2),(1,3 n-1),(1,3 n)$, comme illustré ci-dessous à droite. Les autres cas d'intersection entre un L situé dans un coin et un rectangle se traitent de la même manière.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-13.jpg?height=197&width=441&top_left_y=128&top_left_x=810)

En conclusion, nous sommes parvenus à découper dans notre grille $3 n \times 3 n$ des zones deux à deux disjointes dont chacune contient un tiers de cases piégées, et dont l'union recouvre l'ensemble des cases piégées. Ainsi, comme désiré, au plus un tiers des cases de la grille sont piégées.

Commentaire des correcteurs La question a) était difficile et la question b) était très difficile, au point que seul un élève l'a résolue.
L'idée, pour trouver la construction de la question a), était de partir d'un coloriage des lignes de la grille en rose, noir, vert, rose, noir, vert, etc, puis de le modifier à la marge pour que ce coloriage respecte les règles de l'énoncé : en-dessous ou à gauche d'une case rose ou noire se trouve une case rose, et au-dessus ou à droite d'une case noire ou verte se trouve une case verte.
Pour la question b), plusieurs élèves ont tenté des approches analogues à celle, longue et ardue, de la solution alternative. En particulier, l'affirmation selon laquelle tout carré $3 \times 3$ de la grille contient au plus trois cases piégées est incorrecte.
Enfin, plusieurs élèves ont eu le mauvais réflexe de regarder uniquement les cas $n=1$ et $n=2$, trouvant sans surprise des ensembles piégés minimaux à $3 n \geqslant 3 n(n-1)$ cases. C'est bien sûr à partir de $n=3$, c'est-à-dire lorsque $3 n<3 n(n-1)$, que l'on pouvait espérer voir des ensembles bloquants minimaux pertinents.

## Problèmes EGMO

problem_match: Exercice 7.

solution_match: Solution de l'exercice 7


problem:
Soit $A B C D$ un parallélogramme. Une droite $d$ passant par $C$ coupe respectivement les droites $(A B)$ et $(A D)$ en $X$ et en $Y$. Les tangentes en $X$ et en $Y$ au cercle circonscrit à $A X Y$ se coupent en un point $T$, puis la droite $(C T)$ recoupe le cercle circonscrit à $C D Y$ en un point $P$.
Démontrer que les points $A, B, D$ et $P$ sont cocycliques.

solution:
Dans la suite, on note $\mathcal{C}_{\mathcal{P}}$ le cercle circonscrit à un triangle $\mathcal{P}$.
Puisque $(T X)$ est tangente à $\mathcal{C}_{A X Y}$, une chasse aux angles indique que

$$
(X T, X Y)=(A X, A Y)=(D C, D Y)=(P C, P Y)=(P T, P Y)
$$

ce qui signifie que $P$ appartient à $\mathcal{C}_{T X Y}$.
De même, puisque $(T Y)$ est tangente à $\mathcal{C}_{A X Y}$, une chasse aux angles indique que

$$
(P C, P X)=(P T, P X)=(Y T, Y X)=(A Y, A X)=(B C, B X),
$$

ce qui signifie que $P$ appartient à $\mathcal{C}_{B C X}$.
On en conclut que

$$
(B P, B A)=(B P, B X)=(C P, C X)=(C P, C Y)=(D P, D Y)=(D P, D A)
$$

ce qui signifie que $P$ appartient à $\mathcal{C}_{A B D}$.
![](https://cdn.mathpix.com/cropped/2024_12_06_b0ef4448250f1abc8c9dg-14.jpg?height=563&width=701&top_left_y=1369&top_left_x=689)

problem_match: Exercice 8.

solution_match: Solution de l'exercice 8


solution:
$n^{\circ} 1$ Le tracé de la figure suggère que $(T Y)$ est tangente aux deux cercles $\mathcal{C}_{A X Y}$ et $\mathcal{C}_{C D Y P}$. On vérifie alors que c'est bien le cas, puisque

$$
(Y T, Y D)=(Y T, Y A)=(A Y, A X)=(D Y, D C)
$$

Ainsi, $T$ est le centre radical des trois cercles $\mathcal{C}_{A X Y}, \mathcal{C}_{C D Y P}$ et $\mathcal{C}_{P C X}$, et puisque l'axe radical $(T X)$ des cercles $\mathcal{C}_{A X Y}$ et $\mathcal{C}_{P C X}$ est tangent à $\mathcal{C}_{A X Y}$, il est aussi tangent à $\mathcal{C}_{P C X}$.
On en déduit en particulier que

$$
(P X, P C)=(X T, X C)=(X T, X Y)=(A X, A Y)=(B X, B C),
$$

de sorte que $B$ appartient à $\mathcal{C}_{P C X}$, et que

$$
(X T, X P)=(C X, C P)=(C Y, C P)=(Y T, Y P)
$$

de sorte que $P$ appartient à $\mathcal{C}_{T X Y}$.
On en conclut comme précédemment que

$$
(B P, B A)=(B P, B X)=(C P, C X)=(C P, C Y)=(D P, D Y)=(D P, D A)
$$

ce qui signifie que $P$ appartient à $\mathcal{C}_{A B D}$.
Commentaire des correcteurs L'exercice a été bien abordé : plusieurs élèves ont proposé une solution complète et plusieurs élèves ont produit des avances significative. Le plus difficile ici était de remarquer la multitude de points cocycliques. Une bonne figure était encore une fois essentielle ici pour pouvoir effectuer des conjectures et les prouver.


problem:
Trouver les entiers $n$ pour lesquels l'égalité

$$
\sum_{i=1}^{n} \sum_{j=1}^{n}\left\lfloor\frac{i \times j}{n+1}\right\rfloor=\frac{n^{2}(n-1)}{4}
$$

est vérifiée.
On rappelle que, pour tout nombre réel $x$, la notation $\lfloor x\rfloor$ désigne la partie entière de $x$, c'est-à-dire le plus grand entier inférieur ou égal à $x$.

solution:
Pour tout entier $k$, on note $r_{n+1}(k)$ le reste de la division euclidienne de $k$ par $n+1$, c'est-à-dire le plus petit entier naturel tel que $n+1$ divise $k-r_{n+1}(k)$. La double somme de gauche se réécrit alors comme

$$
\begin{aligned}
\mathcal{S} & =\sum_{i=1}^{n} \sum_{j=0}^{n} \frac{i j-r_{n+1}(i j)}{n+1} \\
& =\frac{1}{n+1}\left(\sum_{i=1}^{n} i\right)\left(\sum_{j=0}^{n} j\right)-\frac{1}{n+1} \sum_{i=0}^{n} \sum_{j=0}^{n} r_{n+1}(i j) \\
& =\frac{1}{n+1} \frac{n(n+1)}{2} \frac{n(n+1)}{2}-\frac{1}{n+1} \sum_{i=0}^{n} \sum_{j=0}^{n} r_{n+1}(i j) \\
& =\frac{n^{2}(n+1)}{4}-\frac{1}{n+1} \sum_{i=0}^{n} \sum_{j=0}^{n} r_{n+1}(i j) .
\end{aligned}
$$

Il s'agit donc de trouver les entiers $n$ pour lesquels

$$
\sum_{i=1}^{n} \sum_{j=0}^{n} r_{n+1}(i j)=(n+1)\left(\frac{n^{2}(n+1)}{4}-\frac{n^{2}(n-1)}{4}\right)=\frac{n^{2}(n+1)}{2}
$$

Soit alors $i$ un entier, puis soit $d=\operatorname{PGCD}(i, n+1)$ et $k=(n+1) / d$ et $\ell=i / d$. Les entiers $k$ et $\ell$ sont premiers entre eux, donc les $k$ entiers $0, \ell, 2 \ell, \ldots,(k-1) \ell$ représentent les $k$ résidus modulo $k$, et les $k$ entiers $0, i, 2 i, \ldots,(k-1) i$ représentent les $k$ résidus $0, d, 2 d, \ldots,(k-1) d$ modulo $n+1=k d$. En particulier, pour tout entier $t$, on sait que

$$
\sum_{j=k t}^{(k+1) t-1} r_{n+1}(i j)=\sum_{j=0}^{k-1} j d=d \frac{k(k-1)}{2}
$$

de sorte que

$$
\sum_{j=0}^{n-1} r_{n+1}(i j)=\sum_{t=0}^{d-1} \sum_{j=k t}^{(k+1) t-1} r_{n+1}(i j)=d^{2} \frac{k(k-1)}{2}=\frac{(n+1)(n+1-d)}{2}
$$

En particulier,

$$
\sum_{j=0}^{n-1} r_{n+1}(i j) \leqslant \frac{n(n+1)}{2}
$$

avec égalité si et seulement si $d=1$, donc si $i$ et $n+1$ sont premiers entre eux. Ainsi,

$$
\sum_{i=1}^{n} \sum_{j=0}^{n} r_{n+1}(i j) \leqslant \frac{n^{2}(n+1)}{2}
$$

avec égalité si et seulement si $n+1$ est premier avec chacun des entiers $1,2, \ldots, n$, c'est-à-dire si $n+1$ est un nombre premier.
En conclusion, les entiers recherchés sont les entiers $n$ tels que $n+1$ est premier.
$\underline{\text { Solution alternative } n^{\circ} 1}$ Dans la suite, on pose $s_{i, j}=i j /(n+1)$ et $\mathcal{S}_{i}=\sum_{j=1}^{n}\left\lfloor s_{i, j}\right\rfloor$. Pour tout $j \leqslant n$, on note que $s_{i, j}+s_{i, n+1-j}=i$. Par conséquent, si l'on pose $s_{i, j}=k+x$ avec $k$ entier et $0 \leqslant x<1$, on en déduit que

$$
\left\lfloor s_{i, j}\right\rfloor+\left\lfloor s_{i, n+1-j}\right\rfloor=\lfloor k+x\rfloor+\lfloor(i-k-1)+(1-x)\rfloor=i-1+\lfloor 1-x\rfloor,
$$

de sorte que $\left\lfloor s_{i, j}\right\rfloor+\left\lfloor s_{i, n+1-j}\right\rfloor \geqslant i-1$ avec égalité si et seulement si $x \neq 0$, c'est-à-dire si $n+1$ ne divise pas $i j$.
Or, quand $j$ décrit l'ensemble $\{1,2, \ldots, n-1\}, n+1-j$ décrit aussi cet ensemble. On en déduit que

$$
2 \mathcal{S}_{i}=\sum_{j=1}^{n}\left\lfloor s_{i, j}\right\rfloor+\left\lfloor s_{i, n+1-j}\right\rfloor \geqslant \sum_{j=1}^{n}(i-1)=n(i-1)
$$

avec égalité si et seulement si $n+1$ ne divise aucun produit $i j$, c'est-à-dire si $n+1$ est premier avec $i$. On en conclut alors que

$$
\mathcal{S}=\sum_{i=1}^{n} \mathcal{S}_{i} \geqslant \frac{n}{2} \sum_{i=1}^{n}(i-1)=\frac{n^{2}(n-1)}{4}
$$

avec égalité si et seulement si $n+1$ est premier avec tous les entiers $i$, c'est-à-dire si $n+1$ est un nombre premier.
Ainsi, les entiers $n$ recherchés sont exactement ceux pour lesquels $n+1$ est premier.
Commentaire des correcteurs L'exercice était difficile, et peu d'élèves ont réussi à avancer. Une vraie difficulté était de se convaincre qu'il existait des entiers $n$ arbitrairement grands pour lesquels l'énoncé était vrai. Ici, traiter les petits cas donnait une bonne intuition des $n$ solutions, mais il fallait en traiter beaucoup. Par conséquent, de de nombreuses élèves ont essayé d'utiliser des inégalités pour montrer que, lorsque $n$ était arbitrairement grand, la somme allait devenir plus grande ou plus petite que $n^{2}(n-1) / 4$. Au vu de la solution de cet exercice, cette stratégie était malheureusement vouée à l'échec.
Les élèves ayant trouvé le problème ont fait comme dans la solution 2, dont l'astuce principale est non sans rappeler la solution du problème 16 de la coupe Animath d'automne : il est important de lire les corrigés des exercices non trouvés, car ceux-ci peuvent aider à avancer dans des problèmes très différents.

problem_match: Exercice 9.

solution_match: Solution de l'exercice 9


problem:
Soit $n$ un entier naturel. On dit qu'un ensemble fini d'entiers est $n$-équilibré s'il y a exactement $n$ manières de le partitionner en deux sous-ensembles de même somme. Par exemple, l'ensemble $\{1,3,4,5,6,7\}$ est 2-équilibré, car les seules manières de le partitionner en deux sous-ensembles de même somme sont de le partitionner en $\{1,3,4,5\}$ et $\{6,7\}$, ou bien en $\{1,5,7\}$ et $\{3,4,6\}$.
Trouver tous les entiers $n \geqslant 0$ pour lesquels il existe un ensemble $n$-équilibré.

solution:
Tout d'abord, l'ensemble $\{1\}$ est 0 -équilibré et l'ensemble $\{1,2,3\}$ est 1-équilibré.
Étant donné un entier $n \geqslant 2$, nous allons démontrer que l'ensemble

$$
E=\{k: 3 n \leqslant k \leqslant 4 n-1\} \cup\{k: 4 n+1 \leqslant k \leqslant 5 n\} \cup\{8 n(n-2)\}
$$

est $n$-équilibré. En effet, si l'on note $\Sigma_{X}$ la somme des éléments d'un ensemble $X$, partitionner $E$ en deux sous-ensembles de même somme revient à choisir un sous-ensemble $X$ de $E$ contenant l'entier $8 n(n-2)$ et dont la somme vaut

$$
\Sigma_{X}=\frac{\Sigma_{E}}{2}=\frac{1}{2}\left(8 n(n-2)+\sum_{\ell=1}^{n}((4 n-\ell)+(4 n+\ell))\right)=\frac{1}{2}\left(8 n(n-2)+8 n^{2}\right)=8 n(n-1)
$$

Autrement dit, cela revient à sélectionner un sous-ensemble $Y$ de $E^{\prime}=E \backslash\{8 n(n-2)\}$ pour lequel $\Sigma_{Y}=8 n$.
Puisque $\max E^{\prime}<8 n<3 \min E^{\prime}$, un tel ensemble $Y$ contient exactement 2 éléments. Les ensembles $Y$ recherchés sont donc les ensembles de la forme $\{4 n-\ell, 4 n+\ell\}$ avec $1 \leqslant \ell \leqslant n$. Il existe $n$ tels ensembles, donc $E$ est bien $n$-équilibré, comme souhaité.

Commentaire des correcteurs L'exercice était difficile, et une seule élève est parvenue à le résoudre. Une première étape consistait à étudier les petites valeurs de $n$. Ici, il est dommage que plusieurs élèves aient oublié le cas $n=0$. Une difficulté importante était ensuite de se figurer que tout entier était en fait solution. L'idée, pour le démontrer, était d'imposer l'apparition d'un ou plusieurs nombres dans l'ensemble $E$, que l'on aura préalablement choisis aussi grands que possible, de manière à se ramener à un problème légèrement plus simple : étant donné une somme $s$ et un ensemble $E$ combien y a-t-il de sous-ensembles de $E$ dont la somme vaut $s$ ?

problem_match: Exercice 10.

solution_match: Solution de l'exercice 10