From e36a72557f72d6737440a0ae39acb75ad85e6de7 Mon Sep 17 00:00:00 2001 From: david Date: Tue, 17 Nov 2009 17:13:09 +0000 Subject: Correct exercise 2. --- controle-20091124.tex | 93 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 93 insertions(+) (limited to 'controle-20091124.tex') diff --git a/controle-20091124.tex b/controle-20091124.tex index 22686ac..8274a5d 100644 --- a/controle-20091124.tex +++ b/controle-20091124.tex @@ -256,21 +256,114 @@ propos (A) Quel entier entre $0$ et $100$ est congru à $19$ modulo $13$ et à $13$ modulo $19$ ? +\begin{corrige} +(A) Commençons par trouver un entier qui convient. On pourrait se + rendre compte que $19+13 = 32$ convient pour des raisons de + symétrie. Pour procéder de façon plus systématique, cherchons une + relation de Bézout entre $19$ et $13$, qui sont visiblement premiers + entre eux (et ceci va de toute façon le confirmer) : on a $19 = 13 + + 6$ puis $13 = 2\times 6 + 1$ donc le pgcd est bien $1$, et on a $1 = + 13 - 2\times 6 = 3\times 13 - 2\times 19$. Ainsi, d'après un + résultat du cours (version « effective » du théorème chinois), un + nombre congru à $19$ (soit $6$) modulo $13$ et à $13$ modulo $19$ + est donné par $3 \times 13 \times 13 - 2 \times 19 \times 6$ : ceci + vaut $279$, mais pour simplifier les calculs on pouvait calculer + $3\times 13 \equiv 1 \pmod{19}$ et $-2 \times 6 \equiv 1 \pmod{13}$, + donc il reste $13 + 19 = 32$. En tout état de cause, comme $13$ et + $19$ sont premiers entre eux, les nombres congrus à $x$ modulo $13$ + et à $y$ modulo $19$, quels que soient $x$ et $y$ entiers, forment + une unique classe de congruence modulo $13 \times 19 = 247$ (qu'il + n'était pas vraiment nécessaire de calculer, seul importe que ce + soit $>100$, ce qui est évident), donc dès qu'on a trouvé un nombre + vérifiant les congruences demandées (en l'occurrence $32$), on sait + que les autres sont les nombres qui lui sont congrus modulo $13 + \times 19$, et en particulier il n'y en a pas d'autre entre $0$ + et $100$. +\end{corrige} + +\ifcorrige\medbreak\else\relax\fi + (B) Quel entier à trois chiffres en base $10$ se termine par $23$ et est multiple de $19$ ? +\begin{corrige} +(B) Se terminer par $23$ en base $10$ signifie être congru à $23$ + modulo $100$. Cherchons une relation de Bézout entre $100$ et $19$ + qui sont premiers entre eux : on a $100 = 5\times 19 + 5$ et $19 = + 3\times 5 + 4$ et $5 = 4 + 1$ donc $1 = 5 - 4 = 4 \times 5 - 19 = 4 + \times 100 - 21 \times 19$. Ainsi, d'après un résultat du cours + (version « effective » du théorème chinois), un nombre congru à $23$ + modulo $100$ et à $0$ modulo $19$ (i.e., divisible par $19$) est + donné par $- 21 \times 19 \times 23$ : ceci vaut $-9177$, mais pour + simplifier les calculs on pouvait calculer $-21\times 23 \equiv -83 + \equiv 17 \pmod{100}$ et ainsi $- 21 \times 19 \times 23 \equiv 17 + \times 19 = 323 \pmod{1900}$. Le nombre $323$ répond aux conditions + demandées, et comme tout les entiers congrus à $23$ modulo $100$ et + à $0$ modulo $19$ forment une unique classe de congruence + modulo $1900$, on a trouvé le seul nombre à trois chiffres. +\end{corrige} + +\ifcorrige\medbreak\else\relax\fi + (C) Quel entier entre $0$ et $100$ est congru respectivement à $1,2,3,4$ modulo $2,3,5,7$ ? (C'est-à-dire : congru à $1$ modulo $2$, et à $2$ modulo $3$, et à $3$ modulo $5$, et à $4$ modulo $7$.) +\begin{corrige} +(C) Les nombres $2,3,5,7$ sont premiers entre eux deux à deux. + Commençons par trouver des solutions à deux congruences + simultanées : comme les nombres sont assez petits, il est plus + simple de le faire par tâtonnement : par exemple, $5$ est congru à + $1$ modulo $2$ et à $2$ modulo $3$, cela se trouve immédiatement en + parcourant les entiers de $0$ à $5$ ou plus astucieusement ceux qui + vérifient une des deux congruences pour chercher ceux qui vérifient + l'autre. Comme on va vouloir mettre ensuite ensemble deux + congruences de ce genre, il vaut mieux les trouver de même taille + et, si possible, vérifiant une relation de Bézout simple : le plus + économique est donc de mettre $2$ avec $7$ et $3$ avec $5$, ce qui a + le bon goût que $15-14 = 1$ est une relation de Bézout évidente + entre $3\times 5$ et $2\times 7$. Par tâtonnement, on trouve que + $11$ (et exactement les nombres de sa classe modulo $14$) est congru + à $1$ modulo $2$ et à $4$ modulo $7$, et que $8$ (et exactement les + nombres de sa classe modulo $15$) est congru à $2$ modulo $3$ et à + $3$ modulo $5$. Avec la relation de Bézout $1\times 15 - 1\times 14 + = 1$, toujours en appliquant la même version « effective » du + théorème chinois, on voit que les entiers vérifiant les quatre + congruences demandées sont exactement la classe de $1\times 15\times + 11 - 1\times 14\times 8 = 53$ modulo $15 \times 14 = 210$, donc le + seul entre $0$ et $100$ est $53$. +\end{corrige} + +\ifcorrige\medbreak\else\relax\fi + (D) Déterminer tous les entiers entre $0$ et $2009$ congrus à $1$ modulo chacun des nombres $7$, $11$ et $13$. (C'est-à-dire : congrus à $1$ modulo $7$, et à $1$ modulo $11$, et à $1$ modulo $13$.) (Indication : y-t-il un nombre évident qui répond à cette condition ?) +\begin{corrige} +(D) Comme le suggère l'indication, il y a un nombre évident congru à + $1$ modulo $7$ et $11$ et $13$ à la fois, c'est $1$ lui-même. Le + théorème chinois assure que, comme $7$ et $11$ et $13$ sont premiers + entre eux deux à deux, les entiers congrus à $1$ modulo chacun d'eux + forment une classe de congruence modulo $7 \times 11 \times 13 = + 1001$. Les nombres entre $0$ et $2009$ vérifiant les congruences + demandées sont donc : $1$, $1002$ et $2003$. +\end{corrige} + +\ifcorrige\medbreak\else\relax\fi + (E) Déterminer tous les entiers entre $0$ et $100\,000$ congrus à $192$ modulo $300$ et à $169$ modulo $305$. +\begin{corrige} +(E) Un entier congru à $192$ modulo $300$ est (comme $5|300$) congru à + $192 \equiv 2$ modulo $5$, et un entier congru à $169$ modulo $305$ + est (comme $5|305$) congru à $169 \equiv 4$ modulo $5$. Comme $2 + \not\equiv 4 \pmod{5}$, il n'existe \emph{aucun} entier vérifiant + les deux congruences demandées. +\end{corrige} + % % % -- cgit v1.2.3