problem: Soit $A B C$ un triangle isocèle en $A$. On note $O$ le centre de son cercle circonscrit. Soit $D$ un point de $[B C]$. La droite parallèle à $(A B)$ passant par $D$ coupe $(A C)$ en $E$. La droite parallèle à $(A C)$ passant par $D$ coupe $(A B)$ en $F$. Montrer que $A, E, O, F$ sont cocycliques.

solution:
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-02.jpg?height=554&width=532&top_left_y=422&top_left_x=772)

Soit $R$ la rotation de centre $O$ et d'angle $(\overrightarrow{O B}, \overrightarrow{O A})$. On a $R(B)=A$ et $R(A)=C$.
Comme ( DF$) / /(\mathrm{AC})$, on a $\widehat{\mathrm{FDB}}=\widehat{\mathrm{ACB}}=\widehat{\mathrm{CBA}}=\widehat{\mathrm{DBF}}$, donc FBD est isocèle en F. Par conséquent, $\mathrm{BF}=\mathrm{FD}$. Or, $A E D F$ est un parallélogramme, donc $\mathrm{FD}=A E$, d'où $B F=A E$. On en déduit que $R(F)$ et $E$ sont deux points de $[A, C]$ qui sont à même distance de $A$, donc $R(F)=E$.

On en déduit l'égalité entre les angles de vecteurs $(\overrightarrow{O F}, \overrightarrow{O E})=(\overrightarrow{O B}, \overrightarrow{O A})$. Par conséquent, $2(\overrightarrow{O F}, \overrightarrow{O E})=$ $(\overrightarrow{O B}, \overrightarrow{O A})+(\overrightarrow{O A}, \overrightarrow{O C})=(\overrightarrow{O B}, \overrightarrow{O C})=2(\overrightarrow{A B}, \overrightarrow{A C})=2(\overrightarrow{A F}, \overrightarrow{A E})$, donc les angles de droites $(A F, A E)$ et $(\mathrm{OF}, \mathrm{OE})$ sont égaux, ce qui conclut.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-02.jpg?height=83&width=197&top_left_y=1452&top_left_x=964)

problem_match: Exercice 1.

solution_match: ## Solution.


problem:
Soit $\left(a_{n}\right)_{n \in \mathbb{N}}$ une suite croissante et non constante d'entiers strictement positifs tels que $a_{n}$ divise $n^{2}$ pour tout $n \geqslant 1$. Prouver que l'une des affirmations suivantes est vraie:
a) Il existe un entier $n_{1}>0$ tel que $a_{n}=n$ pour tout $n \geqslant n_{1}$.
b) Il existe un entier $n_{2}>0$ tel que $a_{n}=n^{2}$ pour tout $n \geqslant n_{2}$.

solution:
Tout d'abord, puisque pour tout entier $n$, on a $a_{n} \in \mathbb{N}^{*}$, et que la suite ( $a_{n}$ ) est croissante et non constante, il existe un entier $n_{0}$ tel que $a_{n} \geqslant 2$ pour tout $n \geqslant n_{0}$. Par conséquent, pour tout nombre premier $p>n_{0}$, on a $a_{p}=p$ ou $a_{p}=p^{2}$.

- Supposons que, pour tout entier $n \geqslant 1$, on ait $a_{n} \leqslant n$. Soit $p>n_{0}$ un nombre premier. Prouvons par récurrence que $a_{n}=n$ pour tout $n \geqslant p$. En effet, d'après ci-dessus, on a $a_{p}=p$. De plus, si $a_{n}=n$ pour un certain $n \geqslant p \geqslant 2$, alors $n=a_{n} \leqslant a_{n+1} \leqslant n+1$, d'où $a_{n+1}=n$ ou $a_{n+1}=n+1$. Mais, $a_{n+1}$ divise $(n+1)^{2}$, tandis que $n$ ne divise pas $(n+1)^{2}$. Ainsi, on a $a_{n+1}=n+1$, ce qui achève la récurrence.

Il suffit alors de choisir $\mathrm{n}_{1}=\mathrm{p}$ pour conclure dans ce cas.

