Congruences
dans Arithmétique
Bonsoir à tous,
Je sais comment aborder ce genre d'exos mais sur celui-ci je bloque...
Montrer que, pour tout $n$ de $\N$, $33 \mid 5^{2n+1} + 11^{2n+1} + 17^{2n+1}$.
J'ai trouvé que :
$\forall n \in \N, \quad 5^{2n+1} \equiv 5 \times 25^n \; [33]$.
$\forall n \in \N, \quad 11^{2n+1} \equiv 11 \times 22^n \; [33]$.
$\forall n \in \N, \quad 17^{2n+1} \equiv 17 \times 25^n \; [33]$.
d'où : $\forall n \in \N, \quad 5^{2n+1} + 11^{2n+1} + 17^{2n+1} \equiv 22 \times 25^n + 11 \times 22^n \; [33]$.
J'ai du faire une erreur de calcul de tête dont j'ai d'avance honte mais je ne vois pas...
Je sais comment aborder ce genre d'exos mais sur celui-ci je bloque...
Montrer que, pour tout $n$ de $\N$, $33 \mid 5^{2n+1} + 11^{2n+1} + 17^{2n+1}$.
J'ai trouvé que :
$\forall n \in \N, \quad 5^{2n+1} \equiv 5 \times 25^n \; [33]$.
$\forall n \in \N, \quad 11^{2n+1} \equiv 11 \times 22^n \; [33]$.
$\forall n \in \N, \quad 17^{2n+1} \equiv 17 \times 25^n \; [33]$.
d'où : $\forall n \in \N, \quad 5^{2n+1} + 11^{2n+1} + 17^{2n+1} \equiv 22 \times 25^n + 11 \times 22^n \; [33]$.
J'ai du faire une erreur de calcul de tête dont j'ai d'avance honte mais je ne vois pas...
Réponses
-
Non, pas d'erreur de calcul : factorise par 11 et montre que l'autre terme est divisible par 3.
-
Merci bisam, j'ai alors montré : $2 \times 25^n + 22^n \equiv 0 \; [3]$, ce qui me permet de conclure.
-
Bonsoir Bati
Puisque $33=3\times 11$, on peut travailler successivement dans $\Z/3\Z$ et dans $\Z/11\Z$ puis revenir dans $\Z/33\Z \simeq \Z/3\Z\times \Z/11\Z$ par l'isomorphisme inverse du théorème chinois.
Réduit dans $\Z/3\Z : 2^{2n+1}+2^{2n+1}+2^{2n+1}=0$
Réduit dans $\Z/11\Z : 5^{2n+1} + 0 + (-5)^{2n+1} = 0$
et $(0,0)$ est le neutre de $\Z/3\Z\times \Z/11\Z$
donc en retournant dans $\Z/33\Z$ on obtient le neutre c'est à dire 0.
Alain -
Merci Alain, cela dépasse un peu mes compétences actuelles, je vais avancer un peu dans mes révisions, je garde ton post bien au chaud en attendant...
Bien à toi -
En gros, ce que veut dire Alain (il me semble...) c'est que comme 3 et 11 sont premiers entre eux, il suffit de démontrer que ton nombre est divisible par 3 et par 11 (et on conclue avec le lemme de Gauss que tu as vu/va voir).
-
On peut aussi procéder par récurrence.
En posant u(n)=5^(2n+1)+11^(2n+1)+17^(2n+1),
on voit que u(0)=33 et que
u(n+1)=25u(n)-3*11^(2n+1) (mod 33)
=25u(n) (mod 33). -
Bonjour Bati
Dit plus simplement : Soit $ A= 5^{2n+1} + 11^{2n+1} + 17^{2n+1}$.
Comme $5=11=17=2 \pmod{3}$, on a $A= 2^{2n+1} + 2^{2n+1} + 2^{2n+1}=3\times 2^{2n+1}=0\pmod{3}$.
Donc $A$ est divisible par 3
Comme $17=-5\pmod{11}$, on a $A= 5^{2n+1} + 0 + (-5)^{2n+1} = 0 \pmod{11}$ puisque l'exposant est impair.
Donc $A$ est divisible par 11
Finalement $A$ est divisible par $\mathrm{ppcm}(3,11)=33$
Alain -
Pour la divisibilité par 11, on peut aussi remarquer que:
A=5^(2n+1)+6^(2n+1) (mod 11) et se rappeler que a^(2n+1)+b^(2n+1) est divisible par a+b (identité remarquable). -
Je me demande si on n'aurait pas tout simplement a+b+c qui divise a^(2n+1)+b^(2n+1)+c^(2n+1).... mais je n'en suis pas sûr du tout.
-
Ce dernier résultat ne semble pas exact (j'y ai cru l'espace d'un instant).
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 2
2 Invités