ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Tableaux de congruences et équations

Exercice 9

Démonstration

On veut montrer que l'équation suivante n'a pas de solutions entières : 11x2−7y2=511x^{2}-7y^{2}=5

1. On suppose qu'il existe une solution (x;y)(x;y). Montrer en raisonnant modulo 55 que l'équation peut s'écrire sous la forme : x2≡2y2  [5]x^{2} \equiv 2y^{2} \; [5]

2. Recopier puis compléter les tableaux de congruence suivants :

x≡⋯  [5]01234x2≡⋯  [5]\begin{array}{|c|c|c|c|c|c|} \hline x\equiv \cdots \; [5] & 0 & 1 & 2 & 3 & 4 \\ \hline x^{2}\equiv \cdots \; [5] & & & & & \\ \hline \end{array} et

y≡⋯  [5]012342y2≡⋯  [5]\begin{array}{|c|c|c|c|c|c|} \hline y\equiv \cdots \; [5] & 0 & 1 & 2 & 3 & 4 \\ \hline 2y^{2}\equiv \cdots \; [5] & & & & & \\ \hline \end{array}

3. En déduire que xx et yy sont des multiples de 55.

4. Conclure.

Corrigé

1. Supposons qu'il existe des entiers xx et yy tels que 11x2−7y2=511x^{2}-7y^{2}=5. Réduisons chaque coefficient modulo 55 : 11=5×2+1≡1−7≡−7+10=3≡−25≡0  [5]11=5\times 2+1\equiv 1 \qquad -7\equiv -7+10=3\equiv -2 \qquad 5\equiv 0 \;[5] L'égalité 11x2−7y2=511x^{2}-7y^{2}=5 donne donc, modulo 55 : x2−2y2≡0  [5]c’est-aˋ-direx2≡2y2  [5]x^{2}-2y^{2}\equiv 0\;[5] \qquad\text{c'est-à-dire}\qquad \boxed{x^{2}\equiv 2y^{2}\;[5]}

2. Tout entier est congru à 00, 11, 22, 33 ou 44 modulo 55 : il suffit donc de tester ces cinq valeurs.

x≡⋯  [5]01234x2≡⋯  [5]01441\begin{array}{|c|c|c|c|c|c|} \hline x\equiv\cdots\;[5] & 0 & 1 & 2 & 3 & 4 \\ \hline x^{2}\equiv\cdots\;[5] & 0 & 1 & 4 & 4 & 1 \\ \hline \end{array}
y≡⋯  [5]012342y2≡⋯  [5]02332\begin{array}{|c|c|c|c|c|c|} \hline y\equiv\cdots\;[5] & 0 & 1 & 2 & 3 & 4 \\ \hline 2y^{2}\equiv\cdots\;[5] & 0 & 2 & 3 & 3 & 2 \\ \hline \end{array}

Détail d'une case : pour x≡3x\equiv 3, on a x2≡9≡4  [5]x^{2}\equiv 9\equiv 4\;[5] ; pour y≡2y\equiv 2, 2y2≡2×4=8≡3  [5]2y^{2}\equiv 2\times 4=8\equiv 3\;[5].

3. D'après le premier tableau, x2x^{2} ne peut être congru qu'à 00, 11 ou 44 ; d'après le second, 2y22y^{2} ne peut l'être qu'à 00, 22 ou 33. Pour que l'égalité x2≡2y2  [5]x^{2}\equiv 2y^{2}\;[5] soit possible, il faut une valeur commune aux deux listes : {0 ;1 ;4}∩{0 ;2 ;3}={0}\{0\,;1\,;4\}\cap\{0\,;2\,;3\}=\{0\} La seule possibilité est donc x2≡0x^{2}\equiv 0 et 2y2≡0  [5]2y^{2}\equiv 0\;[5]. En relisant les tableaux, cela impose x≡0  [5]x\equiv 0\;[5] et y≡0  [5]y\equiv 0\;[5] : x et y sont des multiples de 5.\boxed{x \text{ et } y \text{ sont des multiples de } 5.}

4. Écrivons x=5x′x=5x' et y=5y′y=5y' avec x′x' et y′y' entiers. En reportant : 11×25x′2−7×25y′2=5  ⟺  25(11x′2−7y′2)=511\times 25x'^{2}-7\times 25y'^{2}=5 \iff 25\left(11x'^{2}-7y'^{2}\right)=5 Le membre de gauche est un multiple de 2525, le membre de droite vaut 55. Or 2525 ne divise pas 55 : c'est absurde. L’eˊquation 11x2−7y2=5 n’admet aucune solution entieˋre.\boxed{\text{L'équation } 11x^{2}-7y^{2}=5 \text{ n'admet aucune solution entière.}}

Dans l'édifice

Thèmes

congruences, tableaux de congruences, équations

Notions

entiers modulo n (anneau des)

Ouvrir dans l'atlas interactif →