- Supposons qu'il existe un entier $m \geqslant 1$ tel que $a_{m}>m$. S'agissant d'entiers, c'est donc que $a_{m} \geqslant m+1$. Mais, $m+1 \geqslant 2$ et $m+1$ est premier avec $m^{2}$, donc $m+1$ ne peut diviser $m^{2}$, et on a alors $a_{m} \geqslant m+2$. On en déduit que $a_{m+1} \geqslant a_{m}>m+1$. Une récurrence immédiate assure donc que $a_{n}>n$ pour tout $n \geqslant m$.

En particulier, compte-tenu de notre remarque initiale, si $p \geqslant m$ est un nombre premier, on a $a_{p}=p^{2}$. Soit donc $p>m$ un nombre premier impair. Nous allons prouver par récurrence que $a_{n}=n^{2}$ pour tout $n \geqslant p$. Nous venons de voir que c'est vrai pour $n=p$. Supposons que $a_{n}=n^{2}$ pour un certain entier $n \geqslant p$. Alors $n \geqslant 3$, d'où $a_{n+1} \geqslant a_{n}=n^{2}>\frac{1}{2}(n+1)^{2}$. Or, $a_{n+1}$ divise $(n+1)^{2}$, donc $\mathrm{a}_{\mathrm{n}+1}=(\mathrm{n}+1)^{2}$. Cela achève la récurrence.

Il suffit donc de choisir $\mathrm{n}_{2}=\mathrm{p}$ pour conclure dans ce cas.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-03.jpg?height=87&width=191&top_left_y=1580&top_left_x=970)

problem_match: Exercice 2.


problem:
Prouver que pour tous réels strictement positifs $a, b, c$ tels que $a b c=1$, on a

$$
\frac{1}{1+a^{2}+(b+1)^{2}}+\frac{1}{1+b^{2}+(c+1)^{2}}+\frac{1}{1+c^{2}+(a+1)^{2}} \leqslant \frac{1}{2}
$$

solution:
Soit $a, b, c$ des réels strictement positifs.
Compte tenu de l'inégalité bien connue $x^{2}+y^{2} \geqslant 2 x y$ valable pour tous réels $x, y$, on a

$$
\frac{1}{1+a^{2}+(b+1)^{2}}=\frac{1}{2+a^{2}+b^{2}+2 b} \leqslant \frac{1}{2(1+a b+b)}
$$

De même, et puisque $a b c=1$, on a

$$
\frac{1}{1+b^{2}+(c+1)^{2}} \leqslant \frac{1}{2(1+b c+c)}=\frac{a b}{2\left(a b+a b^{2} c+a b c\right)}=\frac{a b}{2(1+a b+b)}
$$

et

$$
\frac{1}{1+c^{2}+(a+1)^{2}} \leqslant \frac{1}{2(1+a c+a)}=\frac{b}{2(b+a b c+a b)}=\frac{b}{2(1+a b+b)}
$$

en sommant membre à membre, il vient

$$
\begin{aligned}
& \frac{1}{1+\mathrm{a}^{2}+(\mathrm{b}+1)^{2}}+\frac{1}{1+\mathrm{b}^{2}+(\mathrm{c}+1)^{2}}+\frac{1}{1+\mathrm{c}^{2}+(\mathrm{a}+1)^{2}} \\
& \leqslant \frac{1}{2}\left(\frac{1}{1+\mathrm{ab}+\mathrm{b}}+\frac{\mathrm{ab}}{1+\mathrm{ab}+\mathrm{b}}+\frac{\mathrm{b}}{1+\mathrm{ab}+\mathrm{b}}\right)=\frac{1}{2}
\end{aligned}
$$

![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-04.jpg?height=82&width=172&top_left_y=1604&top_left_x=982)

problem_match: Exercice 3.


