problem:
Trouver tous les entiers $p$ tels que $p, p+2$ et $p+4$ soient tous les 3 premiers?
Un nombre premier est un entier $\geqslant 2$ qui n'est divisible que par 1 et lui-même.

solution:
Tout d'abord, on peut s'attendre à ce qu'il n'y en ait que très peu. On souhaite obtenir des informations sur ces nombres premiers.
Notons qu'un nombre premier divisible par 3 est a fortiori égal à 3 . On considère 3 cas en fonction du reste de la division de $p$ par 3 (modulo 3 ):
$-p=3 k: p$ est divisible par 3 donc $p=3 .\{3,5,7\}$ est bien un triplet de nombres premiers.
$-p=3 k+1: p+2$ est divisible par 3 et premier donc $p=1$ (impossible).
$-p=3 k+2: p+4$ est divisible par 3 et premier donc $p=-1$ (impossible).
D'où $\mathrm{p}=3$.
Commentaire des correcteurs L'exercice est globalement très bien traité, à part quelques tentatives modulo 10 , l'argument modulo 3 a bien été compris. Attention à ne pas oublier le cas $\mathrm{p}=2$.

problem_match: Exercice 1.

solution_match: Solution de l'exercice 1


problem:
Déterminer tous les couples d'entiers $(n, p)$ strictement positifs où $p$ est un nombre premier et tels que $n+p$ soit une puissance de $n$.

Une puissance de $n$ est de la forme $\mathrm{n}^{\mathrm{k}}$ pour k entier naturel.

solution:
Soit $(\mathfrak{p}, \mathfrak{n}$ ) un éventuel couple solution. On dispose d'un entier naturel $k$ tel que

$$
\mathrm{n}+\mathrm{p}=\mathrm{n}^{\mathrm{k}}
$$

Tout d'abord, si $k=0$, alors $n+p=1$. Or $p$ étant premier, $p>1$ et $n \geqslant 0$ donc $n+p=1<p \leqslant p+n$ ce qui est absurde. On a donc $k \geqslant 1$.
On peut alors réécrire l'équation comme ceci :

$$
p=n\left(n^{k-1}-1\right)
$$

On obtient que $n$ divise $p$. Comme $p$ est premier, il faut donc que $n=1$ ou $n=p$.
Si $n=1$, alors $1+p=1$ ce qui est absurde puisque $p \neq 0$.
On a donc $\mathrm{n}=\mathrm{p}$. Alors $2 \mathrm{p}=\mathrm{p}^{\mathrm{k}}$ donc 2 divise p . Ainsi, $\mathrm{p}=2$ et l'équation devient $2+2=2^{k}$ donc $k=2$. Réciproquement, le couple $(2,2)$ vérifie bien que $2+2=2^{2}$ et donc que $2+2$ est une puissance de 2 .

Le seul couple solution est donc (2,2).
Commentaire des correcteurs L'exercice est bien réussi. Plusieurs approches pouvaient fonctionner. Il était cependant assez facile d'oublier des cas particuliers.

problem_match: Exercice 2.

solution_match: Solution de l'exercice 2


problem:
On pose 23 allumettes sur une table et 2 joueurs jouent à un jeu : chacun, à son tour, retire entre 1 et 4 allumettes (inclus). Celui qui prend la dernière gagne. Existe-t-il une stratégie gagnante pour l'un des deux?

Une stratégie gagnante est une manière de jouer qui permet à l'un des deux de gagner peu importe comment son adversaire joue.

solution:
Le $1^{\text {er }}$ joueur possède une stratégie gagnante. La voici :

1. J1 prend 3 allumettes : il en reste un multiple de 5
2. J2 en retire $\mathrm{r} \in\{1,2,3,4\}$
3. J1 en enlève $5-\mathrm{r}$ : il en reste un multiple de 5

Et ainsi de suite. Donc à chaque fois que J 2 joue, il y a un nombre d'allumettes divisible par 5. A chaque fois que J1 joue, en revanche, il y en a un nombre non-divisible par 5 et donc en particulier non nul! Ce qui assure à J 1 de gagner.
Commentaire des correcteurs L'exercice est très bien réussi, il faut cependant penser à bien détailler la rédaction parfois un peu trop succincte.

problem_match: Exercice 3.

solution_match: Solution de l'exercice 3


problem:
Déterminer tous les triplets d'entiers ( $a, b, \mathfrak{n}$ ) strictement positifs vérifiant:

$$
a!+b!=2^{n}
$$

solution:
Les factorielles ayant beaucoup de facteurs impairs en commun, on se dit directement qu'obtenir une puissance de 2 va être très contraignant.
Supposons que $\mathrm{a}, \mathrm{b} \geqslant 3$, 3 divise donc la somme des factorielles et donc $2^{\mathrm{n}}$ : $\mathrm{c}^{\prime}$ est absurde.
C'est à dire que l'un des deux est dans $\{1,2\}$. Par symétrie, on ne traite que deux cas :

1. $a=1$ : encore deux petits cas de figure:
$-b=1: n=1$

- $b \geqslant 2$ : les deux membres n'ont pas la même parité, c'est impossible

2. $a=2: b \geqslant 2$ (comme vu au-dessus), quelques cas :
$-\mathrm{b}=2,3: \mathrm{n}=2,3$

- $\mathrm{b} \geqslant 4$ : il y a un problème modulo 4 , impossible

D'où : les seules solutions sont dans $\{(1,1,1),(2,2,2),(2,3,3),(3,2,3)\}$.
Commentaire des correcteurs
L'exercice plutôt bien réussi. Il ne faut pas oublier de bien préciser que l'on peut supposer $a \geqslant b$ avant d'utiliser cette inégalité dans son raisonnement.

problem_match: Exercice 4.

solution_match: Solution de l'exercice 4


problem:
Trouver tous les couples de nombres premiers ( $p, q$ ) tels que :

$$
\mathrm{p}^{2}\left(\mathrm{p}^{3}-1\right)=\mathrm{q}(\mathrm{q}+1)
$$

