<?xml version="1.0" encoding="UTF-8"?>
<quiz>
<question type="category">
  <category>
    <text>$course$/QCM de maths/Maths expertes/Arithmétique : divisibilité, congruences, nombres premiers</text>
  </category>
  <info format="html">
    <text><![CDATA[<p>Divisibilité dans $\mathbb{Z}$, division euclidienne,<br/>
congruences et compatibilité avec les opérations, PGCD et<br/>
algorithme d'Euclide, théorèmes de Bézout et de Gauss, nombres<br/>
premiers, décomposition en facteurs premiers, petit théorème<br/>
de Fermat.</p>]]></text>
  </info>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q01 : Divisibilité dans $\mathbb{Z}$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que signifie « $a$ divise $b$ » (noté $a \mid b$) pour deux<br/>
entiers relatifs ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a \mid b \iff \exists k \in \mathbb{Z},\ b = ka$.<br/>
Propriétés : transitivité, et surtout : si $a \mid b$ et<br/>
$a \mid c$, alors $a$ divise toute combinaison $ub + vc$ :<br/>
l'outil de base des raisonnements.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Il existe un entier $k$ tel que $b = ka$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $b$ est un multiple de $a$. Exemples :<br/>
$7 \mid 42$ ($42 = 6 \times 7$), $-3 \mid 12$, et $5<br/>
\mid 0$ ($0 = 0 \times 5$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Le quotient $\dfrac{a}{b}$ est un entier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Fraction à l'envers : « $a$ divise $b$ » signifie que<br/>
$\frac{b}{a}$ est entier (quand $a \neq 0$), pas<br/>
$\frac{a}{b}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$|a| \leq |b|$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Sans rapport : $4 \leq 6$ mais $4 \nmid 6$ ; et $5 \mid<br/>
0$ alors que $|5| &gt; |0|$. La divisibilité ne se lit pas<br/>
sur une inégalité.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ ont le même signe</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Sans rapport : $-3 \mid 12$ ($12 = (-4)(-3)$). La<br/>
divisibilité ignore les signes.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q02 : Division euclidienne d'un négatif</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quelle est la division euclidienne de $-17$ par $5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a = bq + r$ avec $0 \leq r &lt; b$ : le couple $(q, r)$ est<br/>
unique. Pour un dividende négatif, le quotient « descend » :<br/>
$-17 = 5 \times (-4) + 3$. Le reste est aussi le<br/>
représentant de $-17$ modulo $5$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$-17 = 5 \times (-4) + 3$, quotient $-4$ et reste $3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : le reste doit vérifier $0 \leq r &lt; 5$ ;<br/>
on descend au multiple de $5$ <strong>inférieur</strong> à $-17$,<br/>
soit $-20$, et $-17 - (-20) = 3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$-17 = 5 \times (-3) - 2$, quotient $-3$ et reste $-2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste négatif interdit : la définition impose $0 \leq<br/>
r &lt; 5$. On corrige : $-17 = 5(-4) + 3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$-17 = 5 \times (-3) + 2$, quotient $-3$ et reste $2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Calcul faux : $5 \times (-3) + 2 = -13 \neq -17$.<br/>
L'égalité doit être exacte <strong>et</strong> le reste dans<br/>
$[0\ ;\ 5[$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Impossible : la division euclidienne exige des entiers<br/>
positifs</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : le programme la définit pour tout dividende de<br/>
$\mathbb{Z}$ (le diviseur restant dans<br/>
$\mathbb{N}^*$).</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q03 : Définition d'une congruence</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que signifie $a \equiv b \pmod n$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a \equiv b \pmod n \iff n \mid (a - b) \iff$ même reste<br/>
modulo $n$. C'est une relation d'équivalence, et surtout<br/>
elle <strong>respecte</strong> addition et multiplication : on calcule<br/>
« dans les restes ».</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$n$ divise $a - b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : même reste dans la division par $n$,<br/>
c'est-à-dire différence multiple de $n$. Exemple :<br/>
$23 \equiv 3 \pmod 5$ car $5 \mid 20$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a = b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Trop fort : la congruence est une égalité <strong>à un<br/>
multiple de $n$ près</strong> : $23 \neq 3$ mais $23 \equiv 3<br/>
\pmod 5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ divise $b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Confusion : c'est $n$ qui divise la <strong>différence</strong><br/>
$a - b$, pas $a$ qui divise $b$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ sont premiers avec $n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Sans rapport : $10 \equiv 4 \pmod 6$ alors que ni $10$<br/>
ni $4$ n'est premier avec $6$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q04 : Compatibilité avec les opérations</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Sachant $10 \equiv 1 \pmod 9$, que vaut $10^{2026}<br/>
\pmod 9$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Si $a \equiv b \pmod n$ alors $a + c \equiv b + c$, $ac<br/>
\equiv bc$ et $a^k \equiv b^k \pmod n$. Conséquence : un<br/>
entier est congru modulo $9$ à la somme de ses chiffres.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$10^{2026} \equiv 1 \pmod 9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : la congruence passe aux puissances :<br/>
$10^{2026} \equiv 1^{2026} = 1$. C'est le cœur de la<br/>
preuve par neuf et du critère de divisibilité par $9$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$10^{2026} \equiv 2026 \pmod 9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : l'exposant ne « descend » pas : on élève la<br/>
congruence à la puissance : $1^{2026} = 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$10^{2026} \equiv 0 \pmod 9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $10^{2026}$ n'est pas multiple de $9$ (ses<br/>
seuls facteurs premiers sont $2$ et $5$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Impossible sans calculer $10^{2026}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : tout l'intérêt des congruences est d'éviter ce<br/>
calcul : $10 \equiv 1$ suffit.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q05 : Algorithme d'Euclide</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On calcule $\text{PGCD}(252\ ;\ 105)$ par l'algorithme<br/>
d'Euclide : $252 = 105 \times 2 + 42$, puis $105 = 42 \times<br/>
2 + 21$, puis $42 = 21 \times 2 + 0$. Quel est le PGCD ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Euclide : on remplace $(a\ ;\ b)$ par $(b\ ;\ r)$ jusqu'au<br/>
reste nul ; le PGCD est le dernier reste non nul. Contrôle :<br/>
$252 = 21 \times 12$, $105 = 21 \times 5$, et $12$, $5$<br/>
premiers entre eux.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$21$ : le dernier reste non nul</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : l'algorithme repose sur<br/>
$\text{PGCD}(a\ ;\ b) = \text{PGCD}(b\ ;\ r)$ ; le<br/>
dernier reste non nul est le PGCD.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$42$ : le premier reste</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $42$ ne divise pas $105$ : on continue tant que<br/>
le reste n'est pas nul ; c'est le <strong>dernier</strong> reste non<br/>
nul qui gagne.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$ : le dernier reste</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : le $0$ final signale l'arrêt ; le PGCD est le<br/>
reste <strong>précédent</strong> ($21$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$ : le quotient répété</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : les quotients ne portent pas le PGCD : seuls<br/>
les restes comptent.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q06 : Théorème de Bézout</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que dit le théorème de Bézout pour deux entiers $a$ et $b$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Bézout : $\text{PGCD}(a\ ;\ b) = 1 \iff \exists\, u, v \in<br/>
\mathbb{Z},\ au + bv = 1$. Les coefficients $u$, $v$ se<br/>
calculent en remontant l'algorithme d'Euclide (Euclide<br/>
étendu). Plus généralement, le PGCD $d$ s'écrit toujours<br/>
$d = au + bv$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$\text{PGCD}(a\,;\,b) = 1 \iff \exists\, u, v \in<br/>
\mathbb{Z},\ au + bv = 1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $a$ et $b$ sont premiers entre eux si et<br/>
seulement s'il existe des entiers $u$ et $v$ tels que<br/>
$au + bv = 1$. Le sens « il existe $u, v$ » se lit :<br/>
tout diviseur commun divise $au + bv = 1$, donc vaut<br/>
$\pm 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Pour tous entiers $a$ et $b$, il existe $u$ et $v$ tels<br/>
que $au + bv = 1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux sans hypothèse : $6u + 4v$ est toujours pair, donc<br/>
jamais égal à $1$. Il faut $a$ et $b$ <strong>premiers entre<br/>
eux</strong>.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Si $a \mid bc$ et $a$ premier avec $b$, alors $a \mid c$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est le théorème de <strong>Gauss</strong> : conséquence de Bézout,<br/>
mais énoncé distinct.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Tout entier $\geq 2$ se décompose en produit de facteurs<br/>
premiers</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est le théorème de décomposition (existence et<br/>
unicité), pas Bézout.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q07 : Théorème de Gauss</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On sait que $7 \mid 3n$ pour un entier $n$. Que peut-on<br/>
conclure ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Gauss (démonstration au programme, via Bézout) : si $a \mid<br/>
bc$ et $\text{PGCD}(a\ ;\ b) = 1$, alors $a \mid c$.<br/>
L'hypothèse « premiers entre eux » est vitale : $6 \mid 4<br/>
\times 3$ sans diviser ni $4$ ni $3$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$7 \mid n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : théorème de Gauss, $7$ divise le produit<br/>
$3n$ et est premier avec le facteur $3$, donc divise<br/>
l'autre facteur.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7 \mid 3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux : $3 &lt; 7$ et $3 \neq 0$. Gauss oriente la<br/>
divisibilité vers le facteur <strong>non</strong> premier avec rien…<br/>
c'est $n$ qui hérite.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$n = 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Trop précis : $n$ est <strong>multiple</strong> de $7$ ($0$, $7$,<br/>
$14$, $-7$…), pas forcément $7$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Rien, il faudrait connaître $n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : c'est exactement la situation du théorème de<br/>
Gauss : conclusion garantie sans connaître $n$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q08 : Équation diophantienne</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>L'équation $3x + 5y = 1$ admet la solution particulière<br/>
$(x_0\ ;\ y_0) = (2\ ;\ -1)$. Quelles sont toutes les<br/>
solutions entières ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Méthode complète : solution particulière, puis soustraction<br/>
et théorème de Gauss pour la forme générale $x = x_0 + 5k$,<br/>
$y = y_0 - 3k$. Résoudre $ax + by = c$ exige<br/>
$\text{PGCD}(a\ ;\ b) \mid c$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$x = 2 + 5k$, $y = -1 - 3k$, pour $k \in \mathbb{Z}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : par différence, $3(x - 2) = -5(y + 1)$ ;<br/>
Gauss ($3$ premier avec $5$) force $5 \mid x - 2$, d'où<br/>
la forme annoncée. Contrôle : $3(2 + 5k) + 5(-1 - 3k) =<br/>
1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$(2\ ;\ -1)$ est la seule solution</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Incomplet : $(7\ ;\ -4)$ marche aussi ($21 - 20 = 1$) :<br/>
une droite entière de solutions, indexée par $k$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x = 2 + 3k$, $y = -1 - 5k$, pour $k \in \mathbb{Z}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Coefficients croisés : c'est $5$ (coefficient de $y$)<br/>
qui module $x$, et $3$ qui module $y$. Contrôle avec<br/>
$k = 1$ : $3 \times 5 + 5 \times (-6) = -15 \neq 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Aucune : $3$ et $5$ ne divisent pas $1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $\text{PGCD}(3\ ;\ 5) = 1$ divise $1$ :<br/>
Bézout garantit des solutions.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q09 : L'ensemble des nombres premiers</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que sait-on de l'ensemble des nombres premiers ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>L'infinité des premiers est une démonstration au programme.<br/>
Argument clé : tout entier $\geq 2$ admet un diviseur<br/>
premier, et $N = p_1\cdots p_n + 1$ échappe à la liste<br/>
(reste $1$ dans chaque division).</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Il est infini (démonstration d'Euclide)</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : si $p_1, \dots, p_n$ étaient les seuls<br/>
premiers, $N = p_1 p_2 \cdots p_n + 1$ n'en serait<br/>
divisible par aucun : contradiction avec l'existence<br/>
d'un diviseur premier.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est fini : le plus grand premier est connu</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : les « records » (nombres de Mersenne) sont les<br/>
plus grands premiers <strong>connus</strong>, pas les plus grands<br/>
existants : l'ensemble est infini.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Tous les nombres premiers sont impairs</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Oubli de $2$ : le seul premier pair, mais premier quand<br/>
même.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Un produit de deux premiers est premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Contraire de la définition : $3 \times 5 = 15$ a quatre<br/>
diviseurs : composé.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q10 : Décomposition en facteurs premiers</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quelle est la décomposition en facteurs premiers de $360$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Existence et unicité de la décomposition : au programme<br/>
(avec démonstration de l'existence). Applications : lecture<br/>
des diviseurs ($360$ en a $(3+1)(2+1)(1+1) = 24$), PGCD par<br/>
exposants minimaux.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$360 = 2^3 \times 3^2 \times 5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $360 = 8 \times 45 = 8 \times 9 \times<br/>
5$. La décomposition existe et est <strong>unique</strong> (à l'ordre<br/>
près) : c'est le théorème fondamental.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$360 = 2^2 \times 3^2 \times 10$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Presque : le produit vaut bien $360$, mais $10 = 2<br/>
\times 5$ n'est pas premier : la décomposition doit<br/>
aller jusqu'au bout.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$360 = 2^3 \times 45$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Inachevé : $45 = 3^2 \times 5$ est composé. On<br/>
factorise jusqu'à n'avoir que des premiers.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$360 = 6 \times 60$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Simple produit : ni $6$ ni $60$ n'est premier. La<br/>
décomposition canonique : $2^3 \times 3^2 \times 5$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q11 : Petit théorème de Fermat</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>$p = 7$ est premier et $a = 3$ n'est pas divisible par $7$.<br/>
Que donne le petit théorème de Fermat ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Petit théorème de Fermat : si $p$ premier et $p \nmid a$,<br/>
alors $a^{p-1} \equiv 1 \pmod p$ (variante : $a^p \equiv a$<br/>
pour tout $a$). Usage : réduire les exposants géants modulo<br/>
$p - 1$, tests de primalité, RSA.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$3^6 \equiv 1 \pmod 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $a^{p-1} \equiv 1 \pmod p$ : l'exposant<br/>
est $p - 1 = 6$. Vérification : $3^6 = 729 = 104 \times<br/>
7 + 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3^7 \equiv 1 \pmod 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Exposant faux : la forme en $a^p$ est $3^7 \equiv 3<br/>
\pmod 7$ (congru à $a$, pas à $1$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3^6 \equiv 0 \pmod 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $3^6$ n'a que des facteurs $3$ : jamais<br/>
divisible par $7$. Fermat donne le reste $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$6^3 \equiv 1 \pmod 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Base et exposant échangés : c'est $a^{p-1} = 3^6$.<br/>
(D'ailleurs $6^3 = 216 \equiv 6 \pmod 7$.)</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q12 : Inverse modulo $n$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est l'inverse de $3$ modulo $7$, c'est-à-dire l'entier<br/>
$x \in \{1, \dots, 6\}$ tel que $3x \equiv 1 \pmod 7$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a$ inversible modulo $n \iff \text{PGCD}(a\ ;\ n) = 1$ ;<br/>
l'inverse sort des coefficients de Bézout. Application :<br/>
résoudre $3x \equiv 4 \pmod 7$ : multiplier par $5$ :<br/>
$x \equiv 20 \equiv 6$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$x = 5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $3 \times 5 = 15 = 2 \times 7 + 1<br/>
\equiv 1$. L'inverse existe car $3$ et $7$ sont premiers<br/>
entre eux (Bézout).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x = 4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$3 \times 4 = 12 \equiv 5 \pmod 7$ : pas $1$. On teste<br/>
ou on remonte Bézout : $x = 5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x = \dfrac{1}{3}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Hors sujet : l'inverse modulaire est un <strong>entier</strong> : pas<br/>
de fractions dans $\mathbb{Z}/n$. Ici $5$ joue le rôle<br/>
de $\frac{1}{3}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il n'existe pas</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $\text{PGCD}(3\ ;\ 7) = 1$ garantit l'inverse<br/>
(Bézout : $3 \times 5 + 7 \times (-2) = 1$).</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q13 : Divisibilité par $3$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Le nombre $741$ est-il divisible par $3$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$10 \equiv 1 \pmod 3$ (et $\pmod 9$) : un entier est congru<br/>
à la somme de ses chiffres modulo $3$ et $9$. Les critères<br/>
de divisibilité sont des théorèmes de congruence déguisés.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Oui, car $7 + 4 + 1 = 12$ est divisible par $3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : critère fondé sur $10 \equiv 1 \pmod 3$<br/>
: tout nombre est congru à la somme de ses chiffres<br/>
modulo $3$. ($741 = 3 \times 247$.)</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car un multiple de $3$ est toujours pair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : la parité teste la divisibilité par $2$, pas<br/>
par $3$ : $9$, $15$, $741$… sont impairs ET divisibles<br/>
par $3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car il ne se termine pas par $3$, $6$ ou $9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux critère : le dernier chiffre teste $2$, $5$ ou<br/>
$10$ : pour $3$, c'est la <strong>somme</strong> des chiffres qui<br/>
décide.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Impossible à savoir sans poser la division</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : le critère de la somme des chiffres répond en<br/>
deux secondes : c'est toute la force des congruences.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q14 : Effectuer une division euclidienne</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quels sont le quotient et le reste de la division<br/>
euclidienne de $47$ par $6$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a = bq + r$, $0 \leq r &lt; b$ : le quotient est le plus grand<br/>
multiple qui tient, le reste est le débordement. La<br/>
contrainte sur $r$ rend le couple unique.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Quotient $7$, reste $5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $47 = 6 \times 7 + 5$, car $6 \times 7 =<br/>
42 \leq 47 &lt; 48 = 6 \times 8$, et $47 - 42 = 5$, bien<br/>
dans $[0\ ;\ 6[$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Quotient $8$, reste $-1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste négatif interdit : la définition impose $0 \leq<br/>
r &lt; 6$ : on prend le multiple de $6$ juste en dessous.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Quotient $7$, reste $6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste trop grand : $r = 6$ signifierait qu'une unité de<br/>
quotient reste à prendre : le reste est strictement inférieur<br/>
au diviseur.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Quotient $5$, reste $7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Rôles échangés : $47 = 6q + r$ avec<br/>
$q = 7$ (combien de fois $6$) et $r = 5$ (ce qui<br/>
déborde).</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q15 : Deux entiers consécutifs</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que peut-on dire de $n$ et $n + 1$ pour tout entier $n$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Argument roi : tout diviseur commun de $a$ et $b$ divise<br/>
$a - b$. Pour des consécutifs, la différence vaut $1$ : PGCD<br/>
$= 1$. Ce petit lemme alimente quantité de démonstrations<br/>
(dont l'infinité des premiers).</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Ils sont toujours premiers entre eux</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : tout diviseur commun divise leur<br/>
différence $(n+1) - n = 1$ : le PGCD vaut $1$, sans<br/>
exception.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Ils ont toujours un facteur commun</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : leur seul diviseur commun est $1$ : deux<br/>
voisins n'ont rien à partager (l'argument de la<br/>
différence le prouve).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>L'un des deux est toujours premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux : $8$ et $9$ sont tous deux composés : « premiers<br/>
entre eux » ne dit rien de la primalité individuelle.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Leur PGCD est $n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $n \mid n$ mais $n \nmid n + 1$ (dès $n \geq<br/>
2$) : le PGCD tombe à $1$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q16 : Dernier chiffre et modulo $10$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le dernier chiffre de $7^4$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Le dernier chiffre est le reste modulo $10$ : réduire À<br/>
CHAQUE étape garde les nombres minuscules ($7^2 \equiv 9$,<br/>
puis $7^4 \equiv 81 \equiv 1$). Les puissances modulo $10$<br/>
tournent en cycles courts ($7$ : période $4$) : les repérer<br/>
économise tout.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : le dernier chiffre EST le reste modulo<br/>
$10$ : $7^2 = 49 \equiv 9$, puis $7^4 \equiv 9^2 = 81<br/>
\equiv 1 \pmod{10}$. On réduit à chaque étape ($49 \to<br/>
9$, $81 \to 1$) au lieu de calculer $2401$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Arrêt à mi-course : $9$ est le dernier chiffre de<br/>
$7^2$ : encore une élévation au carré : $9^2 \equiv 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : les derniers chiffres de $7^n$ tournent :<br/>
$7, 9, 3, 1, 7, \dots$ : au rang $4$, le cycle retombe<br/>
sur $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $4$ est l'exposant, pas le reste : le calcul<br/>
modulaire donne $1$ ($7^4 = 2401$).</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q17 : Compter les diviseurs</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Sachant $360 = 2^3 \times 3^2 \times 5$, combien $360$<br/>
a-t-il de diviseurs positifs ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Nombre de diviseurs de $p_1^{e_1} \cdots p_k^{e_k}$ :<br/>
$(e_1 + 1)\cdots(e_k + 1)$ : chaque diviseur est un choix<br/>
d'exposants entre $0$ et $e_i$. La décomposition en facteurs<br/>
premiers révèle TOUTE la structure multiplicative.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$(3+1)(2+1)(1+1) = 24$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : un diviseur choisit un exposant pour<br/>
chaque facteur premier : $4$ choix pour le $2$ ($2^0$ à<br/>
$2^3$), $3$ pour le $3$, $2$ pour le $5$ : produit $24$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3 \times 2 \times 1 = 6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le « $+1$ » oublié : l'exposant $0$ est un choix<br/>
légitime (ne pas prendre le facteur) : chaque exposant<br/>
offre $e + 1$ possibilités.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3 + 2 + 1 = 6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Addition au lieu de multiplication : les choix<br/>
d'exposants sont <strong>indépendants</strong> : principe<br/>
multiplicatif.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$360 \div 2 = 180$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : aucun lien de ce type : le compte sort de la<br/>
décomposition : $(3+1)(2+1)(1+1) = 24$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q18 : Rendre une fraction irréductible</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Sachant $\text{PGCD}(252\ ;\ 105) = 21$, quelle est la<br/>
forme irréductible de $\dfrac{252}{105}$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Diviser numérateur et dénominateur par leur PGCD donne LA<br/>
forme irréductible en une étape : c'est l'application<br/>
quotidienne de l'algorithme d'Euclide.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$\dfrac{12}{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : diviser haut et bas par le PGCD :<br/>
$\frac{252 \div 21}{105 \div 21} = \frac{12}{5}$, et<br/>
$12$, $5$ sont premiers entre eux : irréductible<br/>
garanti.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$\dfrac{84}{35}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Simplification partielle : diviser par $3$ seulement<br/>
laisse le facteur $7$ commun : le PGCD simplifie EN UNE<br/>
FOIS et à fond.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$\dfrac{5}{12}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Fraction renversée : le numérateur $252$ donne $12$, le<br/>
dénominateur $105$ donne $5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$\dfrac{21}{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $21$ est le PGCD (le diviseur commun), pas le<br/>
numérateur simplifié ($252 \div 21 = 12$).</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q19 : Tester la primalité de $97$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pour vérifier que $97$ est premier, quels diviseurs<br/>
suffit-il de tester ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Test de primalité : diviser par les premiers $\leq<br/>
\sqrt{n}$ : si $n = ab$ avec $a \leq b$, alors $a \leq<br/>
\sqrt{n}$. Pour $97$ : quatre tests, verdict premier : la<br/>
racine carrée divise le travail par dix.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Les quatre nombres premiers $2$, $3$, $5$ et $7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : un composé $n = ab$ a toujours un<br/>
facteur $\leq \sqrt{n}$ ; or $\sqrt{97} \approx 9{,}8$,<br/>
donc il suffit de tester les nombres premiers qui ne<br/>
dépassent pas $9$ : quatre divisions, aucune ne tombe<br/>
juste, $97$ est premier.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Tous les entiers compris entre $2$ et $96$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Gaspillage : si aucun diviseur n'existe sous $\sqrt{97}$,<br/>
aucun n'existe au-dessus (ils iraient par paires) :<br/>
$9{,}8$ est la frontière utile.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Seulement les deux nombres premiers $2$ et $3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Insuffisant : $35 = 5 \times 7$ échappe à $2$ et $3$ :<br/>
il faut monter jusqu'à $\sqrt{n}$ ($5$ et $7$ compris).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Uniquement les nombres pairs inférieurs à $97$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : les diviseurs pairs se réduisent au test de<br/>
$2$ : ce sont les premiers IMPAIRS ($3, 5, 7$) qui<br/>
restent à examiner. Ainsi $91 = 7 \times 13$ n'a aucun<br/>
diviseur pair et n'est pourtant pas premier.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q20 : Le calendrier modulo $7$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Nous sommes lundi. Quel jour serons-nous dans $100$ jours ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Les cycles du quotidien (jours, heures, angles) sont des<br/>
congruences : seul le reste importe. $100 \equiv 2<br/>
\pmod 7$ : le décalage net de $100$ jours est de $2$ jours.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Mercredi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $100 = 14 \times 7 + 2$, soit $100<br/>
\equiv 2 \pmod 7$ : les $14$ semaines pleines ne<br/>
comptent pas, seuls les $2$ jours de reste décalent,<br/>
deux jours après lundi.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Lundi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $100$ est un compte « rond » en base $10$, ce<br/>
qui ne dit rien modulo $7$ : seul le reste de $100$ par<br/>
$7$ (qui vaut $2$) compte.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Vendredi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur de reste : $100 = 98 + 2$ et $98 = 14 \times 7$ :<br/>
reste $2$, pas $4$ : lundi $+ 2 =$ mercredi.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Impossible sans calendrier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : les jours de la semaine SONT une arithmétique<br/>
modulo $7$ : le reste répond sans calendrier.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q21 : Reste d'une grande puissance</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que vaut le reste de $2^{100}$ dans la division par $7$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Puissances modulo $n$ : trouver le cycle (une puissance congrue à $1$),<br/>
puis réduire l'exposant modulo sa longueur. Le petit théorème de<br/>
Fermat garantit, pour $n$ premier, un cycle dont la longueur divise<br/>
$n - 1$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $2^{3} \equiv 1 \pmod{7}$, donc les restes des puissances<br/>
successives forment le cycle $2, 4, 1$, de longueur $3$ ; comme<br/>
$100 = 3 \times 33 + 1$, on a $2^{100} \equiv 2^{1} \equiv 2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $2^{100}$ n'a que des facteurs $2$ : il n'est<br/>
jamais divisible par $7$, le reste ne peut pas être nul.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur de position dans le cycle : $4$ correspond aux exposants<br/>
congrus à $2$ modulo $3$ ; or $100 \equiv 1 \pmod{3}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur de position dans le cycle : $1$ correspond aux exposants<br/>
congrus à $0$ modulo $3$ ; or $100 \equiv 1 \pmod{3}$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q22 : Résoudre une congruence $ax \equiv b \pmod n$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quelles sont les solutions de la congruence $5x \equiv 3<br/>
\pmod{7}$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$ax \equiv b \pmod n$ avec $\text{PGCD}(a\ ;\ n) = 1$ :<br/>
multiplier par l'inverse de $a$ : $x \equiv a^{-1}b$.<br/>
L'inverse se trouve par tâtonnement (petits modules) ou par<br/>
l'algorithme d'Euclide étendu (grands modules).</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$x \equiv 2 \pmod{7}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : on multiplie par $3$, inverse de $5$<br/>
modulo $7$ ($5 \times 3 = 15 \equiv 1$) ; alors<br/>
$x \equiv 3 \times 3 = 9 \equiv 2$. Contrôle : $5 \times 2 = 10 \equiv 3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x = \dfrac{3}{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Pas de fractions dans les congruences : la « division » se fait<br/>
en multipliant par l'inverse modulaire de $5$ (qui est $3$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Aucune solution, car $5$ ne divise pas $3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : la divisibilité ordinaire ne décide pas :<br/>
$\text{PGCD}(5\ ;\ 7) = 1$ garantit un inverse, donc une<br/>
solution unique modulo $7$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 3 \pmod{7}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Contrôle : $5 \times 3 \equiv 1 \not\equiv 3$ : c'est l'inverse de<br/>
$5$, pas la solution : il reste à multiplier par $3$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q23 : $n^2$ pair implique $n$ pair</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Comment démontrer proprement : « si $n^2$ est pair, alors<br/>
$n$ est pair » ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Contraposée : « $A \Rightarrow B$ » équivaut à « non $B$<br/>
$\Rightarrow$ non $A$ » : quand l'hypothèse directe est<br/>
difficile à exploiter, renverser. Ici : l'imparité se<br/>
calcule ($2k+1$), la parité de $n^2$ ne se remonte pas<br/>
directement.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Par contraposée : $n$ impair $\Rightarrow$ $n^2$ impair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : si $n$ est impair, $n = 2k + 1$ donne<br/>
$n^2 = 2(2k^2 + 2k) + 1$, impair. La contraposée se<br/>
calcule en une ligne, et elle est logiquement<br/>
ÉQUIVALENTE à l'énoncé.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>En vérifiant pour $n = 2$, $4$, $6$ et $8$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Exemples, pas preuve : trois cas ne couvrent pas tous<br/>
les entiers (et testent d'ailleurs le sens réciproque !).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>C'est faux, $n^2$ pair n'impose rien à $n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : l'énoncé est vrai (essentiel, entre autres,<br/>
dans la preuve de l'irrationalité de $\sqrt{2}$) : la<br/>
contraposée le démontre.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>En divisant $n^2$ par $n$ pour retrouver $n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : la parité ne « se divise » pas : le passage<br/>
par l'écriture $n = 2k + 1$ (contraposée) est le chemin<br/>
rigoureux.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q24 : Pourquoi Euclide fonctionne</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>L'algorithme d'Euclide repose sur l'égalité<br/>
$\text{PGCD}(a\ ;\ b) = \text{PGCD}(b\ ;\ r)$ où $r$ est le<br/>
reste de $a$ par $b$. Pourquoi est-elle vraie ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Deux ingrédients : correction ($\text{PGCD}(a\ ;\ b) =<br/>
\text{PGCD}(b\ ;\ r)$, par conservation des diviseurs<br/>
communs) et terminaison (les restes décroissent strictement<br/>
vers $0$). Le modèle de toute preuve d'algorithme.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Parce que $a = bq + r$ conserve les diviseurs communs</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : les diviseurs communs de $(a\ ;\ b)$ et<br/>
de $(b\ ;\ r)$ sont exactement les mêmes : $d$ divise<br/>
$a$ et $b$ $\Rightarrow$ il divise $r = a - bq$ ; et $d$<br/>
divise $b$ et $r$ $\Rightarrow$ il divise $a = bq + r$ :<br/>
même PGCD.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que $r$ est toujours plus petit que $b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est la raison de la <strong>terminaison</strong> (les restes<br/>
décroissent), pas de la correction : l'égalité des PGCD<br/>
vient de $a = bq + r$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que le PGCD est toujours le dernier reste</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Circulaire : c'est la CONSÉQUENCE de l'égalité répétée,<br/>
pas sa justification.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>C'est une convention posée sans démonstration</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : c'est un théorème, démontré en deux lignes par<br/>
la conservation des diviseurs communs à travers $a = bq<br/>
+ r$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q25 : Calculer une congruence</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>À quoi $37$ est-il congru modulo $5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Deux entiers sont congrus modulo $n$ lorsqu'ils ont le même reste dans la<br/>
division euclidienne par $n$. Le reste choisi est celui compris entre $0$<br/>
et $n-1$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $37 = 5 \times 7 + 2$, le reste vaut $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Quotient recopié : le reste d'une division par $5$ est toujours<br/>
inférieur à $5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste faux : $5 \times 7$ vaut $35$, il reste donc $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Un reste nul signifierait que $5$ divise $37$, ce qui n'est pas le<br/>
cas.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q26 : Une identité de Bézout</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quelle condition garantit l'existence d'entiers $u$ et $v$ tels que<br/>
$au + bv = 1$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Le théorème de Bézout affirme que $au + bv = 1$ a des solutions entières si<br/>
et seulement si $a$ et $b$ sont premiers entre eux. L'algorithme d'Euclide<br/>
étendu fournit un couple.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Le PGCD de $a$ et $b$ vaut $1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : c'est exactement le théorème de Bézout, pour des<br/>
entiers premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ sont premiers</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Condition trop forte : $4$ et $9$ ne sont pas premiers mais sont<br/>
premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ divise $b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Cette condition donne au contraire un PGCD égal à $a$, donc supérieur à<br/>
$1$ en général.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ sont de signes contraires</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le signe n'intervient pas : la condition porte sur le PGCD.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q27 : Une puissance modulo</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>À quoi $3^{4}$ est-il congru modulo $5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Le petit théorème de Fermat donne $a^{p-1} \equiv 1 \pmod p$ pour $p$<br/>
premier ne divisant pas $a$. Avec $p = 5$, toute puissance quatrième d'un<br/>
entier non multiple de $5$ est congrue à $1$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $81 = 5 \times 16 + 1$, ce que prédit aussi le petit<br/>
théorème de Fermat.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste faux : $3^4$ vaut $81$, dont le reste modulo $5$ est $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Base recopiée : c'est $3^1$ qui est congru à $3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Un reste nul exigerait que $5$ divise $81$, ce qui est faux.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q28 : Un PGCD par l'algorithme d'Euclide</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le PGCD de $48$ et $18$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>L'algorithme d'Euclide remplace le couple par le diviseur et le reste,<br/>
jusqu'à obtenir un reste nul. Le dernier reste non nul est le PGCD.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $48 = 18 \times 2 + 12, 18 = 12 + 6, 12 = 6 \times 2 + 0$ ; le dernier reste non nul<br/>
est $6$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste intermédiaire retenu : l'algorithme continue tant que le reste<br/>
n'est pas nul.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Diviseur commun mais pas le plus grand : $6$ divise aussi les deux<br/>
nombres.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$144$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Plus petit multiple commun : il est supérieur aux deux nombres, ce<br/>
qui exclut un PGCD.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q29 : Une équation diophantienne</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>L'équation $6x + 9y = 5$ admet-elle des solutions entières ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>L'équation $ax + by = c$ admet des solutions entières si et seulement si le<br/>
PGCD de $a$ et $b$ divise $c$. Ici ce PGCD vaut $3$, qui ne divise pas<br/>
$5$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Non, car $3$ divise le membre de gauche</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : le membre de gauche est toujours multiple de $3$, alors<br/>
que $5$ ne l'est pas.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, une infinité</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>L'infinité de solutions apparaît seulement lorsque le PGCD divise le<br/>
second membre.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, exactement une</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Une équation de ce type n'a jamais exactement une solution entière :<br/>
soit aucune, soit une infinité.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car les coefficients sont positifs</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le signe n'intervient pas : $6x + 9y = 3$ a des solutions, avec les<br/>
mêmes coefficients.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q30 : Un jour de la semaine</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Aujourd'hui est un lundi. Quel jour sera-t-on dans $100$ jours ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Les jours de la semaine se comptent modulo $7$. Le reste de la division<br/>
euclidienne du nombre de jours par $7$ donne le décalage à appliquer.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Un mercredi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $100 = 7 \times 14 + 2$, donc deux jours après lundi.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Un lundi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Il faudrait que $100$ soit un multiple de $7$, ce qui n'est pas le<br/>
cas.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Un mardi</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste faux : $7 \times 14$ vaut $98$, il reste donc deux jours et non<br/>
un.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Un dimanche</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Ce serait le cas pour un reste de $6$, obtenu par exemple après $104$<br/>
jours.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q31 : Retrouver le reste à partir du quotient</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Dans la division euclidienne de $254$ par $7$, le quotient vaut<br/>
$36$. Quel est le reste ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>La division euclidienne de $a$ par $b$ (avec $b &gt; 0$) s'écrit<br/>
$a = bq + r$ et $0 \leq r &lt; b$, et ce couple est unique.<br/>
Le quotient étant connu, le reste s'obtient par une simple<br/>
soustraction.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : l'égalité $254 = 7 \times 36 + r$ donne<br/>
$r = 254 - 7 \times 36 = 2$, bien compris entre $0$ et<br/>
$7$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Diviseur recopié : le reste est strictement inférieur à<br/>
$7$, il ne peut donc pas lui être égal.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$36$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Quotient recopié : $36$ compte combien de fois $7$ tient<br/>
dans $254$ ; le reste est ce qui dépasse.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Complément au multiple suivant : c'est ce qu'il manque pour<br/>
atteindre $7 \times 36 + 7$, et non le reste, qui vaut<br/>
$2$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q32 : Diviseur commun et combinaisons</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Un entier $d$ divise à la fois $a$ et $b$. Que divise-t-il<br/>
nécessairement aussi ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>La définition « $a = kd$ » donne aussitôt : tout diviseur commun<br/>
de $a$ et $b$ divise $ua + vb$ pour tous entiers $u$ et $v$. Cette<br/>
propriété fait fonctionner l'algorithme d'Euclide et le théorème<br/>
de Bézout.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Toute somme $ua + vb$ avec $u$ et $v$ entiers</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : si $a = da'$ et $b = db'$, alors<br/>
$ua + vb = d(ua' + vb')$. C'est l'outil de base de tous les<br/>
raisonnements de divisibilité.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Le quotient de $a$ par $b$, lorsqu'il est entier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $4$ divise $8$ et $4$, mais ne divise pas le<br/>
quotient $2$. Ce sont les combinaisons qui héritent de la<br/>
divisibilité.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Tout entier compris entre $a$ et $b$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $3$ divise $6$ et $12$, mais pas $7$. Rien n'oblige<br/>
les entiers intermédiaires à être des multiples de $d$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Le successeur $a + b + 1$ de leur somme</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $d$ divise $a + b$, donc il ne divise $a + b + 1$<br/>
que dans le cas particulier $d = 1$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q33 : Reste modulo $9$ par la somme des chiffres</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le reste de la division euclidienne de $573$ par $9$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Comme $10 \equiv 1 \pmod 9$, toute puissance de $10$ est congrue à<br/>
$1$ : un entier est donc congru à la somme de ses chiffres modulo<br/>
$9$. On répète l'opération tant que le résultat dépasse $8$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $10 \equiv 1 \pmod 9$, donc $573$ est congru à<br/>
la somme de ses chiffres, qui vaut $15$, dont le<br/>
reste modulo $9$ est $6$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$15$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Étape non terminée : la somme des chiffres vaut<br/>
$15$, mais un reste modulo $9$ est inférieur à<br/>
$9$ : on recommence sur $15$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Mauvais critère : le dernier chiffre renseigne sur $2$, $5$ et<br/>
$10$ ; pour $9$, c'est la somme des chiffres qui décide.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Valeur impossible : le reste d'une division par $9$ est<br/>
toujours compris entre $0$ et $8$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q34 : Pourquoi $1$ n'est pas premier</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pourquoi le nombre $1$ n'est-il pas un nombre premier ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un entier $p \geq 2$ est premier lorsqu'il admet exactement deux<br/>
diviseurs positifs, $1$ et $p$. Le nombre $1$ n'en a qu'un seul et<br/>
reste hors de la classification, ce qui garantit l'unicité de la<br/>
décomposition en facteurs premiers.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Il n'a qu'un seul diviseur positif</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : un nombre premier admet exactement deux<br/>
diviseurs positifs, $1$ et lui-même. Le nombre $1$ n'en a<br/>
qu'un, il est donc exclu.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>C'est une simple convention sans raison</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Presque : l'exclusion n'est pas arbitraire, elle rend unique<br/>
la décomposition en facteurs premiers, qu'on pourrait sinon<br/>
allonger de facteurs $1$ à volonté.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est le diviseur de tous les entiers</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Vrai mais hors sujet : $1$ divise effectivement tout entier,<br/>
ce qui ne dit rien sur son propre nombre de diviseurs.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Son seul diviseur premier est $1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $1$ n'étant pas premier, il n'a aucun diviseur<br/>
premier. Le critère porte sur le nombre de diviseurs<br/>
positifs.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q35 : Produit de deux entiers consécutifs</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que peut-on affirmer du produit $n(n + 1)$ de deux entiers<br/>
naturels consécutifs ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Sur deux entiers consécutifs, exactement un est pair : leur<br/>
produit est donc toujours divisible par $2$. Le même raisonnement<br/>
appliqué à $n(n+1)(n+2)$ donne une divisibilité par $6$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Il est toujours pair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : parmi deux entiers consécutifs, l'un est pair,<br/>
donc le produit l'est aussi, quelle que soit la parité de $n$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est toujours impair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Contre-exemple immédiat : $2 \times 3 = 6$ est pair. Un<br/>
produit n'est impair que si ses deux facteurs le sont.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est pair si $n$ est pair seulement</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Cas oublié : si $n$ est impair, alors $n + 1$ est pair, et le<br/>
produit reste pair.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est toujours un multiple de $4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Trop fort : $2 \times 3 = 6$ n'est pas multiple de $4$. Un<br/>
seul des deux facteurs est pair, il n'apporte qu'un facteur<br/>
$2$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q36 : Simplifier une fraction en une seule étape</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Par quel entier faut-il simplifier la fraction<br/>
$\dfrac{36}{60}$ pour la rendre irréductible en une seule<br/>
étape ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>La forme irréductible s'obtient en divisant numérateur et<br/>
dénominateur par leur PGCD : c'est le seul diviseur commun qui<br/>
épuise tous les facteurs partagés. Ici<br/>
$\dfrac{3}{5}$ a un numérateur et un<br/>
dénominateur premiers entre eux.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $\text{PGCD}(36\ ;\ 60) = 12$, et diviser<br/>
par ce nombre donne d'un coup la forme irréductible<br/>
$\dfrac{3}{5}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$24$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Différence sans rapport : $60 - 36 = 24$ ne divise<br/>
même pas $36$. C'est le PGCD, soit $12$, qu'il faut.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Résultat pris pour l'outil : $3$ est le numérateur<br/>
obtenu après simplification, pas le diviseur employé.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Simplification partielle : diviser par $2$ laisse<br/>
encore des facteurs communs ; le PGCD $12$ termine le travail<br/>
en une fois.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q37 : Chiffre des unités et reste modulo $5$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Un entier $N$ s'écrit avec $7$ pour chiffre des unités. Quel est<br/>
le reste de $N$ dans la division euclidienne par $5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un entier est congru modulo $10$ à son chiffre des unités. Comme<br/>
$5$ divise $10$, la congruence se transporte : le reste modulo $5$<br/>
se lit sur ce seul chiffre, sans poser la division.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $N$ est congru à son chiffre des unités modulo<br/>
$10$, donc aussi modulo $5$ puisque $5$ divise $10$. Or<br/>
$7 = 5 + 2$, d'où le reste $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Étape non terminée : $7$ dépasse $5$, ce n'est donc pas un<br/>
reste valide modulo $5$ ; il faut encore retirer $5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Complément au multiple suivant : il manque $3$ à<br/>
$N$ pour atteindre un multiple de $5$ ; le reste, lui,<br/>
compte ce qui dépasse le multiple précédent.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $N$ se terminerait alors par $0$ ou par $5$, ce qui<br/>
n'est pas le cas ici.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q38 : Hypothèses du petit théorème de Fermat</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Le petit théorème de Fermat affirme que $a^{p-1} \equiv 1 \pmod p$.<br/>
Peut-on l'appliquer à $a = 10$ et $p = 5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Le petit théorème de Fermat s'énonce ainsi : si $p$ est premier et<br/>
si $p$ ne divise pas $a$, alors $a^{p-1} \equiv 1 \pmod p$. Les<br/>
deux hypothèses comptent ; lorsque $p$ divise $a$, on a simplement<br/>
$a \equiv 0 \pmod p$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Non, car $5$ divise $10$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : le théorème exige que $p$ ne divise pas $a$.<br/>
Ici $10 \equiv 0 \pmod 5$, donc $10^4 \equiv 0$, et non $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, car $5$ est un nombre premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Condition incomplète : la primalité de $p$ ne suffit pas, il<br/>
faut aussi que $p$ ne divise pas $a$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car $10$ n'est pas premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Fausse condition : le théorème ne demande rien à $a$, sinon de<br/>
ne pas être multiple de $p$. Il s'applique ainsi à $a = 4$ et<br/>
$p = 5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, car $10$ est plus grand que $5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Sans rapport : la taille de $a$ n'intervient jamais, seule<br/>
compte sa divisibilité par $p$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q39 : Plus petit facteur premier</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le plus petit facteur premier de $91$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Pour trouver le plus petit facteur premier d'un entier $n$, on<br/>
teste les nombres premiers dans l'ordre croissant tant qu'ils ne<br/>
dépassent pas $\sqrt{n}$. Si aucun ne convient, $n$ est premier.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $91$ n'est divisible ni par $2$, ni par $3$,<br/>
ni par $5$, et la division par $7$ tombe juste :<br/>
$91 = 7 \times 13$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$91$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Nombre supposé premier : $91 = 7 \times 13$,<br/>
il est donc composé et admet un facteur premier plus petit.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Critère mal appliqué : la somme des chiffres de $91$ n'est<br/>
pas un multiple de $3$, donc $3$ ne divise pas $91$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$13$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Facteur exact mais pas le plus petit : $13$<br/>
divise bien $91$, seulement $7$ le divise aussi et lui est<br/>
inférieur.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q40 : L'hypothèse du théorème de Gauss</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On sait que $6$ divise $4n$. Peut-on en conclure que $6$ divise<br/>
$n$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Le théorème de Gauss s'énonce : si $a$ divise $bc$ et si $a$ est<br/>
premier avec $b$, alors $a$ divise $c$. L'hypothèse de primalité<br/>
entre eux est indispensable, comme le montre<br/>
$6 \mid 4 \times 3$ alors que $6$ ne divise ni $4$ ni $3$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Non, car $6$ et $4$ ne sont pas premiers entre eux</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : Gauss exige un diviseur premier avec le<br/>
facteur écarté. Ici $\text{PGCD}(6\ ;\ 4) = 2$, et $n = 3$<br/>
fournit un contre-exemple : $6 \mid 12$ sans diviser $3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, d'après le théorème de Gauss appliqué au facteur $4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Hypothèse oubliée : le théorème ne s'applique que si le<br/>
diviseur est premier avec le facteur écarté, ce qui n'est pas<br/>
le cas de $6$ et $4$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Oui, car $6$ ne divise pas $4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Mauvais critère : ce qui compte est le PGCD de $6$ et $4$, qui<br/>
vaut $2$, et non la divisibilité de l'un par l'autre.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car $4$ ne divise pas $6$ non plus</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Conclusion juste, raison fausse : l'obstacle est que $6$ et<br/>
$4$ ne sont pas premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q41 : Existence d'un inverse modulo $12$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Parmi les entiers $2$, $3$, $5$ et $6$, lequel admet un inverse<br/>
modulo $12$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un entier $a$ admet un inverse modulo $n$ si et seulement si<br/>
$\text{PGCD}(a\ ;\ n) = 1$ : Bézout donne alors $au + nv = 1$,<br/>
c'est-à-dire $au \equiv 1 \pmod n$. Les diviseurs de $n$ autres<br/>
que $1$ n'en ont jamais.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$5$, premier avec $12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $\text{PGCD}(5\ ;\ 12) = 1$, donc Bézout<br/>
fournit un inverse. Ici $5 \times 5 = 25 \equiv 1 \pmod{12}$ :<br/>
$5$ est son propre inverse.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$, car $12$ est pair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Diviseur commun : $\text{PGCD}(2\ ;\ 12) = 2$, donc $2x$ reste<br/>
pair et n'est jamais congru à $1$ modulo $12$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$, car $3 \times 4 = 12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Diviseur commun : $3x$ est toujours multiple de $3$, or $1$ ne<br/>
l'est pas, pas davantage modulo $12$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$6$, moitié de $12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Diviseur commun : $\text{PGCD}(6\ ;\ 12) = 6$ ; aucun multiple<br/>
de $6$ n'est congru à $1$ modulo $12$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q42 : Résoudre une congruence par l'inverse</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quelles sont les solutions entières de la congruence<br/>
$2x \equiv 3 \pmod{5}$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Pour résoudre $ax \equiv b \pmod n$ lorsque $a$ est premier avec<br/>
$n$, on multiplie les deux membres par l'inverse de $a$ modulo<br/>
$n$. La solution est unique modulo $n$ et se contrôle en la<br/>
reportant dans la congruence de départ.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$x \equiv 4 \pmod{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $2$ est premier avec $5$, et son inverse<br/>
modulo $5$ est $3$. En multipliant par $3$ :<br/>
$x \equiv 3 \times 3 \equiv 4$. Contrôle :<br/>
$2 \times 4 = 8 \equiv 3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 3 \pmod{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Second membre recopié : $3$ est la valeur visée, pas la<br/>
solution. Il reste à multiplier par l'inverse de $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 1 \pmod{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Multiplication par le coefficient au lieu de son inverse :<br/>
$2 \times 3 \equiv 1$, alors que c'est<br/>
l'inverse $3$ qu'il faut employer.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 0 \pmod{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Addition au lieu d'une résolution : on ne fait pas passer le<br/>
coefficient de l'autre côté en l'ajoutant, on multiplie par<br/>
son inverse.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q43 : Réduire une puissance par son cycle</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le reste de $2^{11}$ dans la division euclidienne par<br/>
$5$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Pour une puissance modulo $n$, on cherche le plus petit exposant<br/>
$d$ tel que $a^d \equiv 1$, puis on réduit l'exposant modulo $d$.<br/>
Le petit théorème de Fermat garantit un tel cycle quand $n$ est<br/>
premier, mais le cycle réel peut être plus court.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $2^{4} \equiv 1 \pmod{5}$, et<br/>
$11 = 4 \times 2 + 3$, donc<br/>
$2^{11} \equiv 2^{3} \equiv 3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$0$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Reste nul impossible : $2^{11}$ n'a que des facteurs<br/>
$2$, qui ne figurent pas dans la décomposition de $5$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Cycle mal repéré : le reste vaut $1$ quand l'exposant est un<br/>
multiple de $4$ ; or $11$ laisse $3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Base recopiée : $2$ est le reste de $2^1$ ; l'exposant<br/>
$11$ déplace le résultat plus loin dans le cycle.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q44 : Le PGCD de $2n + 1$ et de $n$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pour tout entier naturel $n$ non nul, que vaut<br/>
$\text{PGCD}(2n + 1\ ;\ n)$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>L'égalité $\text{PGCD}(a\ ;\ b) = \text{PGCD}(b\ ;\ r)$ conclut en<br/>
une ligne : la division de $2n+1$ par $n$ laisse le reste $1$,<br/>
donc le PGCD vaut $\text{PGCD}(n\ ;\ 1) = 1$. Conserver les<br/>
diviseurs communs est bien le principe de l'algorithme d'Euclide.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : tout diviseur commun divise la combinaison<br/>
$(2n + 1) - 2 \times n = 1$, donc vaut $1$. Les deux entiers<br/>
sont premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$n$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $n$ divise $n$, mais il ne divise $2n + 1$ que s'il<br/>
divise $1$. Le PGCD ne peut donc pas valoir $n$ en général.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2n + 1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : $2n + 1$ est plus grand que $n$, il ne peut pas<br/>
diviser $n$, donc pas non plus être un diviseur commun.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Parité : $2n + 1$ est impair, donc $2$ ne le divise jamais ;<br/>
aucun diviseur commun pair n'est possible.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q45 : Un carré congru à $1$ modulo $4$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Un entier $n$ vérifie $n^2 \equiv 1 \pmod 4$. Que peut-on en<br/>
déduire sur $n$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Étudier un carré modulo $4$ revient à examiner les deux restes<br/>
possibles de $n$ modulo $2$ : pair donne $n^2 \equiv 0$, impair<br/>
donne $n^2 \equiv 1$. C'est le raisonnement par contraposée déjà<br/>
utilisé pour « $n^2$ pair entraîne $n$ pair ».</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Il est impair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : un entier pair s'écrit $2k$ et donne<br/>
$n^2 = 4k^2 \equiv 0$. Le carré valant $1$, $n$ ne peut être<br/>
pair, et $(2k+1)^2 = 4k(k+1) + 1 \equiv 1$ confirme le cas<br/>
impair.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est pair</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Sens inversé : si $n$ était pair, son carré serait multiple de<br/>
$4$, donc congru à $0$ et non à $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Il est multiple de $4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Trop fort et faux : $n$ est impair, il n'est donc divisible ni<br/>
par $4$, ni même par $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>On ne peut rien en déduire</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : examiner les deux cas de parité suffit, l'un donne<br/>
$0$ modulo $4$ et l'autre $1$ : la conclusion est certaine.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q46 : Un chiffrement affine</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On numérote les lettres de A $= 0$ à Z $= 25$. Une lettre de rang $x$<br/>
est chiffrée par la lettre de rang $y$, reste de la division de<br/>
$3x + 5$ par $26$. Par quelle lettre la lettre K, de rang $10$,<br/>
est-elle chiffrée ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Pour déchiffrer, on résout $3x + 5 \equiv y \pmod{26}$ : c'est<br/>
possible car $3$ est inversible modulo $26$ ($3 \times 9 = 27<br/>
\equiv 1$), d'où $x \equiv 9(y - 5) \pmod{26}$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>La lettre J, de rang $9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $3 \times 10 + 5 = 35$ et<br/>
$35 \equiv 9 \pmod{26}$, car $35 = 26 + 9$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>La lettre de rang $35$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : il n'y a que $26$ lettres. On remplace $35$ par son<br/>
reste modulo $26$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>La lettre P, de rang $15$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : on a ajouté $5$ au rang sans le multiplier par $3$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>La lettre K elle-même</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Erreur : le chiffrement transforme le rang $10$ en $9$, donc la<br/>
lettre change.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q47 : Arrêter le crible d'Ératosthène</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pour obtenir les nombres premiers inférieurs à $100$ avec le crible<br/>
d'Ératosthène, on barre les multiples de $2$, $3$, $5$ et $7$. Pourquoi<br/>
peut-on s'arrêter là ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un entier $n \geq 2$ qui n'a aucun diviseur premier $p$ avec $p^2 \leq n$<br/>
est premier. C'est ce qui arrête le crible et limite les tests de<br/>
primalité.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Un nombre composé inférieur à $100$ a un facteur premier inférieur ou égal à $10$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : si $n = ab$ avec $1 &lt; a \leq b$, alors $a^2 \leq n &lt; 100$,<br/>
donc $a &lt; 10$ ; le multiple de $11$ suivant non barré serait<br/>
$11^2 = 121$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce qu'il n'existe pas de nombre premier entre $10$ et $100$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux : $11$, $13$, $97$… sont premiers. Ils restent justement<br/>
non barrés à la fin du crible.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que $7$ est le plus grand nombre premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>L'ensemble des nombres premiers est infini : il n'y a pas de plus<br/>
grand nombre premier.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que les multiples de $11$ sont tous supérieurs à $100$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux : $22$, $33$, … $99$ sont des multiples de $11$, mais ils ont<br/>
déjà été barrés comme multiples de $2$, $3$, $5$ ou $7$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q48 : Jusqu'où tester la primalité</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pour savoir si $97$ est premier, on cherche un diviseur premier.<br/>
Quel est le plus grand nombre premier qu'il suffit d'essayer ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Pour tester la primalité de $n$, il suffit d'essayer les nombres<br/>
premiers $p$ tels que $p^2 \leq n$. Si aucun ne divise $n$, alors $n$ est<br/>
premier.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $7^2 = 49 \leq 97 &lt; 121 = 11^2$ ; un diviseur<br/>
$a \leq b$ de $97 = ab$ vérifierait $a^2 \leq 97$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$11$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Inutile : $11^2 = 121 &gt; 97$. Si $11$ divisait $97$, l'autre<br/>
facteur serait plus petit que $11$ et aurait déjà été trouvé.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$9$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$9$ est bien la partie entière de $\sqrt{97}$, mais il n'est pas<br/>
premier : on teste seulement les diviseurs <strong>premiers</strong>.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$48$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Beaucoup trop loin : on peut s'arrêter à $\sqrt{97}$, car un<br/>
diviseur plus grand irait de pair avec un diviseur plus petit.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q49 : Un PGCD par les décompositions</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On a $a = 2^{3} \times 3^{2} \times 5$ et $b = 2^{2} \times 3^{3} \times 7$. Quel est le PGCD de $a$ et $b$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Avec les décompositions en facteurs premiers : PGCD = facteurs<br/>
communs au plus petit exposant ; PPCM = tous les facteurs au plus<br/>
grand exposant. On a de plus $\text{PGCD} \times \text{PPCM} = ab$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$2^{2} \times 3^{2}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : on garde les facteurs premiers communs, chacun avec<br/>
le plus petit exposant ; ici $\text{PGCD}(a\ ;\ b) = 36$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2^{3} \times 3^{3} \times 5 \times 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est le PPCM : tous les facteurs, avec le plus grand exposant. Le<br/>
PGCD garde les facteurs communs avec le plus petit exposant.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2^{5} \times 3^{5}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Exposants additionnés : c'est la règle du <strong>produit</strong> $ab$, pas<br/>
celle du PGCD.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2^{3} \times 3^{3}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bons facteurs, mauvais exposants : un diviseur commun ne peut pas<br/>
contenir un facteur plus de fois que le moins riche des deux nombres.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q50 : L'infinité des nombres premiers</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Pour démontrer qu'il existe une infinité de nombres premiers, on suppose<br/>
qu'il n'y en a qu'un nombre fini, $p_1, p_2, \dots, p_n$, et l'on pose<br/>
$N = p_1p_2\cdots p_n + 1$. Quel est l'argument clé ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Démonstration attribuée à Euclide : tout entier $N \geq 2$ admet un<br/>
diviseur premier, et $N = p_1 \cdots p_n + 1$ n'est divisible par aucun $p_k$.<br/>
La liste supposée complète en oublie donc au moins un.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Aucun $p_k$ ne divise $N$, qui a pourtant un facteur premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : chaque $p_k$ divise $N - 1$, donc le reste de $N$<br/>
dans la division par $p_k$ vaut $1$.<br/>
Le facteur premier de $N$ n'est donc aucun des $p_k$ : contradiction.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$N$ est forcément un nombre premier lui-même</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Pas forcément : $2 \times 3 \times 5 \times 7 \times 11 \times 13 + 1 = 30\,031 = 59 \times 509$.<br/>
L'argument porte sur ses facteurs premiers, pas sur $N$ lui-même.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$N$ est pair, donc divisible par le premier $p_1 = 2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$N - 1$ est pair (il contient le facteur $2$), donc $N$ est <strong>impair</strong> :<br/>
$2$ ne divise justement pas $N$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$N$ dépasse tous les $p_k$, donc il est premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Être grand ne rend pas premier : $30\,031$ dépasse $13$ sans être<br/>
premier. Seule l'absence de diviseur parmi les $p_k$ compte.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q51 : Utiliser le petit théorème de Fermat</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que vaut le reste de $3^{33}$ dans la division par $7$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Petit théorème de Fermat : si $p$ est premier et ne divise pas $a$,<br/>
alors $a^{p-1} \equiv 1 \pmod p$. On réduit donc l'exposant modulo $p - 1$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$6$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $7$ est premier et ne divise pas $3$, donc<br/>
$3^{6} \equiv 1 \pmod{7}$ ; avec $33 = 6 \times 5 + 3$, on obtient<br/>
$3^{33} \equiv 3^{3} \equiv 6$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$5$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Exposant réduit modulo $7$ au lieu de $7 - 1 = 6$ : c'est<br/>
$a^{p-1}$ qui vaut $1$ modulo $p$, pas $a^p$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Fermat donne $3^{6} \equiv 1$, mais $33$ n'est pas un multiple de<br/>
$6$ : il reste $3^{3}$ à calculer.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le reste n'est pas l'exposant réduit : après $33 \equiv 3 \pmod{6}$,<br/>
il faut encore calculer $3^{3}$ modulo $7$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q52 : Entiers premiers entre eux</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Que signifie « $a$ et $b$ sont premiers entre eux » ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>$a$ et $b$ sont premiers entre eux lorsque $\text{PGCD}(a\ ;\ b) = 1$. C'est<br/>
l'hypothèse des théorèmes de Bézout et de Gauss, et de l'existence d'un<br/>
inverse modulo $n$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Leur PGCD vaut $1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : leur seul diviseur commun positif est $1$. Exemple :<br/>
$8$ et $15$, qui ne sont premiers ni l'un ni l'autre.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ sont deux nombres premiers</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Confusion de vocabulaire : $8$ et $15$ sont premiers entre eux<br/>
sans être premiers ; et $3$ et $3$ sont premiers sans être premiers<br/>
entre eux.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Aucun des deux ne divise l'autre</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Contre-exemple : $6$ et $10$ ne se divisent pas, mais ont $2$ pour<br/>
diviseur commun.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a$ et $b$ sont tous deux impairs</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Contre-exemple : $9$ et $15$ sont impairs et ont $3$ pour diviseur<br/>
commun ; inversement $2$ et $3$ sont premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q53 : Appliquer le théorème de Bézout</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Existe-t-il des entiers $u$ et $v$ tels que $9u + 14v = 1$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Bézout : $\text{PGCD}(a\ ;\ b) = 1 \iff$ il existe $u$, $v$ entiers tels que<br/>
$au + bv = 1$. Si le PGCD vaut $d &gt; 1$, toute combinaison $au + bv$ est un<br/>
multiple de $d$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Oui, par exemple $u = -3$ et $v = 2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $\text{PGCD}(9\ ;\ 14) = 1$, donc un couple de Bézout existe ;<br/>
on vérifie $9 \times (-3) + 14 \times (2) = 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car ni $9$ ni $14$ n'est un nombre premier</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Raisonnement faux : Être premiers entre eux ne demande pas d'être premiers : $\text{PGCD}(9\ ;\ 14) = 1$<br/>
suffit, d'après le théorème de Bézout.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car $9 + 14 \neq 1$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Raisonnement faux : Les coefficients $u$ et $v$ sont libres : on ne demande pas $a + b = 1$,<br/>
mais une combinaison $au + bv = 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Non, car $u$ et $v$ devraient être des fractions</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Raisonnement faux : Des entiers conviennent : $9 \times (-3) + 14 \times (2) = 1$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q54 : Appliquer le théorème de Gauss</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>$x$ est un entier tel que $7$ divise $12x$. Que peut-on en déduire ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Théorème de Gauss : si $n$ divise $ab$ et si $n$ est premier avec $a$,<br/>
alors $n$ divise $b$. Sans l'hypothèse « premiers entre eux », la<br/>
conclusion tombe : $6 \mid 4 \times 3$ sans que $6 \mid 3$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$7$ divise $x$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $\text{PGCD}(7\ ;\ 12) = 1$, donc par le théorème<br/>
de Gauss, $7$ divise $x$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x = 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Trop précis : $x$ peut être n'importe quel multiple de $7$ (par<br/>
exemple $2 \times 7$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$7$ divise $12$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Faux : $7$ ne divise pas $12$. C'est justement parce qu'ils sont<br/>
premiers entre eux que $7$ doit diviser l'autre facteur.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>On ne peut rien conclure sur $x$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le théorème de Gauss conclut ici : si $n \mid ab$ et<br/>
$\text{PGCD}(n\ ;\ a) = 1$, alors $n \mid b$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q55 : Trouver un couple de Bézout</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel couple $(u\ ;\ v)$ d'entiers vérifie $7u + 4v = 1$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un couple de Bézout se trouve en remontant l'algorithme d'Euclide, ou,<br/>
pour de petits nombres, en cherchant $u$ tel que $au \equiv 1 \pmod b$. On<br/>
vérifie toujours en recalculant $au + bv$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$(3\ ;\ -5)$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $7 \times 3 + 4 \times (-5) = 21 + (-20) = 1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$(-5\ ;\ 3)$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Valeurs échangées : $7u + 4v$ vaut alors $-23$, pas $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$(3\ ;\ 5)$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Signe de $v$ inversé : $7u + 4v$ vaut alors $41$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$(-3\ ;\ -5)$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Signe de $u$ inversé : $7u + 4v$ vaut alors $-41$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q56 : Deux congruences simultanées</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Quel est le plus petit entier naturel $x$ tel que $x \equiv 2 \pmod{3}$ et<br/>
$x \equiv 3 \pmod{5}$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Lemme chinois : si $m$ et $n$ sont premiers entre eux, le système<br/>
$x \equiv r \pmod m$, $x \equiv s \pmod n$ a une solution unique modulo $mn$.<br/>
On la trouve en parcourant $r, r + m, r + 2m, \dots$</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$8$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $8$ a pour reste $2$ modulo $3$ et $3$ modulo $5$. Les<br/>
solutions sont les $8 + 15k$, car $3$ et $5$ sont premiers entre eux.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Seule la première condition est remplie : modulo $5$, le reste de<br/>
$2$ vaut $2$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Seule la seconde condition est remplie : modulo $3$, le reste de<br/>
$3$ vaut $0$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$23$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est bien une solution, mais pas la plus petite : on peut<br/>
retirer $15$ et obtenir $8$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q57 : Déchiffrer un chiffrement affine</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Les lettres sont numérotées de $0$ à $25$ et chiffrées par<br/>
$y \equiv 3x + 5 \pmod{26}$. Quelle formule permet de déchiffrer ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Un chiffrement affine $y \equiv ax + b \pmod{26}$ se déchiffre par<br/>
$x \equiv a'(y - b)$, où $a'$ est l'inverse de $a$ modulo $26$. Il n'existe<br/>
que si $a$ est premier avec $26$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$x \equiv 9(y - 5) \pmod{26}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $3x \equiv y - 5$, et $9$ est l'inverse de $3$ modulo $26$<br/>
($3 \times 9 = 27 \equiv 1$).</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 9y - 5 \pmod{26}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Ordre des opérations : on retire d'abord $5$, puis on multiplie<br/>
par l'inverse ; ici le $5$ n'est pas multiplié par $9$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 3(y - 5) \pmod{26}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Multiplier par $3$ chiffre une seconde fois : pour défaire la<br/>
multiplication par $3$, il faut son <strong>inverse</strong> modulo $26$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$x \equiv 23(y - 5) \pmod{26}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$23 \equiv -3$ est l'<strong>opposé</strong> de $3$ modulo $26$, pas son inverse :<br/>
$3 \times 23 \not\equiv 1 \pmod{26}$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q58 : Choisir une clé de chiffrement affine</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>On chiffre les lettres (numérotées de $0$ à $25$) par<br/>
$y \equiv ax + 3 \pmod{26}$. Pour quelle valeur de $a$ deux lettres<br/>
différentes donnent-elles toujours des lettres chiffrées différentes ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>La clé $a$ d'un chiffrement affine doit être première avec $26$, c'est-à-dire<br/>
impaire et différente de $13$ modulo $26$ : $1, 3, 5, 7, 9, 11, 15, 17, 19, 21, 23, 25$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$a = 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $7$ est premier avec $26$, donc il a un inverse modulo $26$<br/>
et le chiffrement se déchiffre.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a = 13$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$\text{PGCD}(13\ ;\ 26) = 13$ : les lettres $0$ et $2$ donnent la même<br/>
lettre chiffrée, car $13 \times 2 = 26 \equiv 0 \pmod{26}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a = 4$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$\text{PGCD}(4\ ;\ 26) = 2$ : les lettres $0$ et $13$ donnent la même<br/>
lettre chiffrée, car $4 \times 13 = 52 \equiv 0 \pmod{26}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$a = 2$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$\text{PGCD}(2\ ;\ 26) = 2$ : les lettres $0$ et $13$ donnent la même<br/>
lettre chiffrée, car $2 \times 13 = 26 \equiv 0 \pmod{26}$.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q59 : Calculer une clé privée RSA</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Dans un système RSA, $n = 3 \times 11 = 33$ et la clé publique est $e = 7$.<br/>
La clé privée $d$ vérifie $ed \equiv 1 \pmod{(p - 1)(q - 1)}$. Que vaut $d$<br/>
(entre $1$ et $20$) ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>RSA : on chiffre par $c \equiv m^e \pmod n$ et l'on déchiffre par<br/>
$m \equiv c^d \pmod n$, avec $ed \equiv 1 \pmod{(p-1)(q-1)}$. La sécurité<br/>
repose sur la difficulté de factoriser $n$.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$d = 3$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $(p - 1)(q - 1) = 2 \times 10 = 20$ et<br/>
$7 \times 3 = 21 \equiv 1 \pmod{20}$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$d = 19$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est l'inverse de $7$ modulo $n = 33$ ; la clé privée est l'inverse<br/>
modulo $(p - 1)(q - 1) = 20$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$d = 13$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>$20 - 7$ est l'<strong>opposé</strong> de $e$ modulo $20$ : $ed$ serait alors<br/>
congru à $-7^2$, pas à $1$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$d = 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Clé publique recopiée : $7 \times 7 \not\equiv 1 \pmod{20}$ ici.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q60 : Chiffrer une lettre</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Les lettres sont numérotées de $0$ ($A$) à $25$ ($Z$) et chiffrées par<br/>
$y \equiv 3x + 5 \pmod{26}$, avec $0 \leq y \leq 25$. Quel est le nombre $y$<br/>
associé à $x = 6$ ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Chiffrer : calculer $ax + b$, puis prendre le reste modulo $26$. Le<br/>
résultat est toujours un entier entre $0$ et $25$, donc une lettre.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>$y = 23$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : $3 \times 6 + 5 = 23$, dont le reste dans la<br/>
division par $26$ vaut $23$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$y = 18$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Le décalage $+5$ a été oublié : on calcule $3x + 5$ avant de<br/>
réduire modulo $26$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$y = 7$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Parenthèses mal placées : la formule est $3x + 5$, et non<br/>
$3(x + 5)$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>$y = 11$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Seul le décalage a été appliqué : la multiplication par $3$<br/>
manque.</p>]]></text>
    </feedback>
  </answer>
</question>

<question type="multichoice">
  <name>
    <text>Arithmétique : divisibilité, congruences, nombres premiers — Q61 : Clé de contrôle modulo $11$</text>
  </name>
  <questiontext format="html">
    <text><![CDATA[<p>Un code ISBN-10 $a_1a_2\dots a_{10}$ vérifie<br/>
$10a_1 + 9a_2 + \dots + 2a_9 + a_{10} \equiv 0 \pmod{11}$. Pourquoi une erreur<br/>
sur un seul chiffre est-elle toujours détectée ?</p>]]></text>
  </questiontext>
  <generalfeedback format="html">
    <text><![CDATA[<p>Les clés de contrôle (ISBN, RIB, numéro INSEE) reposent sur une<br/>
congruence. Un module premier rend tous les poids inversibles, ce qui<br/>
garantit la détection d'une erreur sur un chiffre.</p>]]></text>
  </generalfeedback>
  <defaultgrade>1.0</defaultgrade>
  <penalty>0.0</penalty>
  <hidden>0</hidden>
  <single>true</single>
  <shuffleanswers>true</shuffleanswers>
  <answernumbering>abc</answernumbering>
  <answer fraction="100" format="html">
    <text><![CDATA[<p>Une erreur $\delta$ sur $a_k$ change la somme de $c\,\delta$, non multiple de $11$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Bonne réponse : si $a_k$ change de $\delta \neq 0$, la somme change de $c\,\delta$ ;<br/>
$11$ est premier et ne divise ni le poids $c$<br/>
(entre $1$ et $10$) ni $\delta$ (entre $-10$ et $10$), donc il ne divise<br/>
pas $c\,\delta$ : la somme n'est plus multiple de $11$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que la somme pondérée obtenue est toujours paire</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>Rien n'impose la parité de la somme ; la détection repose sur la<br/>
divisibilité par $11$.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce que chaque chiffre du code est inférieur à $11$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>C'est nécessaire, mais insuffisant : avec des poids multiples de<br/>
$11$, une erreur passerait inaperçue. Il faut que $11$ soit premier<br/>
avec chaque poids et chaque écart.</p>]]></text>
    </feedback>
  </answer>
  <answer fraction="0" format="html">
    <text><![CDATA[<p>Parce qu'une erreur change toujours le dernier chiffre $a_{10}$</p>]]></text>
    <feedback format="html">
      <text><![CDATA[<p>L'erreur peut porter sur n'importe quel chiffre ; c'est la somme<br/>
pondérée qui la révèle, pas le dernier chiffre seul.</p>]]></text>
    </feedback>
  </answer>
</question>

</quiz>
