ATLAS Ouvrir dans l'atlas →

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

Exercice 39

Démonstration

Montrer que, pour tous entiers aa et bb, 1717 divise 2a+3b2a + 3b si et seulement si 1717 divise 9a+5b9a + 5b.

Corrigé

On cherche une combinaison qui élimine aa : 9(2a+3b)−2(9a+5b)=17b9(2a + 3b) - 2(9a + 5b) = 17b. Si 17∣2a+3b17 \mid 2a + 3b, alors 17∣2(9a+5b)17 \mid 2(9a + 5b), et comme 17∧2=117 \wedge 2 = 1, le lemme de Gauss donne 17∣9a+5b17 \mid 9a + 5b. Réciproquement, si 17∣9a+5b17 \mid 9a + 5b, alors 17∣9(2a+3b)17 \mid 9(2a + 3b), et 17∧9=117 \wedge 9 = 1 donne 17∣2a+3b17 \mid 2a + 3b. 17∣2a+3b  ⟺  17∣9a+5b\boxed{17 \mid 2a + 3b \iff 17 \mid 9a + 5b}

Dans l'édifice

Thèmes

congruences, divisibilité

Notions

congruence modulo n

Ouvrir dans l'atlas interactif →