solution:
Si $p=q$, alors $p^{4}-p=p+1$. Or $p^{4}=p \cdot p^{3} \geqslant 8 p>2 p+1$ pour tout nombre premier $p$ car $p \geqslant 2$. On a donc $p \neq q$ et donc $p$ et $q$ sont premiers entre eux.
$p^{2}$ est premier avec $q$ donc d'après le lemme de Gauss, $p^{2} \mid q+1$. On dispose donc de $k \in \mathbb{N}^{*}$ tel que $\mathrm{q}+1=\mathrm{kp}^{2}$.
Comme q est premier avec $\mathrm{p}^{2}, \mathrm{q} \mid \mathrm{p}^{3}-1=(\mathrm{p}-1)\left(\mathrm{p}^{2}+\mathrm{p}+1\right)$. Donc $\mathrm{q} \mid \mathrm{p}-1$ ou $\mathrm{q} \mid \mathrm{p}^{2}+\mathrm{p}+1$.
Si $q \mid p-1$, alors

$$
\mathrm{p}<\mathrm{kp} \mathrm{p}^{2}-1=\mathrm{q} \leqslant \mathrm{p}-1
$$

ce qui est absurde.
On a donc $\mathrm{q} \mid \mathrm{p}^{2}+\mathrm{p}+1$ donc $\mathrm{kp}^{2}-1=\mathrm{q} \leqslant \mathrm{p}^{2}+\mathrm{p}+1$ soit $(\mathrm{k}-1) \mathrm{p}^{2} \leqslant \mathrm{p}+2$. Si $k=1$, alors $\mathrm{q}=\mathrm{p}^{2}-1=(p-1)(p+1)$ qui n'est premier que si $p=2$.
On a alors $q=3$ mais $2^{2}\left(2^{3}-1\right)=28 \neq 12=3(3+1)$.
On en déduit que $k \geqslant 2$ et $p>2$, donc $p+2<p^{2} \leqslant(k-1) p^{2} \leqslant p+2$ ce qui est également absurde.
Finalement il n'y a pas de solution.
Commentaire des correcteurs
Peu d'élèves ont entièrement réussi le problème. On a pu voir beaucoup d'erreurs de divisibilité et bien souvent, le cas $\mathrm{p}=\mathrm{q}$ n'a pas été considéré.

problem_match: Exercice 5.

solution_match: Solution de l'exercice 5


problem:
Trouver tous les couples d'entiers strictement positifs ( $\mathrm{m}, \mathfrak{n}$ ) pour lesquels:

$$
1+2^{n}+3^{n}+4^{n}=10^{m}
$$

solution:
Cette équation est valable pour tous $n$, $m$, elle est donc valable en la passant modulo un entier $k$, c'est-à-dire en ne considérant que les restes de la division par rapport à $k$.
On commence par la regarder modulo 3 :

$$
1+(-1)^{n}+0+1^{n} \equiv 1^{\mathrm{m}}(\bmod 3) \operatorname{donc}(-1)^{n} \equiv-1
$$

Donc n est impair : soit $\mathrm{k} \in \mathbb{N}$ tel que $\mathrm{n}=2 \mathrm{k}+1$.
On suppose à présent que $\mathrm{n}, \mathrm{m} \geqslant 3$ et on regarde modulo 8 :

$$
1+0+3 \cdot 3^{2 k}+0 \equiv 0(\bmod 8) \text { ie } 1+3 \cdot 1 \equiv 0
$$

Ce qui est absurde.
On en déduit que l'un des deux est dans $\{1,2\}$.
Il suffit alors de traiter les cas $n=1, n=2, m=1$ et $\mathrm{m}=2$.
Pour $\boldsymbol{n}=1$ on trouve $1+2+3+4=10,(1,1)$ est solution. Pour $n=2,1+4+9+16=30$ n'est pas une puissance de 10 (car 30 est divisible par 3). Comme l'application qui à $n$ associe $1+2^{n}+3^{n}+4^{n}$ est strictement croissante à $m$ fixé on a au plus une solution. Comme $(1,1)$ et $(3,2)$ sont solutions (car $1+2^{3}+3^{3}+4^{3}=1++27+64=100=10^{2}$ ), ce sont donc les seules solutions avec $\mathrm{m}=1$ ou 2 . L'ensemble des solutions est donc $\{(1,1),(2,3)\}$.

## Commentaire des correcteurs

Même si beaucoup d'élèves ont quasiment réussi l'exercice, peu se retrouvent avec la note maximale : en effet, plusieurs n'ont pas justifié pourquoi, pour $\mathrm{m}=2$, seul $\mathrm{n}=3$ était solution (ce qui pouvait se faire par encadrement ou en utilisant un argument de croissance). La rédaction n'est pas une course, il vaut mieux écrire une page et avoir tous les arguments bien expliqués que de compacter tout en 9 lignes et se retrouver avec une copie peu claire pour le correcteur et souvent incomplète (de plus, souvent les copies compactes sont bien plus compliquées à lire que des copies un peu longues mais bien détaillées). Il ne faut pas oublier de vérifier que les couples obtenus vérifient bien l'équation.

problem_match: Exercice 6.

solution_match: Solution de l'exercice 6


problem:
Soit $p \geqslant 3$ un nombre premier. Pour $k \in \mathbb{N}$ vérifiant $1 \leqslant k \leqslant p-1$, le nombre de diviseurs de $\mathrm{kp}+1$ qui sont compris strictement entre $k$ et $p$ est noté $a_{k}$.
Que vaut $a_{1}+a_{2}+\ldots+a_{p-1}$ ?

solution:
La réponse est $p-2$.
Nous allons montrer que chacun de $\{2, \ldots, \boldsymbol{p}-1\}$ contribue exactement une fois au comptage représenté $\operatorname{par} a_{1}+a_{2}+\ldots+a_{p-1}$.
Soit $2 \leqslant \mathrm{~m} \leqslant \mathrm{p}-1$ un entier, on se propose de montrer deux choses :

1. $m$ est compté au plus une fois
2. m est bien compté
m est compté au plus une fois :
Par l'absurde, on suppose qu'il existe $1 \leqslant i<j \leqslant p-1$ deux entiers vérifiant:

- $m \mid i p+1$ et $m>i$
- $m \mid j p+1$ et $m>j$

On a donc $m \mid p(j-i)$ or $\operatorname{pgcd}(m, p)=1$ donc $m \mid j-i$. Cependant, c'est impossible car $0<j-i<$ $j<m$ : m est compté au plus une fois
m est bien compté :
On considère les $m-1$ entiers $\{p+1,2 p+1, \ldots,(m-1) p+1\}$.
Exactement comme précédemment, on voit qu'ils sont 2 à 2 distincts modulo m. De plus, aucun d'entre eux n'est $\equiv 1(\bmod m)$ car si on retire les +1 aucun entier n'est divisible par $m$.
D'où $m$ est compté une et une fois et cela conclut.
Commentaire des correcteurs
Le chemin à suivre a été globalement compris, mais la formalisation de ce raisonnement n'était pas toujours rigoureuse.