problem:
Dans le plan, on considère l'ensemble $S$ des points de coordonnées $(x, y)$, où $x, y \in$ $\{1,2, \ldots, 2013\}$. Deux points de $S$ sont dits voisins s'ils sont à une distance 1 l'un de l'autre. A chaque seconde, une mouche et des araignées se déplacent sur les points de $S$ de la façon suivante : tout d'abord, la mouche soit ne bouge pas, soit va sur un point voisin de celui sur lequel elle se trouve. Puis, chaque araignée soit ne bouge pas, soit va sur un point voisin de celui sur lequel elle se trouve. Plusieurs araignées peuvent se trouver simultanément sur un même point, et la mouche ainsi que les araignées connaissent les positions respectives des unes et des autres.
a) Déterminer le plus petit entier $k$ pour lequel $k$ araignées pourront toujours finir par attraper la mouche en un temps fini, et ce quelles que soient les positions initiales de la mouche et des araignées sur les points de $S$.
b) Répondre à la même question si l'on suppose cette fois que l'on est dans l'espace usuel et que $S$ est l'ensemble des points de coordonnéees $(x, y, z)$ où $x, y, z \in\{1,2, \ldots, 2013\}$.

solution:
Une seule araignée ne peut attraper la mouche : en effet, la mouche peut attendre jusqu'à ce que l'araignée soit sur un point voisin de celui sur lequel elle se trouve. A partir de ce moment, elle se déplace à chaque fois sur un point diagonalement opposé à celui sur lequel est l'araignée si celle-ci est sur un point voisin, et sinon attend où elle est.

On va prouver maintenant que, dans le plan comme dans l'espace, deux araignées suffisent pour attraper la mouche.

Pour cela, on note $M$ la mouche, et on désigne par $P$ et $Q$ les deux araignées. Pour chaque animal $A$, on note respectivement $A_{x}, A_{y}$ et $A_{z}$ son abscisse, son ordonnée et sa cote.
a) Les araignées $P$ et $Q$ se placent tout d'abord sur le point de coordonnées $(1,1)$. Puisque $M$ ne peut s'enfuir indéfiniment vers la droite, $P$ peut alors en un temps fini, et en ne se déplaçant qu'horizontalement, se trouver en un point tel que $P_{x}=M_{x}$ et $P_{y}=1$. De même, $Q$ se place en un point tel que $Q_{x}=1$ et $Q_{y}=M_{y}$ (il est clair que si $P$, par exemple, atteint ce premier objectif avant $Q$, elle peut suivre les déplacements de $M$ en conservant $P_{x}=M_{x}$ et $P_{y}=1$ et attendre le positionnement adéquat de Q).

A partir de ces positions, atteintes au temps $t_{0}$ :

- si $M$ se déplace horizontalement (c'est-à-dire de sorte que $M_{x}$ change) alors $P$ fait de même afin de conserver $\mathrm{P}_{\mathrm{x}}=\mathrm{M}_{\mathrm{x}}$.
- sinon, $P$ se déplace verticalement, en allant vers $M$.

L'araignée $Q$ procède de la même façon, mais en échangeant les rôles des abscisses et ordonnées.
En utilisant cette stratégie et à partir de $t_{0}$, la quantité $\left|P_{y}-M_{y}\right|+\left|Q_{x}-M_{x}\right|$ n'augmente jamais. Mais, cette quantité ne reste constante que lors d'un déplacement de $M$ vers la droite ou vers le haut, ce qui ne peut arriver qu'un nombre fini de fois. Par suite, après un temps fini, au moins l'un des deux termes de la somme va être égal à 0 , signifiant ainsi la perte de la mouche.
b) Les deux araignées se placent tout d'abord sur le point $(1,1,1)$. Puis, en restant dans le plan $\pi$ d'équation $z=1$ et par utilisation de la stratégie du a), l'une d'elles va attraper l'ombre de $M$ dans $\pi$ (i.e. la projection orthogonale de $M$ sur $\pi$ ). Sans perte de généralité, on peut supposer qu'il s'agit de $P$, et on a donc $P_{x}=M_{x}$ et $P_{y}=M_{y}$. Une fois ceci réalisé, $P$ calque ses déplacements sur ceux de $M$ de façon à conserver ces deux égalités. Toutefois, si $M$ se déplace parallèlement à l'axe des cotes ou reste immobile, alors $P$ se déplace parallèlement à l'axe des cotes, mais en allant vers $M$ (et on note qu'on a toujours $P_{z} \leqslant M_{z}$ ). Puisque $M_{z}$ ne peut augmenter indéfiniment, $M$ ne peut échapper à $P$ qu'en ne faisant qu'un nombre fini de déplacements parallèlement à l'axe des cotes et en ne restant immobile
qu'un nombre fini de fois. Par conséquent, à partir d'un instant $t_{1}$, la mouche $M$ ne se déplacera plus que dans un même plan $\pi^{\prime}$ d'équation $z=$ constante, et sans rester immobile.

