ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Divisibilité et chiffres

Exercice 5

Démonstration

Démontrer que :

1. Pour tout k∈ℕk\in\mathbb{N}, 54k−15^{4k}-1 est divisible par 1313.

2. Pour tout n∈ℕn\in\mathbb{N}, 52n−14n5^{2n}-14^{n} est divisible par 1111.

Corrigé

1. Calculons d'abord les puissances de 55 modulo 1313 : 52=25=13+12≡12≡−1  [13]5^{2}=25=13+12\equiv 12\equiv -1\;[13]

54=(52)2≡(−1)2=1  [13]5^{4}=\left(5^{2}\right)^{2}\equiv(-1)^{2}=1\;[13] Par compatibilité avec les puissances, pour tout k∈ℕk\in\mathbb{N} : 54k=(54)k≡1k=1  [13]5^{4k}=\left(5^{4}\right)^{k}\equiv 1^{k}=1\;[13] donc 54k−1≡1−1=0  [13]5^{4k}-1\equiv 1-1=0\;[13] : pour tout k∈ℕ, 13 divise 54k−1.\boxed{\text{pour tout } k\in\mathbb{N},\ 13 \text{ divise } 5^{4k}-1.}

2. On traite séparément les deux termes modulo 1111 : 52n=(52)n=25net25=11×2+3  donc  25≡3  [11]5^{2n}=\left(5^{2}\right)^{n}=25^{n} \qquad\text{et}\qquad 25=11\times 2+3 \ \text{ donc }\ 25\equiv 3\;[11]

14=11+3donc14≡3  [11]14=11+3 \qquad\text{donc}\qquad 14\equiv 3\;[11] Ainsi 52n≡3n  [11]5^{2n}\equiv 3^{n}\;[11] et 14n≡3n  [11]14^{n}\equiv 3^{n}\;[11], d'où par différence : 52n−14n≡3n−3n=0  [11]5^{2n}-14^{n}\equiv 3^{n}-3^{n}=0\;[11]

pour tout n∈ℕ, 11 divise 52n−14n.\boxed{\text{pour tout } n\in\mathbb{N},\ 11 \text{ divise } 5^{2n}-14^{n}.} L'idée à retenir : on ne cherche pas à calculer, on cherche à faire apparaître la même classe pour les deux termes.

Dans l'édifice

Thèmes

divisibilité

Ouvrir dans l'atlas interactif →