problem_match: Exercice 7.

solution_match: Solution de l'exercice 7


problem:
Déterminer tous les entiers $n \geqslant 1$ tels qu'il existe une permutation $\left(a_{1}, a_{2}, \ldots, a_{n}\right)$ de $(1,2, \ldots, \mathbf{n})$ vérifiant la condition suivante :

$$
\mathrm{k} \mid \mathrm{a}_{1}+\mathrm{a}_{2}+\ldots+\mathrm{a}_{\mathrm{k}}
$$

pour tout $k \in\{1,2, \ldots, n\}$.

solution:
On commence par regarder ce qu'il se passe pour $\mathrm{n}=1,2,3: \mathfrak{n}=1,3$ sont solutions mais $\mathrm{n}=2$ ne l'est pas. Soit $\mathrm{n}>3$ vérifiant la propriété de l'énoncé.
On a $n \left\lvert\, a_{1}+a_{2}+\ldots+a_{n}=1+2+\ldots+n=\frac{n(n+1)}{2}\right.$ et donc $\frac{n+1}{2} \in \mathbb{Z}: n$ est impair.
Ensuite $n-1 \left\lvert\, a_{1}+a_{2}+\ldots+a_{n-1}=\frac{n(n+1)}{2}-a_{n}\right.$.
$\operatorname{Et} n-1 \left\lvert\, \frac{(n-1)(n+1)}{2}\right.$ donc $n-1 \left\lvert\, \frac{n+1}{2}-a_{n}\right.$.
Cependant, il y a un "problème de taille" : $-(n-1)<\frac{n+1}{2}-a_{n}<n-1$
ce qui $n$ 'est pas absurde, mais implique que $a_{n}=\frac{n+1}{2}$.
On poursuit (pas de souci, $\mathrm{n}>3$ ) :
$n-2 \left\lvert\, \frac{n(n+1)}{2}-\frac{n+1}{2}-a_{n-1}=\frac{(n-1)(n+1)}{2}-a_{n-1}\right.$.
Et $n-2 \left\lvert\, \frac{(n-2)(n+1)}{2}\right.$ donc $n-2 \left\lvert\, \frac{n+1}{2}-a_{n-1}\right.$.
Comme précédemment, $-(n-2)<\frac{n+1}{2}-a_{n-1}<n-2$ et donc $a_{n}=a_{n-1}=\frac{n+1}{2}$ : c'est absurde.
Les seules solutions sont donc bien 1 et 3 .
Commentaire des correcteurs
Peu d'élèves ont entièrement réussi le problème. Les solutions sont assez diverses dans l'ensemble même si elles tournent autour de la même idée.

problem_match: Exercice 8.

solution_match: Solution de l'exercice 8


problem:
Existe-t-il des entiers $\mathbf{a}$ et $b$ pour lesquels : $\mathbf{a}^{5} \mathbf{b}+3$ et $\mathbf{a b}^{5}+3$ sont tous deux des cubes parfaits?

Un cube parfait est un entier $n$ pour lequel il existe $m \in \mathbb{Z}$ tel que : $n=m^{3}$.

solution:
Nous allons montrer qu'il n'y a pas d'entiers a et b satisfaisant les conditions du problème.
Soient $a$ et $b$ des entiers tels que $a^{5} b+3$ et $a b^{5}+3$ sont des cubes parfaits. Soit $m$ et $n$ des entiers tels que $a^{5} b+3=m^{3}$ et $a b^{5}+3=n^{3}$. Supposons que $3 \mid n$. Alors $27 \mid n$. De plus $3 \mid a b^{5}$ donc $3 \mid a$ ou $3 \mid b^{5}$. Si $3 \mid a$, alors $3^{5} \mid a^{5}$ donc $3 \mid a^{5} b+3=m^{3}$. Mais alors $27 \mid m^{3}$ et $27 \mid a^{5}$ donc $27 \mid m^{3}-a^{5} b=3$ ce qui est absurde. Si $3 \mid b$, alors $3^{5} \mid b^{5}$ et en particulier $27 \mid n^{3}-a b^{5}=3$ ce qui est aussi absurde. On déduit que 3 ne divise pas n et de même 3 ne divise pas m . Si $3 \mid \mathrm{a}$, alors $3 \mid \mathrm{m}$, n ce qui est exclut. On déduit donc que 3 ne divise pas non plus a et b. Notons que

$$
m^{3}-n^{3}=a^{5} b-a b^{5}=a b(a-b)(a+b)\left(a^{2}+b^{2}\right)
$$

Comme $a$ et $b$ ne sont pas divisibles par $3, a^{2} \equiv b^{2} \equiv 1 \bmod 3$ donc $3 \mid a^{2}-b^{2}=(a-b)(a+b)$ et donc $3 \mid m^{3}-n^{3}$. D'après le théorème de Fermat, $m^{3} \equiv m \bmod 3$ et $n^{3} \equiv n \bmod 3$. On déduit que $\mathrm{m} \equiv \mathrm{m}^{3} \equiv \mathrm{n}^{3} \equiv \mathrm{n} \bmod 3$. Il vient que

$$
m^{2}+m n+n^{2} \equiv 3 m^{2}=0 \quad \bmod 3
$$

On déduit que 3 divise $m-n$ et 3 divise $m^{2}+m n+n^{2}$ donc $9 \mid(m-n)\left(m^{2}+m n+n^{2}\right)=m^{3}-n^{3}$. Il vient que $9 \mid a b(a-b)(a+b)\left(a^{2}+b^{2}\right)$. Mais 3 ne divise pas $a, b$ et $a^{2}+b^{2} \equiv 2 \bmod 3$ donc 3 ne divise pas non plus $a^{2}+b^{2}$ et donc 9 non plus. On déduit que $9 \mid a^{2}-b^{2}$, soit $a^{2} \equiv b^{2} \bmod 9$. Ainsi

$$
\mathrm{m}^{3}=\mathrm{a}^{5} \mathrm{~b}+3 \equiv \mathrm{a}^{3} \cdot \mathrm{a}^{2} \cdot \mathrm{~b}+3 \equiv \mathrm{a}^{3} \mathrm{~b}^{2} \cdot \mathrm{~b}+3 \equiv(\mathrm{ab})^{3}+3 \quad \bmod 9
$$