L'araignée Q vient alors se placer dans le plan $\pi^{\prime}$. Quitte à rester immobile, elle peut rendre la quantité $f=\left|Q_{x}-M_{x}\right|+\left|Q_{y}-M_{y}\right|$ paire. A partir de cet instant, noté $t_{2}, Q$ suit la procédure suivante :

- Si $\left|Q_{x}-M_{x}\right|>\left|Q_{y}-M_{y}\right|$ alors $Q$ se déplace parallèlement à l'axe des abscisses, de sorte que $\left|Q_{x}-M_{x}\right|$ n'augmente pas ( $Q$ se déplace horizontalement, le long d'une droite $d$, en allant vers la projection de $M$ sur la droite $d$ ).
- Sinon, $Q$ se déplace parallèlement à l'axe des ordonnées, dans des conditions analogues.

Pour se fixer les idées, on peut supposer que pour tout $t \in \mathbb{N}$, la mouche se déplace à l'instant $t+\frac{1}{3}$ et l'araignée à l'instant $t+\frac{2}{3}$. Puisque ni $M$ ni $Q$ ne reste immobile, le mouvement de $M$ fait augmenter ou diminuer $f$ d'une unité et le mouvement de $Q$ fait diminuer $f$ d'une unité, donc pour tout $t \in \mathbb{N}, f(t)$ est pair (en particulier, $Q$ ne se placera jamais sur un point voisin de $M$ ) et de plus $f(t+1) \leqslant f(t)$.

Soit $g=\max \left(\left|Q_{x}-M_{x}\right|,\left|Q_{y}-M_{y}\right|\right)$. On observe que le mouvement de $Q$ ne peut que faire décroître g. De plus,

- Si le mouvement de $M$ à l'instant $t+\frac{1}{3}$ fait décroître $g$, alors $g(t+1) \leqslant g(t)$.
- Supposons que le mouvement de $M$ à l'instant $t+\frac{1}{3}$ fait croître $g$. Si par exemple $M$ s'est déplacée dans la direction des $x$, nécessairement $\left|Q_{x}(t)-M_{x}(t)\right| \geqslant\left|Q_{y}(t)-M_{y}(t)\right|$ et $M$ s'est éloignée de $Q$, donc après le mouvement de $M$ on a $\left|Q_{x}-M_{x}\right|>\left|Q_{y}-M_{y}\right|$. Par conséquent l'araignée se déplace dans le même sens que la mouche et on a $g(t+1)=g(t)$.
Dans tous les cas, on voit que $g(t+1) \leqslant g(t)$ pour tout $t \in \mathbb{N}$, donc il existe $t_{2} \in \mathbb{N}$ tel que $g(t)=g\left(t_{2}\right)$ et $f(t)=f\left(t_{2}\right)$ pour tout $t \geqslant t_{2}$. Supposons par l'absurde que $g\left(t_{2}\right)>0$.

Quitte changer l'orientation des axes, on peut supposer que $Q_{x}\left(t_{2}\right) \leqslant M_{x}\left(t_{2}\right)$ et $Q_{y}\left(t_{2}\right) \leqslant M_{y}\left(t_{2}\right)$. - Premier cas: $Q_{y}\left(t_{2}\right)=M_{y}\left(t_{2}\right)$. Comme $f\left(t_{2}\right)$ est pair, on a $M_{x}\left(t_{2}\right) \geqslant Q_{x}\left(t_{2}\right)+2$. Si entre les instants $t_{2}$ et $t_{2}+1$ la mouche se déplace dans la direction des $y$, alors l'araignée se déplace vers la droite, et $g\left(t_{2}+1\right)=g\left(t_{2}\right)-1$. Impossible. Si la mouche se déplace vers la gauche, alors son déplacement fait diminuer f d'une unité, donc $\mathrm{f}\left(\mathrm{t}_{2}+1\right)=\mathrm{f}\left(\mathrm{t}_{2}\right)-2$. Impossible. On en déduit que la mouche se déplace vers la droite, et du coup l'araignée également. Par une récurrence immédiate, on obtient que $M_{x}\left(t_{2}+k\right)=M_{x}\left(t_{2}\right)+k$ pour tout $k \in \mathbb{N}$, ce qui est impossible.

- Deuxième cas: $Q_{x}\left(t_{2}\right)=M_{x}\left(t_{2}\right)$. Analogue.
- Troisième cas: $\mathrm{Q}_{\mathrm{x}}\left(\mathrm{t}_{2}\right)<\mathrm{M}_{\mathrm{x}}\left(\mathrm{t}_{2}\right)$ et $\mathrm{Q}_{\mathrm{y}}\left(\mathrm{t}_{2}\right)<\mathrm{M}_{\mathrm{y}}\left(\mathrm{t}_{2}\right)$. Comme le déplacement de Q fait diminuer strictement la quantité f , le déplacement de $M$ doit faire augmenter f d'une unité. Par conséquent, entre les instants $t_{2}$ et $t_{2}+1$, la mouche doit se déplacer vers la droite ou vers le haut. On en déduit facilement que $Q_{x}\left(t_{2}+1\right)<M_{x}\left(t_{2}+1\right)$ et $Q_{y}\left(t_{2}+1\right)<M_{y}\left(t_{2}+1\right)$. Par une récurrence immédiate, la suite $\left(M_{x}\left(t_{2}+k\right)+M_{y}\left(t_{2}+k\right)\right)_{k \in \mathbb{N}}$ est strictement croissante, ce qui est impossible puisqu'elle est bornée et à valeurs entières.
Dans tous les cas on a abouti à une contradiction, ce qui prouve que $\mathrm{g}\left(\mathrm{t}_{2}\right)=0$ et que l'araignée a rattrapé la mouche à l'instant $t_{2}$.

problem_match: Exercice 4.


problem:
$\mathbb{N}^{*}$ désigne l'ensemble des entiers supérieurs ou égaux à un. Trouver toutes les applications $\mathrm{f}: \mathbb{N}^{*} \rightarrow \mathbb{N}^{*}$ vérifiant :
i) quel que soit $n$ appartenant à $\mathbb{N}^{*}, f(n+f(n))=f(n)$
ii) $f(2013)=1$.

