ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Congruences

Exercice 43

Démonstration

1. Montrer qu'il existe une infinité d'entiers n>0n > 0 tels que 4n2+14n^{2} + 1 soit divisible à la fois par 55 et par 1313.

2. Montrer que l'ensemble {2n−3∣n⩾2}\{2^{n} - 3 \mid n \geqslant 2\} contient une infinité de multiples de 55, une infinité de multiples de 1313, mais aucun multiple de 6565.

Corrigé

1. Modulo 55 : 4n2+1≡04n^{2} + 1 \equiv 0 équivaut à 4n2≡44n^{2} \equiv 4, soit n2≡1n^{2} \equiv 1, c'est-à-dire n≡±1  [5]n \equiv \pm 1 \;[5]. Modulo 1313, en multipliant par 1010, inverse de 44 : n2≡−10≡3n^{2} \equiv -10 \equiv 3, ce qui équivaut à n≡±4  [13]n \equiv \pm 4 \;[13], puisque la table des carrés modulo 1313 montre que 42=164^{2} = 16 et 92=819^{2} = 81 sont les seuls carrés congrus à 33. L'entier n=56n = 56 vérifie 56≡1  [5]56 \equiv 1 \;[5] et 56≡4  [13]56 \equiv 4 \;[13], et tous les 56+65k56 + 65k aussi. 65∣4n2+1 pour tout n=56+65k, k∈ℕ\boxed{65 \mid 4n^{2} + 1 \text{ pour tout } n = 56 + 65k, \ k \in \mathbb{N}} Vérification : 4×562+1=12 545=65×1934 \times 56^{2} + 1 = 12\,545 = 65 \times 193. ✓

2. Les puissances de 22 sont périodiques de période 44 modulo 55 (2,4,3,12, 4, 3, 1) et de période 1212 modulo 1313 (2,4,8,3,6,12,11,9,5,10,7,12, 4, 8, 3, 6, 12, 11, 9, 5, 10, 7, 1). Ainsi 5∣2n−35 \mid 2^{n} - 3 si et seulement si n≡3  [4]n \equiv 3 \;[4], et 13∣2n−313 \mid 2^{n} - 3 si et seulement si n≡4  [12]n \equiv 4 \;[12] : il y a une infinité de multiples de chaque sorte. Mais si 6565 divisait 2n−32^{n} - 3, on aurait n≡4  [12]n \equiv 4 \;[12], donc n≡0  [4]n \equiv 0 \;[4], et n≡3  [4]n \equiv 3 \;[4] : c'est impossible. infiniteˊ de multiples de 5 (n≡3  [4]), de 13 (n≡4  [12]), aucun de 65\boxed{\text{infinité de multiples de } 5 \ (n \equiv 3 \;[4]), \text{ de } 13 \ (n \equiv 4 \;[12]), \text{ aucun de } 65}

Dans l'édifice

Thèmes

congruences, divisibilité

Notions

congruence modulo n

Ouvrir dans l'atlas interactif →