Or les cubes modulo 9 prennent uniquement les valeurs $-1,0$ et 1 . On ne peut donc avoir $\mathrm{m}^{3}-(a b)^{3} \equiv 3$ mod 9. La condition de l'énoncé ne peut donc pas être satisfaite, comme annoncé.

## Commentaire des correcteurs

Plusieurs élèves se sont contentés de tester tous les cas, d'autres ont fourni de bons raisonnements par l'absurde. Globalement le problème est bien réussi par ceux qui l'ont abordé.

## Exercices Seniors

problem_match: Exercice 9.

solution_match: Solution de l'exercice 9


problem:
Trouver tous les triplets ( $\mathbf{p , q , r}$ ) de nombres premiers tels que les 3 différences

$$
|p-q|,|q-r|,|r-p|
$$

soient également des nombres premiers.

solution:
Notons que les trois nombres doivent être deux à deux distincts puisque 0 n'est pas un nombre premier. On peut donc supposer, quitte à échanger l'ordre des variables, que $p>q>r$. Un nombre premier est impair ou égal à 2 .
On suppose que $p, q$ et $r$ sont tous impairs. Alors $p-q, q-r$ et $r-p$ sont pairs. Comme leur valeur absolue est première, ces nombres valent tous 2 . Ainsi les entiers $p, p+2$ et $p+4$ sont premiers. Si $p$ est divisible par 3 , alors $\mathrm{p}=3$ et $\mathrm{q}=5$ et $\mathrm{r}=7$.
Cependant, le triplet $(3,5,7)$ n'est pas solution du problème : $7-3=4$ n'est pas premier.
Si $p$ n'est pas divisible par 3 , alors $p$ est de la forme $3 k+1$ ou $3 k+2$. Le premier cas implique que $p+2$ soit divisible par 3 donc $p+2=3$ mais $p=1$ n'est pas un nombre premier. Le deuxième cas implique que $p+4$ soit divisible par 3 , mais $p+4=3$ ne donne pas de solution strictement positive.
On suppose que $r=2$. Alors $p$ et $q$ sont impaires et $p-q$ est pair et premier donc égal à 2 . Il vient que $q+2$, $q$ et $q-2$ sont tous les trois des nombres premiers. D'après le cas précédent, cela implique que $\boldsymbol{q}-2=3$ donc $p=7$. Réciproquement, le triplet $(p, q, r)=(2,5,7)$ et ses permutations sont donc bien solutions au problème.

Les seuls triplets solutions sont donc $(2,5,7)$ ainsi que ses permutations.
Commentaire des correcteurs
Beaucoup d'élèves ont les idées majeures, mais perdent bêtement des points pour la rédaction. Il faut toujours vérifier que les solutions obtenues satisfont bien l'énoncé. Certains ont affirmé sans aucune justification que si $p, p+2$ et $p+4$ sont premiers alors $p=3$. De même certains ont dit qu'on ne peut pas avoir $|\mathrm{p}-\mathrm{q}|=|\mathrm{q}-\mathrm{r}|=|\mathrm{r}-\mathrm{p}|=2$ sans le justifier, ce qui était assez clair (on peut supposer $p>q>r$ par exemple). Il vaut mieux un peu plus détailler les points importants pour ne pas perdre de points.

problem_match: Exercice 10.

solution_match: Solution de l'exercice 10


problem:
Trouver tous les nombres entiers $z \in \mathbb{Z}$ tels que

$$
2^{z}+2=r^{2}
$$

où $r \in \mathbb{Q}$ est un nombre rationnel.
Un nombre rationnel est un nombre qui s'écrit sous la forme $\frac{\mathrm{a}}{\mathrm{b}}$ avec $\mathrm{a}, \mathrm{b}$ des entiers et $\mathrm{b} \neq 0$.

solution:
Notons que si $(z, r)$ est un couple solution, $(z,-r)$ est également un couple solution. On peut donc supposer pour la suite que $r \geqslant 0$. Etant donné que $2^{z}+z>0$, on a même $r>0$. On pose $r=\frac{a}{b}$, avec $a$ et $b$ des entiers strictement positifs et premiers entre eux.
Si $z \geqslant 0$, alors $2^{z}+2$ est entier donc r est entier et $\mathrm{b}=1$. On doit désormais résoudre l'équation $2^{z}+2=a^{2}$ dans les entiers positifs. Si $z \geqslant 2$, alors l'équation vue modulo 4 donne $a^{2} \equiv 2 \bmod 4$ ce qui n'a pas de solution puisqu'un carré est toujours congru à 0 ou à 1 modulo 4 . On déduit que $z=0$ ou $z=1$. Dans le premier cas, on obtient $3=\mathfrak{a}^{2}$ qui n'admet pas de solution entière. Dans le deuxième cas on trouve $4=a^{2}$ soit $a=2$. Réciproquement, les couples $(1,-2)$ et $(1,2)$ satisfont bien l'équation.
$\mathrm{Si} z<0$, alors on pose $z^{\prime}=-z$, avec $z^{\prime}>0$. L'équation dévient $\frac{1}{2^{z^{\prime}}}+2=\frac{a^{2}}{b^{2}}$. En supprimant les dénominateurs on obtient

$$
b^{2}\left(1+2^{z^{\prime}+1}\right)=a^{2} \cdot 2^{z^{\prime}}
$$

Puisque $1+2^{z^{\prime}+1}$ est premier avec $2^{z^{\prime}}$, par le lemme de Gauss on obtient que $2^{z^{\prime}+1}+1$ divise $a^{2}$. Comme $a$ et $b$ sont premiers entre eux, par le lemme de Gauss on obtient aussi que $a^{2}$ divise $1+2^{z^{\prime}+1}$. On déduit que $a^{2}=2^{z^{\prime}+1}+1$, que l'on réécrit $2^{z^{\prime}+1}=(a-1)(a+1)$. On déduit que $a+1$ et $a-1$ sont tous les deux des puissances de 2 dont la différence vaut 2 . On déduit donc que $a+1=4$ et $a-1=2$ soit $\mathrm{a}=3$ et $z^{\prime}=2$. Ainsi $\mathrm{b}=2$. Réciproquement, les couples $\left(-2,-\frac{3}{2}\right)$ et $\left(-2, \frac{3}{2}\right)$ sont bien solutions de l'équation. Les solutions sont donc $\left\{\left(-2,-\frac{3}{2}\right),\left(-2, \frac{3}{2}\right),(1,-2),(1,2)\right\}$.
Commentaire des correcteurs
Un tiers des élèves a écrit que $x^{2}=4$ implique que $x=2$ et oublie donc la solution $x=-2$. Quelques élèves n'ont pas vu que l'on se plaçait dans $\mathbb{Z}$ et $\mathbb{Q}$ et ont juste regardé l'équation sur les entiers positifs. Mis à part cela, l'exercice est assez bien réussi.