solution:
Soit f une solution éventuelle.
Soit $a \in \mathbb{N}^{*}$ tel que $f(a)=1$.
Alors $f(a+1)=f(a+f(a))=f(a)=1$.
Puisque $f(2013)=1$, on en déduit par récurrence que $f(n)=1$ pour tout entier $\mathfrak{n} \geqslant 2013$.
D'autre part, supposons que $a \geqslant 2$ soit un entier tel que $f(n)=1$ pour tout $n \geqslant a$.
Alors, $a-1 \geqslant 1$ et $f(a-1) \geqslant 1$, d'où $a-1+f(a-1) \geqslant a$ et donc d'après le premier paragraphe $f(a-1)=f(a-1+f(a-1))=1$.

Cela assure que $f(n)=1$ pour tout $n \geqslant a-1$.
Puisque l'on a vu que $f(n)=1$ pour tout $n \geqslant 2013$, on en déduit par récurrence descendante que $f(n)=1$ pour tout $n \geqslant 1$.

Réciproquement, il est clair que la fonction constante $\mathrm{f}: \mathrm{n} \longmapsto 1$ est une solution du problème.
Finalement, la seule solution est la fonction constante $\mathrm{f}: \mathfrak{n} \longmapsto 1$.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-07.jpg?height=85&width=191&top_left_y=1275&top_left_x=964)

problem_match: Exercice 5.


