problem:
On place quatre points dans le plan, trois jamais alignés, et on les relie tous deux à deux. On colorie chacun des six segments obtenus soit en bleu soit en rouge. Montrer qu'il existe deux triangles différents coloriés de la même façon. Par exemple, dans l'exemple suivant (où l'on a remplacé rouge par épais et bleu par pointillé), ABD et ACD sont coloriés de la même façon.
![](https://cdn.mathpix.com/cropped/2024_12_24_dbf997db2c6b7fd9e7cfg-01.jpg?height=283&width=348&top_left_y=1642&top_left_x=886)

solution: Il y a quatre façons différentes de colorier un triangle (avec zéro, un, deux ou trois segments rouges) et il y a quatre triangles dessinés. Donc, soit deux triangles sont coloriés de la même façon, soit tous les triangles sont différents. Montrons que le deuxième cas n'est pas possible. En effet, deux triangles différents partagent toujours deux sommets en commun, donc un côté en commun. Or, si tous les triangles sont différents, il y a un triangle entièrement bleu, et un autre entièrement rouge. Leur côté commun serait alors à la fois rouge et bleu, impossible. Finalement, on a bien deux triangles coloriés de la même façon.

problem_match: ## Exercice 1.

solution_match: ## Solution de l'exercice 1


problem:
Pour quel $n \geqslant 1$ peut-on remplir un échiquier $n \times n$ avec des pièces de la forme
![](https://cdn.mathpix.com/cropped/2024_12_24_dbf997db2c6b7fd9e7cfg-02.jpg?height=117&width=166&top_left_y=454&top_left_x=977)
sans qu'elles se recouvrent? (Les rotations sont autorisées).

solution:
Supposons que nous avons réussi à recouvrir un échiquier $\mathrm{n} \times \mathrm{n}$. Une pièce recouvre 4 cases. Donc clairement 4 divise $n^{2}$ donc $n$ est pair. Maintenant, chaque pièce recouvre soit trois cases noires et une case blanche de l'échiquier, soit l'inverse. Or, comme n est pair, il y a autant de cases noires que de cases blanches. Il faut donc autant de pièces recouvrant trois cases noires que de pièces recouvrant trois cases blanches. Par conséquent, il y a un nombre pair de pièces, d'où 8 divise $n^{2}$. Donc, si l'on parvient à couvrir un échiquier $n \times n$, alors 4 divise n .
Réciproquement, si 4 divise $n$, on peut facilement recouvrir l'échiquier avec des blocs $4 \times 4$.
![](https://cdn.mathpix.com/cropped/2024_12_24_dbf997db2c6b7fd9e7cfg-02.jpg?height=147&width=145&top_left_y=1211&top_left_x=990)

problem_match: ## Exercice 2.

solution_match: ## Solution de l'exercice 2


problem: Soient $A_{1}, A_{2}, \ldots, A_{m}$ des sous-ensembles distincts de $\{1,2, \ldots, n\}$ tels que pour tout $1 \leqslant$ $\boldsymbol{i}, \mathbf{j} \leqslant \mathrm{n}$ on a $A_{i} \cap A_{j} \neq \emptyset$. Montrer $m \leqslant 2^{n-1}$.

solution:
Considérons toutes les paires d'ensembles $\left\{A, A^{c}\right\}$ pour tout $A \subset\{1,2, \ldots, n\}$. Puisqu'il y a $2^{n-1}$ telles paires, si $m>2^{n-1}$ on aurait $1 \leqslant i<j \leqslant m$ tels que $A_{i}, A_{j} \in\left\{A, A^{c}\right\}$ pour un $A \subset\{1,2, \ldots, n\}$. Donc $A_{i} \cap A_{j}=\emptyset$ ce qui contredit notre hypothèse.

## Exercices communs

problem_match: Exercice 3.

solution_match: ## Solution de l'exercice 3


problem: Combien de tableaux $3 \times 3$ peut-on construire en les remplissant avec les nombres de 1 à 3 tels qu'il n'y ait pas deux fois le même nombre dans une ligne ni dans une colonne. Et de tableaux $4 \times 4$ avec les nombres de 1 à 4 ?

solution:
Nous présentons ci-dessous une preuve complète de l'exercice. Il n'était pas nécessaire d'être aussi précis pour avoir tous les points mais il est bon, lorsque que l'on compte des objets, d'avoir une idée de la preuve pour démontrer que nous n'avons rien oublié ni compté en double.

Nous avons six façons de remplir la première rangée (trois façons de placer le 1 puis deux de placer le 2 puis une seule possibilité pour placer le 3). Ensuite, il nous reste deux façons de remplir la colonne contenant déjà un 1 (ce qui fait douze en tout). On se retrouve avec, par exemple, le tableau

$$
\left[\begin{array}{lll}
2 & 1 & 3 \\
& 2 & A \\
& 3 &
\end{array}\right] .
$$

On se rend compte qu'il n'y a qu'une seule façon de remplir la case $A$, c'est-à-dire celle qui est dans la rangée contenant un 2 et dans la colonne contenant un 3 . Puis on complète le tableau de la seule manière possible.
On a donc douze façons de remplir un tableau $3 \times 3$ comme dans l'énoncé.

Pour les tableaux $4 \times 4$, c'est à peu près la même idée. Nous avons vingt-quatre façons de remplir la première rangée et six façons de remplir la colonne contenant un 1 . Nous obtenons un tableau ressemblant à

$$
\left[\begin{array}{cccc}
2 & 1 & 4 & 3 \\
& 4 & & \\
A_{3,2} & 3 & & \\
& 2 & &
\end{array}\right] .
$$

Maintenant, notons $A_{k, l}, k, l \in\{2,3,4\}$, la case dans la rangée contenant $k$ et la colonne contenant l. Nous voyons qu'il y a deux possibilités pour remplir $A_{3,2}$ :

- si l'on remplit $A_{3,2}$ avec 1 , nous n'aurons plus qu'une seule possibilité pour $A_{4,2}$ puis, dans l'ordre, $A_{2,2}, A_{3,4}, A_{3,3}, A_{4,4}, A_{4,3}, A_{2,4}$ et $A_{2,3}$. On obtient l'unique tableau

$$
\left[\begin{array}{llll}
2 & 1 & 4 & 3 \\
3 & 4 & 1 & 2 \\
1 & 3 & 2 & 4 \\
4 & 2 & 3 & 1
\end{array}\right]
$$

- si l'on remplit $A_{3,2}$ avec 4 nous avons de nouveau deux possibilités:
* on remplit $A_{4,2}$ avec 1 puis on remplit les autres cases de la seule façon possible.

$$
\left[\begin{array}{llll}
2 & 1 & 4 & 3 \\
1 & 4 & 3 & 2 \\
4 & 3 & 2 & 1 \\
3 & 2 & 1 & 4
\end{array}\right] .
$$

* on remplit $A_{4,2}$ avec 3 puis on remplit $A_{2,2}, A_{2,4}$ et $A_{2,3}$ de la seule façon possible. Il reste deux façons de remplir le tableau obtenu.

$$
\left[\begin{array}{llll}
2 & 1 & 4 & 3 \\
3 & 4 & & \\
4 & 3 & & \\
1 & 2 & 3 & 4
\end{array}\right] .
$$

Remarque que toutes les affirmations sont toujours vraies, pas seulement dans l'exemple. Donc, quelque soit la façon de remplir la première rangée et la colonne contenant un 1, il reste toujours quatre façons de remplir le tableau. Il y a donc en tout $24 \cdot 6 \cdot 4=576$ façons de remplir un tableau $4 \times 4$ selon l'énoncé.

problem_match: ## Exercice 4.

solution_match: ## Solution de l'exercice 4


problem: Peut-on arranger les nombres $1,1,2,2, \ldots, 50,50$ tels que, pour tout $1 \leqslant k \leqslant 50$, entre les deux nombres $k$ il y ait exactement $k$ éléments.

solution:
La réponse est non. Supposons, par l'absurde, qu'on le peut. Pour tout $1 \leqslant k \leqslant 50$, soit $a_{k}$ un entier tel que $a_{k}$ et $a_{k}+k+1$ sont les positions des deux $k$. Évidemment, on a

$$
\sum_{k=1}^{50}\left(a_{k}+a_{k}+k+1\right)=1+2+\ldots+100
$$

En regardant l'égalité précédente modulos 2 , on doit avoir $51 \times 26-1 \equiv 50 \times 101(\bmod 2)$ ce qui est faux.

problem_match: ## Exercice 5.

solution_match: ## Solution de l'exercice 5


problem:
Soient $n \geqslant 2$ un entier et $X$ un ensemble à $n$ éléments. Montrer que le nombre de fonctions $f: X \rightarrow X$ telles que $f \circ f$ soit une fonction constante est égale à

$$
n \sum_{i=1}^{n-1}\binom{n-1}{i} i^{n-i-1}
$$

solution:
Soit $\mathrm{f}: \mathrm{X} \rightarrow \mathrm{X}$ telle que f o $\mathrm{f}=\mathrm{c}$ pour un $\mathrm{c} \in X$. D'abord on a $\mathrm{f}(\mathrm{c})=\mathrm{c}$ parce que

$$
f \circ f(c)=c \Rightarrow f \circ f \circ f(c)=f(c),
$$

et selon la définition $\mathrm{f} \circ \mathrm{f} \circ \mathrm{f}(\mathrm{c})=\mathrm{f} \circ \mathrm{f}(\mathrm{f}(\mathrm{c}))=\mathrm{c}$, ce qui nous donne $\mathrm{f}(\mathrm{c})=\mathrm{c}$. Posons l'ensemble

$$
A=\{x \in X \mid f(x)=c\}
$$

On a montré qu'il contient $c$. Selon la définition, on a $f(x) \in A \backslash\{c\}$ pour tout $x \in A^{c}$ où $A^{c}$ est le complémentaire de $A$.
Donc, pour déterminer toutes les fonctions $f: X \rightarrow X$ telles que $f \circ f$ est constante, on doit d'abord choisir un $c \in X$ ( $n$ manières de faire) puis un $A \subset X$ contenant $c\left(\binom{n-1}{i}\right.$ manières de faire si $|A|=i+1)$ et ensuite choisir les valeurs $f(x)$ pour chaque $x \in A^{c}$ dans $A \backslash\{c\}$ ( $i^{n-i-1}$ manières de faire). Alors le nombre de telles fonctions sera

$$
n \sum_{i=1}^{n-1}\binom{n-1}{i} i^{n-i-1}
$$

problem_match: ## Exercice 6.

solution_match: Solution de l'exercice 6


problem: Un constructeur de jouets crée au moins un jouet par jour. Il n'est pas capable de créer plus de 725 jouets par an. Pour tout $\mathrm{n} \in \mathbb{N}$, montrer qu'il existe des jours consécutifs pendant lesquels il a créé exactement n jouets.

solution:
Soit $x_{i} \in \mathbb{N}$ le nombre de jouets qu'il a crée pendant le $i-$ ème jour. Si

$$
\mathrm{x}_{1}+\mathrm{x}_{2}+\ldots+\mathrm{x}_{\mathrm{n}}<2 \mathrm{n}
$$

étudions les nombres suivants :

$$
1 \leqslant x_{1}<x_{1}+x_{2}<\ldots<x_{1}+x_{2}+\ldots+x_{n}<2 n .
$$

On a deux cas. Soit ils représentent tous les résidus modulo $n$, soit il existe $1 \leqslant i<j \leqslant n$ tels que

$$
x_{1}+x_{2}+\ldots+x_{i} \equiv x_{1}+x_{2}+\ldots+x_{j} \quad(\bmod n)
$$

Ce dernier cas nous donne

$$
\mathrm{n} \mid \mathrm{x}_{\mathrm{i}+1}+\ldots+\mathrm{x}_{\mathrm{j}}
$$

puis

$$
x_{i+1}+\ldots+x_{j}=n
$$

Dans le premier cas, il existe $1 \leqslant \mathfrak{j} \leqslant n$ tel que

$$
\mathrm{n} \mid \mathrm{x}_{1}+\mathrm{x}_{2}+\ldots+\mathrm{x}_{\mathrm{j}}
$$

donc

$$
\mathrm{x}_{1}+\mathrm{x}_{2}+\ldots+\mathrm{x}_{\mathrm{j}}=\mathrm{n}
$$

Dans les deux cas, le problème est résolu. Étudions maintenant ce qui se passe si, pour tous n jours consécutifs, le nombre total de jouets est plus grand que 2 n . Alors

$$
2 \mathrm{n} \times 365 \leqslant \sum_{i=1}^{365 n} x_{i} \leqslant 725 n
$$

on aboutit à une contradiction.

## Exercices dugroupe $\mathcal{A}$

problem_match: ## Exercice 7.

solution_match: ## Solution de l'exercice 7


problem:
Soient $A_{1}, A_{2}, \ldots, A_{n}, B_{1}, B_{2}, \ldots, B_{n}$ des ensembles de kéléments. Montrer que $\sin <2^{k-1}$ alors il existe des éléments $a_{1}, a_{2}, \ldots, a_{n}, b_{1}, b_{2}, \ldots, b_{n}$ tels que:

$$
a_{i} \in A_{i}, b_{j} \in B_{j}, a_{i} \neq b_{j}
$$

pour tout $1 \leqslant i, j \leqslant n$.

solution:
Soit $X$ l'union de tous les $A_{i}$ et $B_{j}$ pour tous $1 \leqslant i, j \leqslant n$ et soit $m=|X|$. On veut montrer qu'il y a un coloriage des éléments de $X$ en rouge et bleu telle que

- Aucun des $A_{1}, A_{2}, \ldots, A_{n}$ ne soit totalement rouge,
- Aucun des $B_{1}, B_{2}, \ldots, B_{n}$ ne soit totalement bleu.

Pour chaque $A_{i}$, le nombre de coloriages tels que $A_{i}$ soit tout en rouge est égal $2^{m-k}$. Donc, puisque $2 \mathrm{n}\left(2^{\mathrm{m}-\mathrm{k}}\right)<2^{\mathrm{m}}$, on aura un coloriage avec la propriété précédente. Avec un tel coloriage, on choisit chaque $a_{i}$ parmi les éléments bleus de $A_{i}$ et chaque $b_{j}$ parmi les éléments rouges de $B_{j}$. Ce qui convient.

problem_match: ## Exercice 8.

solution_match: Solution de l'exercice 8


problem: Soit $n$ un entier positif. Montrer que dans un ensemble $A$ de $2^{n}$ nombres strictement positifs, on peut choisir un sous-ensemble B de taille $n+1$ tel que la somme de deux nombres différents dans $B$ ne soit jamais dans $A$.

solution:
Soient $n$ et $A$ comme dans l'énoncé. Nous allons montrer, par récurrence sur $m \leqslant n+1$, que l'algorithme glouton consistant à toujours prendre le plus grand nombre qui ne pose pas de problème convient.
Posons $A_{0}=A$, et $B_{0}=B$. Supposons que, pour $m<n+1$, on a construit $A_{m}$ et $B_{m}$ des sous-ensembles de $A$ tels que :

1. la somme de deux éléments différents de $B_{m}$ ne soit jamais dans $A$,
2. la somme d'un élément de $A_{m}$ et d'un élément de $B_{m}$ ne soit jamais dans $A$,
3. $A_{m}$ et $B_{m}$ sont disjoints,
4. $\operatorname{card}\left(A_{m}\right) \geqslant 2^{n}-2^{m}+1$ et
5. $\operatorname{card}\left(B_{m}\right)=m$.

Dans ce cas, $A_{m}$ est non vide car $m \leqslant n$ donc $2^{n}-2^{m}+1 \geqslant 1$. Soit $b_{m+1}$ le plus grand élément de $A_{m}$. On pose $B_{m+1}=B_{m} \cup\left\{b_{m+1}\right\}$. Par l'hypothèse 3 pour l'ordre $m$, on obtient 5 pour l'ordre $m+1$. De même, les hypothèses 1 et 2 nous donne 1 pour l'ordre supérieur. Maintenant, on pose

$$
A_{m+1}=\left\{a \in A_{m} \mid a \neq b_{m+1} \text { et } a+b_{m+1} \notin A\right\} .
$$

Par définition, et par l'hypothèse $2, A_{m+1}$ vérifie 2 et 3 . Le seul point moins évident est 4 . Nous voulons montrer que $\operatorname{card}\left(A_{m}\right)-\operatorname{card}\left(A_{m+1}\right) \leqslant 2^{m}$. Or,

$$
\begin{aligned}
A_{\mathfrak{m}} \backslash A_{\mathfrak{m}+1} & =\left\{\mathbf{b}_{\mathfrak{m}+1}\right\} \cup\left\{a \in A_{\mathfrak{m}} \mid a+b_{\mathfrak{m}+1} \in A\right\} \\
& \subset\left\{b_{\mathfrak{m}+1}\right\} \cup\left\{a \in A \mid a>b_{\mathfrak{m}+1}\right\} \\
& \subset\left\{\mathbf{b}_{\mathfrak{m}+1}\right\} \cup\left(A \backslash A_{\mathfrak{m}}\right) .
\end{aligned}
$$

Or ce dernier ensemble est de taille au plus $1+\left(2^{n}-\left(2^{n}-2^{m}+1\right)\right)=2^{m}$. Donc, $\operatorname{card}\left(A_{m}\right)-$ $\operatorname{card}\left(A_{m+1}\right) \leqslant 2^{m}$, puis on obtient 4 à l'ordre $m+1$. Ce qui conclut la récurrence.
Maintenant, on applique la récurrence jusqu'à $m=n+1$ et on obtient un ensemble $B_{n+1}$ de taille $n+1$ qui vérifie l'hypothèse 1 , donc qui est bien solution de l'exercice.

problem_match: ## Exercice 9.

solution_match: ## Solution de l'exercice 9


problem:
On possède une liste infinie de cases, les cases étant numérotées par $1,2, \ldots$. Au départ, toutes les cases contiennent le nombre 1 . À chaque étape, on choisit un nombre $a \in \mathbb{N}^{*}$ tel que:

- soit toutes les cases numérotées par un multiple de a contiennent 1 auquel cas on remplace ces 1 par des 0 ,
- soit toutes les cases numérotées par un multiple de a contiennent 0 auquel cas on remplace ces 0 par des 1 .
Montrer que, pour tout $n \geqslant 2$, on peut faire en sorte que toutes les cases de numéro au plus n contiennent un 0 sauf la première case qui contient un 1.

solution:
Nous allons d'abord reformuler le problème. On se place dans $\mathbb{N}^{*}$. Si $A$, B sont deux ensembles (dans $\mathbb{N}^{*}$ ), on note

- $A \oplus B:=A \cup B$ si $A \cap B=\emptyset$, sinon l'opération est interdite, et
- $A \ominus B:=A \backslash B$ si $B \subset A$, sinon l'opération est interdite.

On ajoute la convention que $\oplus$ et $\ominus$ sont associatives à gauche, c'est-à-dire que les opérations sont effectuées de la gauche vers la droite. Par exemple, $\{1\} \oplus\{2\} \ominus\{1,2\}=(\{1\} \oplus$ $\{2\}) \ominus\{1,2\}=\emptyset$, par contre $\{1\} \oplus\{1,2\} \ominus\{1\}$ est interdit.
Le problème se reformule donc par : montrer que, pour $n \in \mathbb{N}^{*}$, il existe une formule commençant par $\mathbb{N}^{*}$, contenant que des ensembles de multiples d'entiers et utilisant les opérations $\oplus$ et $\ominus$ aboutissant à un ensemble $E$ tel que $E \cap\{1, \ldots, \mathbf{n}\}=\{1\}$. Pour montrer cela, nous allons utiliser un lemme, que nous démontrerons plus tard, et qui n'est rien d'autre qu'une variante améliorée du principe d'inclusion-exclusion.

Lemme: Si $m \in \mathbb{N}^{*}$ et $A_{1}, \ldots, A_{m}$ sont des ensembles, alors il existe une formule utilisant les opérations $\oplus$ et $\ominus$ et constituée uniquement d'intersections quelconques des ensembles $A_{1}, \ldots, A_{m}$ dont la valeur est $A_{1} \cup \cdots \cup A_{m}$.
Par exemple, dans le cas $m=2, A_{1} \cup A_{2}=A_{1} \ominus\left(A_{1} \cap A_{2}\right) \oplus A_{2}$.
Maintenant, notons $\mathrm{p}_{1}, \mathrm{p}_{2}, \ldots$ les nombres premiers dans l'ordre. Notons $A_{i}$ l'ensemble des multiples (strictement positifs) de $p_{i}$, pour tout $i \in \mathbb{N}^{*}$. Prenons $n \geqslant 2$ et soit $m$ le nombre de nombres premiers inférieurs ou égaux à $n$. D'après le lemme, il existe une formule dont la valeur est $A_{1} \cup \cdots \cup A_{m}$. Or cette union est l'ensemble des nombres qui sont multiples d'au moins un nombre parmi $p_{1}, p_{2}, \ldots$ et $p_{m}$. Il contient donc tous les nombres inférieurs ou égaux à $n$ sauf 1 . En remplaçant les $\oplus$ par des $\ominus$ et vice-versa dans la formule et en ajoutant $\mathbb{N}^{*} \ominus$ devant, nous obtenons donc une formule autorisée dont la valeur vérifie ce que nous voulons. Il reste à ajouter pour conclure que, si $1 \leqslant \mathrm{l} \leqslant \mathrm{m}$ et si $1 \leqslant \mathfrak{i}_{1}<\mathfrak{i}_{2}<\cdots<\mathfrak{i}_{l} \leqslant \mathfrak{m}$, alors $A_{i_{1}} \cap A_{i_{2}} \cap \cdots \cap A_{i_{l}} n^{\prime}$ est rien d'autre que l'ensemble des multiples de $p_{i_{1}} p_{i_{2}} \ldots p_{i_{l}}$. Donc la formule que l'on a obtenue n'est constituée que d'ensembles de multiples d'entier et donc convient.

Montrons maintenant le lemme par récurrence sur $m$. Le cas $m=1$ est trivial. De plus, nous avons traité le cas $m=2$, pour l'exemple, ci-dessus. Soit $m \geqslant 2$ et supposons le théorème vrai pour $m$ ensembles. Soient $A_{1}, \ldots, A_{m+1} m+1$ ensembles. On a

$$
\begin{aligned}
& A_{1} \cup \cdots \cup A_{m+1}=A_{1} \cup \cdots \cup A_{m} \ominus\left(\left(A_{1} \cup \cdots \cup A_{m}\right) \cap A_{m+1}\right) \oplus A_{m+1} \\
& A_{1} \cup \cdots \cup A_{m+1}=A_{1} \cup \cdots \cup A_{m} \ominus\left(\left(A_{1} \cap A_{m+1}\right) \cup \cdots \cup\left(A_{m} \cap A_{m+1}\right)\right) \oplus A_{m+1}
\end{aligned}
$$

Par hypothèse de récurrence, il existe une formule pour le deuxième terme constituée uniquement d'intersections quelconques de $A_{1} \cap A_{m+1}, \ldots, A_{m} \cap A_{m+1}$; donc uniquement d'intersections quelconques de $A_{1}, \ldots, A_{m+1}$. Maintenant, on peut insérer la formule du deuxième terme dans la grosse formule en remplaçant, dans la formule du deuxième terme, les $\oplus$ par des $\ominus$ et vice-versa. En remplaçant directement le premier terme par la formule obtenue par l'hypothèse de récurrence, on obtient la formule voulue.
On conclut la preuve du lemme par récurrence.

problem_match: ## Exercice 10.

solution_match: ## Solution de l'exercice 10