problem_match: Exercice 11.

solution_match: Solution de l'exercice 11


problem:
Déterminer tous les triplets d'entiers $(\mathfrak{a}, \mathfrak{b}, \mathfrak{n}$ ) strictement positifs vérifiant:

$$
a!+b!=2^{n}
$$

solution:
Les factorielles ayant beaucoup de facteurs impairs en commun, on se dit directement qu'obtenir une puissance de 2 va être très contraignant.
Supposons que $\mathrm{a}, \mathrm{b} \geqslant 3,3$ divise donc la somme des factorielles et donc $2^{\mathrm{n}}$ : $\mathbf{c}^{\text {'est absurde. }}$ C'est à dire que l'un des deux est dans $\{1,2\}$. Par symétrie, on ne traite que deux cas :

1. $a=1$ : encore deux petits cas de figure :
$-\mathrm{b}=1: \mathrm{n}=1$
$-\mathrm{b} \geqslant 2$ : les deux membres n'ont pas la même parité, c 'est impossible
2. $a=2: b \geqslant 2$ (comme vu au-dessus), quelques cas :
$-\mathrm{b}=2,3: \mathbf{n}=2,3$
$-\mathrm{b} \geqslant 4$ : il y a un problème modulo 4 , impossible
D'où : les seules solutions sont dans $\{(1,1,1),(2,2,2),(2,3,3),(3,2,3)\}$.
Commentaire des correcteurs
Il y a eu pas mal d'erreurs de logique. Ce n'est pas parce que l'on ne peut pas avoir $\mathbf{a} \geqslant 3$ et $\mathbf{b} \geqslant 3$ en même temps qu'on a forcément $\mathrm{a}<3$ et $\mathrm{b}<3$ (on a plutôt $\mathrm{a}<3$ ou $\mathrm{b}<3$ ). 1 est une puissance de 2 qu'il ne faut pas oublier et 0 n'est pas dans $\mathbb{N}^{*}$ et 1 est un diviseur impair de 2 qu'il ne faut pas oublier non plus. Ne pas oublier de rappeller les solutions symétriques si on suppose $a \geqslant b$.

problem_match: Exercice 12.

solution_match: Solution de l'exercice 12


problem:
Déterminer tous les triplets d'entiers $(x, y, z)$ vérifiant la propriété suivante :

$$
\operatorname{pgcd}(x, y, z)<\operatorname{pgcd}(x+y, y+z, z+x)
$$

solution:
Notons que puisque $\operatorname{pgcd}(x, y, z)$ divise chacun des $x, y, z$, il divise également $\operatorname{pgcd}(x+y, y+z, z+x)$.
On remarque que si le triplet $(x, y, z)$ est solution, alors les triplets $(k x, k y, k z)$ sont solutions pour tout $k \in \mathbb{N}^{*}$. On peut donc supposer, quitte à diviser chaque variable par $\operatorname{pgcd}(x, y, z)$, que les entiers $x, y, z$ sont premiers entre eux dans leur ensemble. En particulier ils ne sont pas tous pairs.
Soit $d=\operatorname{pgcd}(x+y, y+z, z+x)$. Alors d divise $(x+y)+(x+z)-(y+z)=2 x$ et de même $d$ divise $2 y$ et $2 z$. Donc $d$ divise $\operatorname{pgcd}(2 x, 2 y, 2 z)=2 \operatorname{pgcd}(x, y, z)=2$. On déduit que $d=1$ ou $d=2$. Mais comme $\mathrm{d}>1, \mathrm{~d}=2$ donc les entiers $x, y, z$ sont tous de même parité. Comme ils ne sont pas tous paires, ils sont tous impaires.
Réciproquement, si $x, y$ et $z$ sont tous les trois impaires, étant donné que $\operatorname{pgcd}(x, y, z)$ et 2 sont premiers entre eux et divisent $\operatorname{pgcd}(x+y, y+z, z+x)$, on a bien

$$
\operatorname{pgcd}(x, y, z)<2 \operatorname{pgcd}(x, y, z) \leqslant \operatorname{pgcd}(x+y, y+z, z+x)
$$

Les triplets solutions sont donc les triplets $\left\{(k x, k y, k z), k \in \mathbb{N}^{*}, x, y, z\right.$ impaires $\}$. Commentaire des correcteurs
Les correcteurs étaient très satisfait des différentes approches des élèves. Quelques erreurs sont à noter : ce n'est pas parce que $2 \mathrm{n} \equiv k$ mod a que $k$ est pair et ce $n$ 'est pas parce que $\operatorname{pgcd}(x, y, z)=\operatorname{pgcd}(x+$ $y, y+z, z+x)$ que $(x, y, z)=(x+y, y+z, z+x)$.

problem_match: Exercice 13.

solution_match: Solution de l'exercice 13


problem:
Existe-t-il des entiers $a$ et $b$ pour lesquels : $\mathbf{a}^{5} \mathbf{b}+3$ et $a^{5}+3$ sont tous deux des cubes parfaits?

Un cube parfait est un entier $n$ pour lequel il existe $m \in \mathbb{Z}$ tel que : $\mathfrak{n}=\mathrm{m}^{3}$.

solution:
Nous allons montrer qu'il n'y a pas d'entiers a et b satisfaisant les conditions du problème.
Soient $a$ et $b$ des entiers tels que $a^{5} b+3$ et $a b^{5}+3$ sont des cubes parfaits. Soit $m$ et $n$ des entiers tels que $a^{5} b+3=m^{3}$ et $a b^{5}+3=n^{3}$. Supposons que $3 \mid n$. Alors $27 \mid n$. De plus $3 \mid a b^{5}$ donc $3 \mid a$ ou $3 \mid b^{5}$. Si $3 \mid a$, alors $3^{5} \mid a^{5}$ donc $3 \mid a^{5} b+3=m^{3}$. Mais alors $27 \mid m^{3}$ et $27 \mid a^{5}$ donc $27 \mid m^{3}-a^{5} b=3$ ce qui est absurde. Si $3 \mid b$, alors $3^{5} \mid b^{5}$ et en particulier $27 \mid n^{3}-a b^{5}=3$ ce qui est aussi absurde. On déduit que 3 ne divise pas $n$ et de même 3 ne divise pas $m$. Si $3 \mid a$, alors $3 \mid \mathrm{m}$, n ce qui est exclut. On déduit donc que 3 ne divise pas non plus $a$ et $b$. Notons que

$$
m^{3}-n^{3}=a^{5} b-a b^{5}=a b(a-b)(a+b)\left(a^{2}+b^{2}\right)
$$

Comme $a$ et $b$ ne sont pas divisibles par $3, a^{2} \equiv b^{2} \equiv 1 \bmod 3$ donc $3 \mid a^{2}-b^{2}=(a-b)(a+b)$ et donc $3 \mid \mathrm{m}^{3}-\mathrm{n}^{3}$. D'après le théorème de Fermat, $\mathrm{m}^{3} \equiv \mathrm{~m} \bmod 3$ et $\mathrm{n}^{3} \equiv \mathrm{n} \bmod 3$. On déduit que $\mathrm{m} \equiv \mathrm{m}^{3} \equiv \mathrm{n}^{3} \equiv \mathrm{n} \bmod 3$. Il vient que

$$
m^{2}+m n+n^{2} \equiv 3 m^{2}=0 \quad \bmod 3
$$

On déduit que 3 divise $m-n$ et 3 divise $m^{2}+m n+n^{2}$ donc $9 \mid(m-n)\left(m^{2}+m n+n^{2}\right)=m^{3}-n^{3}$. Il vient que $9 \mid a b(a-b)(a+b)\left(a^{2}+b^{2}\right)$. Mais 3 ne divise pas $a, b$ et $a^{2}+b^{2} \equiv 2 \bmod 3$ donc 3 ne divise pas non plus $a^{2}+b^{2}$ et donc 9 non plus. On déduit que $9 \mid a^{2}-b^{2}$, soit $a^{2} \equiv b^{2} \bmod 9$. Ainsi

$$
\mathrm{m}^{3}=\mathrm{a}^{5} \mathrm{~b}+3 \equiv \mathrm{a}^{3} \cdot \mathrm{a}^{2} \cdot \mathrm{~b}+3 \equiv \mathrm{a}^{3} \mathrm{~b}^{2} \cdot \mathrm{~b}+3 \equiv(\mathrm{ab})^{3}+3 \quad \bmod 9
$$

Or les cubes modulo 9 prennent uniquement les valeurs $-1,0$ et 1 . On ne peut donc avoir $\mathrm{m}^{3}-(a b)^{3} \equiv 3$ mod 9. La condition de l'énoncé ne peut donc pas être satisfaite, comme annoncé.
Commentaire des correcteurs
Beaucoup d'élèves ont une solution brutale qui consiste à regarder les paires $\left(\mathrm{ab}^{5}, \mathrm{ba}^{5}\right)$ modulo 9 d 'une façon ou d'une autre, ce n'est pas forcément une mauvaise chose mais il est plus subtil d'utiliser le petit théorème de Fermat en compétition pour ne pas perdre de temps (et parce que souvent les études ne sont pas exhaustives). La plupart des élèves ont une solution légèrement différente du corrigé qui consiste à remarquer que $a^{5} b+3$ et $b^{5} a+3$ ne peuvent pas être congrus à des cubes en même temps $\bmod 9$.

problem_match: Exercice 14.

solution_match: Solution de l'exercice 14


problem:
Soit $p$ un nombre premier impair, $h<p$ un entier, $e \in\{1,2\}$.
On pose $n=h \cdot p^{e}+1$ et on suppose que:

$$
\left\{\begin{array}{r}
n \mid 2^{n-1}-1 \\
n \nmid 2^{h}-1
\end{array}\right.
$$

Montrer que n est premier.

solution:
Soit $\omega$ l'ordre de 2 modulo $n$. Par hypothèse, $\omega$ divise $n-1$ mais $\omega$ ne divise pas $h=\frac{n-1}{p^{e}}$, donc $p$ divise $\omega$.
$\omega$ divise $\phi(n)$ par le théorème d'Euler donc $p$ divise $\phi(n)$. Evidemment, $p$ ne divise pas $n$ donc il existe q premier qui divise n avec $\mathrm{q}=1(\bmod \mathrm{p})$ (d'après la formule donnant $\phi)$
On écrit $\mathrm{n}=\mathrm{q}^{\mathrm{a}} \mathrm{N}$ où N est premier avec q . Modulo p on a $1=1^{\mathrm{a}} * \mathrm{~N}$ donc $\mathrm{N}=1(\bmod \mathrm{p})$. On va montrer que $\mathrm{n}=\mathrm{q}$.
Dès lors, si $n \neq q$, soit $a \geqslant 2$ soit $N \geqslant p+1$ et donc $n \geqslant(p+1)^{2}>p^{2}+1>p h+1$ donc $e=2$ et le raisonnement montre que soit $a=1$, soit $N=1$ et dans tous les cas $a \leqslant 2$ et $N<p^{2}$.
Traitons deux cas :

- Si $a=2, n \equiv q^{2} \equiv(1+p k)^{2} \equiv 1+2 k p(\bmod p)$ où $q=1+k p$. Or $n \equiv 1\left(\bmod p^{2}\right)$ donc $p$ divise $2 k ; p$ divise $k$ et donc $q \geqslant p^{2}+1$ et $n=q^{2}>p^{3}+1>p^{2} h+1=n$, contradiction
- Si $a=1, q=1+k p, N=1+l p$ avec $k, l>0(\operatorname{car} q \equiv N \equiv 1(\bmod p))$. On a obligatoirement $k, l<p$ car sinon $n=q N \geqslant\left(1+p^{2}\right)(1+p)>p^{3}+1>p^{2} h+1=n$. De plus $1+(k+l) p \equiv n \equiv 1$ $\left(\bmod p^{2}\right)$ donc $k+l=p$. Un parmi $k$ et $l$ est donc impair, ce qui oblige $q$ ou $N$ pair, donc dans tous les cas $n$ est pair, ce qui contredit $n \mid 2^{n-1}-1$.

Dans tous les cas $\mathrm{n}=\mathrm{q}$ est premier.
Commentaire des correcteurs
Les correcteurs ont noté beaucoup d'erreurs d'inattention et de mauvaises utilisations de l'ordre d'un élément modulo $n$. Certains élèves ont été surpris en train d'essayer d'arnaquer les correcteurs, ce qui est inutile et ne permettra sûrement pas de gagner des points en compétition.

problem_match: Exercice 15.

solution_match: Solution de l'exercice 15


problem:
Soit $m, n \geqslant 2$ des entiers vérifiant la propriété suivante:

$$
a^{n} \equiv 1 \quad(\bmod m) \quad a=1, \ldots, n
$$

Prouver que $m$ est un nombre premier et que $\mathrm{n}=\mathrm{m}-1$.

solution:
Commençons par supposer que $m=p$ est un nombre premier. On doit donc montrer $n=p-1$. Si $n \geqslant p$, on a $p^{n} \equiv 1(\bmod p)$, une évidente contradiction. Donc $n<p$.
Considérons $T=X^{n}-1$ le polynôme de $\mathbb{Z} / p \mathbb{Z}[X]$. Il a pour racines par hypothèse $1, \ldots, n$, qui sont au nombre de $n$ et distinctes, et, puisque $\mathbb{Z} / p \mathbb{Z}$ est intègre, et que $T$ est de degré $n$, ce sont les seules. Donc $T=(X-1) \cdot \ldots \cdot(X-n)$. En regardant le coefficient en $X^{n-1}$ de $T$, on voit que $0 \equiv 1+\ldots+n(\bmod p)$ par les formules de Viète. Ainsi, $p \left\lvert\, \frac{n(n+1)}{2}\right.$, donc (puisque $n<p$ ) on a nécessairement $n=p-1$.

Revenons au cas général. Soit $p$ un diviseur premier de $m$. On a $n=p-1$ puisque l'hypothèse de l'énoncé reste vraie pour $m=p$. Dès lors, si $q$ est un autre diviseur premier de $m, q-1=n=p-1$ et $q=p$. Il reste à voir que $m$ ne peut pas être une puissance de $p$ autre que $p$. Il suffit clairement de le voir pour $\mathrm{m}=\mathrm{p}^{2}$. Or $(p-1)^{\mathrm{p}-1} \equiv(-1)^{\mathrm{p}-1}+\mathrm{p} \times(-1)^{\mathfrak{p}-2}\left(\mathrm{p}^{\mathrm{p}}\right)\left(\bmod \mathrm{p}^{2}\right)$ par le binôme de Newton. Puisque $p-1$ est pair, et que $p^{2} \nmid-p(p-1)$, on a bien $(p-1)^{p-1} \not \equiv 1\left(\bmod p^{2}\right)$. Ceci achève la démonstration.
Commentaire des correcteurs
Il y avait pas mal de bonnes copies mais plein de petites erreurs donc les notes se trouvent majoritairement entre 4 et 7 .

problem_match: Exercice 16.

solution_match: Solution de l'exercice 16


problem:
Soit $S$ un ensemble non vide d'entiers strictement positifs vérifiant la propriété suivante : Pour tous entiers $a, b \in S$, l'entier $a b+1$ appartient aussi à $S$.
Montrer que l'ensemble des nombres premiers ne divisant aucun des éléments de $S$ est fini.

solution:
Soit $p$ un nombre premier et soit $a_{1}, a_{2}, \ldots a_{k}$ les restes possibles des éléments de $S$ modulo $p$. On suppose que 0 n'appartient pas à $R=\left\{a_{1}, \ldots, a_{k}\right\}$, c'est-à-dire que $p$ ne divise aucun élément de $S$.
On sait que pour tout $i, j, a_{i} a_{j}+1 \in R$. Notons que si $j$ et $l$ sont distincts, alors $a_{i} a_{j}+1$ et $a_{i} a_{l}+1$ sont distincts. En effet

$$
a_{i} a_{j}+1-\left(a_{i} a_{l}+1-\equiv a_{i}\left(a_{j}-a_{l}\right) \neq 0 \quad \bmod p\right.
$$

Ainsi pour $i$ fixé, $R=\left\{a_{1}, \ldots, a_{k}\right\}=\left\{a_{i} a_{1}+1, \ldots, a_{i} a_{k}+1\right\}$. Il vient que

$$
a_{1}+\ldots+a_{k} \equiv a_{i} a_{1}+1+\ldots+a_{i} a_{k}+1 \equiv a_{i}\left(a_{1}+\ldots+a_{k}\right)+k \bmod p
$$

Si $a_{1}+\ldots+a_{k} \equiv 0 \bmod p$, alors $k \equiv 0 \bmod p$ donc $k=p$ et $0 \in R$ ce qui est contraire à l'hypothèse. On déduit que $a_{1}+\ldots+a_{k}$ est inversible modulo $p$ et

$$
a_{i} \equiv \frac{k}{a_{1}+\ldots+a_{k}} \bmod p
$$

Ce terme ne dépend pas de $i$. Donc les $a_{i}$ sont égaux et $R$ est un singleton noté $\{a\}$. Ainsi $a^{2}+1 \equiv a$ $\bmod p$ donc $p \mid a^{2}+1-a$ et $p \leqslant n^{2}-n+1$ pour tout $n$ dans $S$. Si $n_{0}$ est le plus petit élément de $S$, alors en particulier $p \leqslant \mathfrak{n}_{0}^{2}-\mathfrak{n}_{0}+1$.
En conclusion, si $p$ ne divise aucun élément de $S$, $p$ est borné par $n_{0}^{2}-n_{0}+1$. Ainsi l'ensemble des nombres premiers ne divisant aucun élément de $S$ est fini.
Commentaire des correcteurs
L'exercice a été bien résolu par les quelques élèves qui l'ont traité.

problem_match: Exercice 17.

solution_match: Solution de l'exercice 17


problem:
Trouver tous les entiers $n \geqslant 1$ pour lesquels la fonction:

$$
x \longmapsto x^{x}
$$

prenne toutes les valeurs possibles modulo $n$ lorsque $x$ parcourt $\llbracket 0, n-1 \rrbracket$.
On dit que c'est une surjection dans $\mathbb{Z} / n \mathbb{Z}$.

solution:
Notons déjà que si $n$ vérifie la propriété, alors tout diviseur d de n la vérifie également. Posons f l'application qui à $x$ dans $\mathbb{N}^{*}$ dans $\mathbb{Z} / \mathfrak{Z} \mathbb{Z}$.
Pour $n=p^{2}$ avec $p$ premier, notons que $p$ n'est pas dans l'image de $f$. En effet, si $f(x) \equiv p\left(\bmod p^{2}\right)$, $p$ divise $x^{x}$ donc $p$ divise $x$. En particulier, comme $x \geqslant p \geqslant 2, p^{2}$ divise $x^{x}=f(x)$ contradiction. En particulier, si $n$ vérifie la propriété, dans sa décomposition en facteurs premiers toutes les valuations $p$ adiques valent au plus 1.
Pour $n=p$ premier, donnons nous $y \in \mathbb{N}$. On cherche $x$ entier positif tel que $x^{x} \equiv y(\bmod p)$. Pour cela, on utilise le petit théorème de Fermat: si $p-1$ divise $x-1, x^{x} \equiv x^{x-1} \times x \equiv x(\bmod p)$. En particulier, il suffit de prendre $x$ strictement positif tel que $x \equiv 1(\bmod p-1)$ et $x \equiv y(\bmod p)$. Ceci est possible par le théorème des restes chinois, car $p$ et $p-1$ sont premiers entre eux, donc $f$ est surjective.

Il reste à traiter le cas où $n$ est un produit de facteurs premiers deux à deux distincts : supposons $n=p_{1} \ldots p_{k}$ avec les ( $p_{i}$ ) premiers et deux à deux distincts. On peut réessayer d'utiliser l'argument précédent : soit $y \in \mathbb{N}$, on cherche $x$ entier strictement positif tel que $x^{x}=y(\bmod \boldsymbol{n})$, ceci est équivalent par théorème des restes chinois à $x^{x}=y\left(\bmod p_{i}\right)$ pour tout $i$ entre 1 et $k$. Il suffit de prendre $x$ tel que $x \equiv 1\left(\bmod p_{i}-1\right)$ et $x \equiv y\left(\bmod p_{i}\right)$ pour tout $i$, c'est à dire $x \equiv 1\left(\bmod \prod_{i=1}^{k}\left(p_{i}-1\right)\right)$ et $x \equiv y$ $\left(\bmod p_{i}\right)$ pour tout $i$. Notons que les $\left(p_{i}\right)$ sont deux à deux premiers entre eux, mais à priori on ne peut pas affirmer que $p_{i}$ est premier $\prod_{i=1}^{k}\left(p_{i}-1\right)$ pour tout $i$.
Si pour tout $(\boldsymbol{i}, \mathfrak{j})$ entre 1 et $k, p_{i}$ ne divise pas $\mathfrak{p}_{\mathfrak{j}}-1$, dans ce cas $\mathfrak{p}_{\boldsymbol{i}}$ est premier $\prod_{i=1}^{k}\left(\mathfrak{p}_{\boldsymbol{i}}-1\right)$ pour tout $\boldsymbol{i}$, donc par théorème des restes chinois on peut trouver $x$ tel que $x \equiv 1\left(\bmod \prod_{i=1}^{k}\left(p_{i}-1\right)\right)$ et $x \equiv y$ $\left(\bmod p_{i}\right)$ pour tout i , ainsi $x^{x} \equiv y(\bmod \boldsymbol{n})$.

Supposons qu'il existe $(i, j)$ tel que $p_{i}$ divise $p_{j}-1$. Comme $i \neq j$, il suffit dans ce cas de vérifier que $f$ n'est pas surjective modulo $m$ avec $m=p_{i} p_{j}$, supposons que $f$ est surjective modulo $m$. Soit $a \in \mathbb{N}, y$ tel que $y \equiv 0\left(\bmod p_{i}\right)$ et $y \equiv a\left(\bmod p_{j}\right)$ par théorème des restes chinois. Supposons qu'il existe $x$ tel que $x^{x} \equiv y\left(\bmod p_{i} p_{j}\right)$. Dans ce cas $x^{x} \equiv 0\left(\bmod p_{i}\right)$ donc $p_{i}$ divise $x$, posons alors $x=k p_{i}$. Dans ce cas, $x^{x} \equiv\left(x^{k}\right)^{\mathfrak{p}_{i}} \equiv a\left(\bmod \mathfrak{p}_{j}\right)$. On obtient, en élevant à la puissance $\frac{\mathfrak{p}_{j}-1}{\mathfrak{p}_{i}}, a^{\frac{p_{j}-1}{p_{i}}}=\left(x^{k}\right)^{\mathfrak{p}_{j}-1}=1$ $\left(\bmod \mathfrak{p}_{\mathfrak{j}}\right)$. En particulier, si a est une racine primitive modulo $\mathfrak{p}_{\mathfrak{j}}$, comme a est d'ordre exactement $\mathfrak{p}_{\mathfrak{j}}-1$, on obtient une contradiction, l'application f n'est pas surjective.

Ainsi l'application est surjective si et seulement si $\mathrm{n}=\mathrm{p}_{1} \ldots \mathrm{p}_{\mathrm{k}}$ avec les $\left(\boldsymbol{p}_{\boldsymbol{i}}\right)$ premiers et deux à deux distincts et pour tout $(\boldsymbol{i}, \mathfrak{j})$ entre 1 et $k, p_{i}$ ne divise pas $\mathfrak{p}_{\mathfrak{j}}-1$.
Commentaire des correcteurs
Les copies reçues sur ce problème sont de très bon niveau. Le problème était relativement difficile, mais nombreux sont ceux qui ont trouvé de bonnes avancées. Certaines copies ont voulu utiliser le lemme chinois, certes il pouvait être utile, mais il pouvait causer beaucoup d'erreurs : notamment ce n'est pas
parce que l'application est surjective modulo $p$ pour tout nombre $p$ premier qu'elle l'est pour tout nombre "squarefree" c'est-à-dire sans facteur premier avec multiplicité supérieure ou égale à 2 . Attention aussi à l'utilisation du théorème d'Euler $\left(a^{\phi(n)}=1(\bmod n)\right)$ : pour pouvoir l'utiliser, il faut que le nombre soit premier avec n .

problem_match: Exercice 18.

solution_match: Solution de l'exercice 18