problem:
1) Soient $a$ et $b$ deux nombres réels tels que $a^{n}+b^{n}$ est un entier pour $n=1,2,3,4$. Montrer que $a^{n}+b^{n}$ est un entier pour tout $n \in \mathbb{N}^{*}$.
2) Est-il vrai que si $a$ et $b$ sont deux nombres réels tels que $a^{n}+b^{n}$ est un entier pour $\boldsymbol{n}=1,2,3$ alors $a^{n}+b^{n}$ est un entier pour tout $n \in \mathbb{N}^{*}$ ?

solution:
1) Notons $s=a+b$ et $p=a b$. Soit $S_{n}=a^{n}+b^{n}$. Par hypothèse, $S_{n}$ est un entier pour $1 \leqslant n \leqslant 4$. Comme pour tout $\mathrm{n} \geqslant 1$ on a

$$
S_{n+1}=a^{n+1}+b^{n+1}=(a+b)\left(a^{n}+b^{n}\right)-a b\left(a^{n-1}+b^{n-1}\right)=S_{1} S_{n}-p S_{n-1},
$$

si on montre que $p$ est un entier alors par récurrence immédiate il s'ensuivra que $S_{n}$ est un entier pour tout $n$.

On a

$$
S_{2}=(a+b)^{2}-2 a b=s^{2}-2 p
$$

donc $2 p=S_{1}^{2}-S_{2}$ est un entier. On a

$$
S_{4}=\left(a^{2}+b^{2}\right)^{2}-2(a b)^{2}=S_{2}^{2}-2 p^{2}
$$

donc $2 p^{2}=S_{2}^{2}-S_{4}$ est un entier. On en déduit que $(2 p)^{2}=2\left(2 p^{2}\right)$ est un entier pair. Comme $2 p$ est entier, il est pair donc $p$ est bien entier.
2) On a

$$
S_{3}=(a+b)\left(a^{2}+b^{2}\right)-a b^{2}-a^{2} b=S_{1} S_{2}-p s
$$

