ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Pour aller plus loin

Exercice 28

Démonstration

1. Montrer que, si x∈ℤx\in\mathbb{Z}, 11∣2x+3  ⟺  11∣5x+211\mid 2x+3 \iff 11\mid 5x+2.

2. Quels sont les x∈ℤx\in\mathbb{Z} tels que 1212 divise x2−1x^{2}-1 ? tels que 1212 divise x2−2x^{2}-2 ?

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 471 et 472

Corrigé

1. On a 8(2x+3)=16x+24≡5x+2  [11]8(2x+3)=16x+24\equiv 5x+2\;[11] : si 1111 divise 2x+32x+3, il divise 5x+25x+2. Réciproquement, 7(5x+2)=35x+14≡2x+3  [11]7(5x+2)=35x+14\equiv 2x+3\;[11] : si 1111 divise 5x+25x+2, il divise 2x+32x+3. D'où 11∣2x+3  ⟺  11∣5x+2\boxed{11\mid 2x+3 \iff 11\mid 5x+2}. Les facteurs 88 et 77 s'obtiennent en cherchant par quel nombre multiplier 22 (resp. 55) pour obtenir 55 (resp. 22) modulo 1111.

2. Les carrés modulo 1212 des entiers 00, …, 1111 sont 00, 11, 44, 99, 44, 11, 00, 11, 44, 99, 44, 11. Ainsi : 12∣x2−1  ⟺  x≡1, 5, 7 ou 11  [12]\boxed{12\mid x^{2}-1 \iff x\equiv 1,\ 5,\ 7 \text{ ou } 11\;[12]} c'est-à-dire si et seulement si xx n'est divisible ni par 22 ni par 33. En revanche, 22 n'est jamais un carré modulo 1212 : aucun entier x ne convient\boxed{\text{aucun entier } x \text{ ne convient}} pour x2−2x^{2}-2.

Dans l'édifice

Thèmes

divisibilité

Ouvrir dans l'atlas interactif →