ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Entiers premiers entre eux

Exercice 16

Calcul

1. Soit m,d∈ℕ∗m, d \in \mathbb{N}^{*}. À quelle condition le système {x∧y=dx∨y=m\left\{ \begin{array}{l} x \wedge y = d \\ x \vee y = m \end{array} \right. possède-t-il une solution (x,y)∈(ℕ∗)2(x, y) \in (\mathbb{N}^{*})^{2} ?

2. Déterminer les couples (x,y)∈(ℕ∗)2(x, y) \in (\mathbb{N}^{*})^{2} tels que x∧y=12x \wedge y = 12 et x∨y=360x \vee y = 360.

3. Déterminer les couples (x,y)∈(ℕ∗)2(x, y) \in (\mathbb{N}^{*})^{2} tels que x∧y=18x \wedge y = 18 et x+y=360x + y = 360.

Corrigé

1. Si (x,y)(x, y) est solution, dd divise xx, qui divise mm : il faut d∣md \mid m. Réciproquement, si d∣md \mid m, le couple (d,m)(d, m) convient, puisque d∧m=dd \wedge m = d et d∨m=md \vee m = m. le systeˋme a une solution si et seulement si d∣m\boxed{\text{le système a une solution si et seulement si } d \mid m}

2. On écrit x=12ax = 12a et y=12by = 12b avec a∧b=1a \wedge b = 1 (proposition 5). Alors x∨y=12abx \vee y = 12ab d'après la proposition 7 (iii), et la condition devient ab=30ab = 30 avec a∧b=1a \wedge b = 1. Comme 30=2×3×530 = 2 \times 3 \times 5, chaque facteur premier va entièrement dans aa ou dans bb : il y a 23=82^{3} = 8 couples (a,b)(a, b). (x,y)∈{(12,360),(24,180),(36,120),(60,72)} et les quatre couples symeˊtriques\boxed{(x, y) \in \{(12, 360), (24, 180), (36, 120), (60, 72)\} \text{ et les quatre couples symétriques}}

3. De même x=18ax = 18a, y=18by = 18b avec a∧b=1a \wedge b = 1 et a+b=20a + b = 20. Or a∧b=a∧(a+b)=a∧20a \wedge b = a \wedge (a + b) = a \wedge 20 (proposition 4) : il faut que aa soit impair et non multiple de 55, avec 1⩽a⩽191 \leqslant a \leqslant 19, soit a∈{1,3,7,9,11,13,17,19}a \in \{1, 3, 7, 9, 11, 13, 17, 19\}. (x,y)∈{(18,342),(54,306),(126,234),(162,198),(198,162),(234,126),(306,54),(342,18)}\boxed{(x, y) \in \{(18, 342), (54, 306), (126, 234), (162, 198), (198, 162), (234, 126), (306, 54), (342, 18)\}}

Dans l'édifice

Thèmes

entiers premiers entre eux, pgcd et algorithme d'euclide, ppcm

Notions

PGCD

Ouvrir dans l'atlas interactif →