donc si $p$ est un demi-entier (c'est-à-dire que $p-\frac{1}{2}$ est un entier) et si $s$ est un entier pair, alors $S_{1}, S_{2}, S_{3}$ sont des entiers alors que $S_{4}$ est un demi-entier. Par exemple, si $a=1+\frac{1}{\sqrt{2}}$ et $b=1-\frac{1}{\sqrt{2}}$ alors $s=2$, $p=\frac{1}{2}, S_{1}=2, S_{2}=3, S_{3}=5, S_{4}=17 / 2$.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-08.jpg?height=77&width=180&top_left_y=1528&top_left_x=970)

problem_match: Exercice 6.

solution_match: Solution.


problem: Partant d'un triplet d'entiers relatifs $(x, y, z)$, une opération consiste à ajouter à l'un de ces trois entiers un multiple de l'un des deux autres (ce multiple peut être positif ou négatif). Prouver que si $a, b, c$ sont des entiers premiers entre eux dans leur ensemble, on peut passer du triplet ( $a, b, c$ ) au triplet $(1,0,0)$ en au plus cinq opérations.

solution:
Si $b$ et $c$ sont nuls alors, puisque $\operatorname{pgcd}(a, b, c)=1$, on doit avoir $a=1$ ou $a=-1$. Dans le premier cas, il n'y a rien à faire. Dans le second, par trois opérations successives, on peut passer de $(-1,0,0)$ à $(-1,1,0)$, puis à $(1,1,0)$ et enfin à $(1,0,0)$.

On peut donc supposer que b ou c est non nul.
L'objectif est d'atteindre un triplet de la forme $(1, \mathrm{~s}, \mathrm{t})$ en au plus trois étapes, puisqu'avec deux étapes supplémentaires, il est alors immédiat d'obtenir $(1,0,0)$.

On suppose que $\mathrm{c} \neq 0$, le cas $\mathrm{b} \neq 0$ se traitant de façon analogue.
Afin d'atteindre l'objectif ci-dessus, il suffit de trouver un entier n tel que c et $\mathrm{b}+\mathrm{na}$ soient premiers entre eux : en effet, supposons pour le moment qu'un tel entier n ait été déterminé et voyons comment la conclusion va en découler.

On pose $b^{\prime}=b+n a$ et, avec une première opération, on peut passer de $(a, b, c) a ̀\left(a, b^{\prime}, c\right)$. Ensuite, d'après le théorème de Bézout, on sait qu'il existe deux entiers $u$ et $v$ tels que $u b^{\prime}+v c=1$. Après multiplication par $a-1$, il existe donc deux entiers $x$ et $y$ tels que $x b^{\prime}+y c=a-1$. On utilise alors une seconde opération pour passer de $\left(a, b^{\prime}, c\right)$ à $\left(a-x b^{\prime}, b^{\prime}, c\right)$, puis une troisième pour passer de $\left(a-x b^{\prime}, b^{\prime}, c\right) a ̀\left(a-x b^{\prime}-y c, b^{\prime} c\right)=\left(1, b^{\prime}, c\right)$.

Pour conclure, il ne reste donc plus qu'à prouver qu'un tel entier n existe.
Soit E l'ensemble des diviseurs premiers de c qui divisent également au moins un nombre de la forme $b+k a$, où $k \in \mathbb{Z}$.
$\operatorname{Si} E=\emptyset$ alors tout entier n est tel que $\operatorname{pgcd}(\mathrm{c}, \mathrm{b}+\mathrm{na})=1$.
Sinon, on note tout d'abord que E est fini car il ne contient que des diviseurs premiers de c , avec $c \neq 0$. Ensuite, pour chaque $p \in E$, il existe un entier $k_{p}$ tel que $b+k_{p} a=0 \bmod [p]$. On remarque qu'un tel nombre $p$ ne divise pas a car sinon $p$ diviserait aussi $b$, en contradiction avec $\operatorname{pgcd}(a, b, c)=1$.

D'après le théorème chinois, il existe un entier $n$ tel que $n=k_{p}+1 \bmod [p]$ pour tout $p \in E$. Prouvons que cet entier n convient :

- Si $p$ divise $c$ et $p \notin E$ alors $p$ ne divise aucun nombre de la forme $b+k a$ et donc, en particulier, ne divise pas b + na.
- Si $p \in E$ alors $b+n a=b+k_{p} a+a=a \neq 0 \bmod [p]$.

Ainsi, aucun diviseur premier de c ne divise $\mathrm{b}+\mathrm{na}$, ce qui assure que c et $\mathrm{b}+\mathrm{na}$ sont bien premiers entre eux.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-09.jpg?height=78&width=171&top_left_y=2295&top_left_x=980)

problem_match: Exercice 7.


problem:
Soit $A B C$ un triangle. Soient $D \in[A C]$ et $E \in[A B]$ tels que $B E=C D$. Soit $P$ le point d'intersection de (BD) et ( $C E$ ). Les cercles circonscrits à BEP et CDP se recoupent en Q. Soient $K$ et $L$ les milieux respectifs de [BE] et [CD]. Soit R l'intersection entre la perpendiculaire à (QK) passant par K et la perpendiculaire à ( QL ) passant par L . Montrer que

1) $R$ se trouve sur le cercle circonscrit à $A B C$;
2) $Q$ se trouve sur la bissectrice de l'angle $\widehat{B A C}$.

solution:
Rappelons d'abord la méthode de construction du centre d'une similitude directe qui envoie deux points distincts $A$ et $B$ sur deux points distincts $A^{\prime}$ et $B^{\prime}$ respectivement.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-10.jpg?height=701&width=673&top_left_y=712&top_left_x=718)

Supposons que $A \neq A^{\prime}, B \neq B^{\prime}$, et que les droites $\left(A A^{\prime}\right)$ et $\left(B B^{\prime}\right)$ ne sont pas parallèles. Soit $M$ le point d'intersection de $\left(A A^{\prime}\right)$ et de ( $\left.B B^{\prime}\right)$. Alors les cercles $M A B$ et $M A^{\prime} B^{\prime}$ se recoupent en un point $N$. Comme $(N A, N B)=(M A, M B)=\left(M A^{\prime}, M B^{\prime}\right)=\left(N A^{\prime}, N B^{\prime}\right)$ et $(A B, A N)=(M B, M N)=$ $\left(M B^{\prime}, M N\right)=\left(A^{\prime} B^{\prime}, A^{\prime} N\right)$, les triangles $N A B$ et $N A^{\prime} B^{\prime}$ sont directement semblables, donc la similitude de centre $N$ et de rapport $N A^{\prime} / N A$ envoie $A$ sur $A^{\prime}$ et $B$ sur $B^{\prime}$. On vérifie que le résultat reste vrai si $A=A^{\prime}$ ou $B=B^{\prime}$.
$\mathrm{Si}\left(A A^{\prime}\right)$ et $\left(B B^{\prime}\right)$ sont parallèles, alors $N$ est le point d'intersection de $(A B)$ et de $\left(A^{\prime} B^{\prime}\right)$.
Revenons à l'exercice. Montrons d'abord la deuxième assertion.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-11.jpg?height=1020&width=1091&top_left_y=127&top_left_x=509)

D'après le préliminaire, $Q$ est le centre de la similitude directe qui envoie $B$ sur $D$ et $E$ sur $C$. Comme $B E=C D$, cette similitude est une rotation sur l'on notera $r$. Comme $r$ envoie ( $A B$ ) sur ( $A C$ ), $Q$ est équidistant de $(A B)$ et de $(A C)$ donc $Q$ est sur une bissectrice de l'angle $\widehat{B A C}$. Vérifions que c'est la bissectrice intérieure.

Par un argument de continuité, il suffit de se restreindre au cas où $E$ et $D$ sont strictement à l'intérieur des segments $[A B]$ et $[A C]$. Dans ce cas, $A, B$ et $E$ étant alignés donc non-cocycliques, $Q \neq A$.

De plus, lorsque $A B C$ est isocèle en $A$ et que $D$ et $E$ tendent vers $A$, les cercles circonscrits à $B P E$ et CPD tendent vers les cercles $\Gamma_{1}$ passant par B et tangent à (AC) en $A$ et $\Gamma_{2}$ passant par $C$ et tangent à $(A B)$ en $A$. Or, le cercle $\Gamma_{1}$ et le triangle sont du même côté de la droite $(A C)$, le cercle $\Gamma_{2}$ et le triangle sont du même côté de $(A B)$, donc $Q$ tend vers un point à l'intérieur de l'angle $\widehat{B A C}$ ou de celui opposé par le sommet. Ce sera donc un point de la bissectrice intérieure (différent de $A$ puisque $(A B) \neq(A C)$ ).

En faisant varier les points $A, D$ et $E$, le point $Q$ reste sur la réunion des deux bissectrices et ne passe pas par $A$, donc il doit par continuité rester sur la bissectrice intérieure.

Montrons maintenant la première assertion. Comme $r$ envoie ( $Q K$ ) sur ( $Q L$ ) et ( $A K$ ) sur ( $A L$ ), les angles de droites $(Q K, Q L$ ) et ( $A K, A L$ ) sont égaux donc $A, K, Q, L$ sont cocycliques.

Comme les triangles $K Q R$ et $L Q R$ sont rectangles en $K$ et $L$, le cercle de diamètre $[Q R]$ passe par $K$ et $L$, donc le cercle circonscrit à $Q K L$ rencontre $R$, ce qui montre que $A, K, Q, L, R$ sont cocycliques.

Soit $r^{\prime}$ la similitude directe qui envoie $K$ sur $B$ et $L$ sur $C$. D'après le préliminaire, le centre de $r^{\prime}$ est le second point d'intersection du cercle ABC avec le cercle AKL, c'est-à-dire R. Comme $r^{\prime}$ envoie les droites $(R K)$ et $(R L)$ sur $(R B)$ et $(R C)$ respectivement, on en déduit que $(R B, R C)=(R K, R L)=$ $(A K, A L)=(A B, A C)$ où la deuxème égalité provient de la cocyclicité de $A, K, L, R$. Ceci prouve que $A, B, C, R$ sont cocycliques.
![](https://cdn.mathpix.com/cropped/2024_12_06_b473c6f3fa44baf84f73g-11.jpg?height=245&width=535&top_left_y=2385&top_left_x=790)

problem_match: Exercice 8.