ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Divisibilité et division euclidienne

Exercice 5

Calcul

Résoudre dans ℤ2\mathbb{Z}^{2} les équations suivantes, d'inconnue (n,p)(n, p), en se ramenant à un produit de deux facteurs égal à une constante.

1. np=3n+2pnp = 3n + 2p.

2. 1n+1p=15\dfrac{1}{n} + \dfrac{1}{p} = \dfrac{1}{5}.

3. n2−p2−4n−2p=5n^{2} - p^{2} - 4n - 2p = 5.

Corrigé

(i) L'équation s'écrit np−3n−2p+6=6np - 3n - 2p + 6 = 6, soit (n−2)(p−3)=6(n - 2)(p - 3) = 6. Le facteur n−2n - 2 parcourt les diviseurs de 66, c'est-à-dire ±1\pm 1, ±2\pm 2, ±3\pm 3, ±6\pm 6, et p−3p - 3 vaut le quotient. (n,p)∈{(3,9),(4,6),(5,5),(8,4),(1,−3),(0,0),(−1,1),(−4,2)}\boxed{(n, p) \in \{(3, 9), (4, 6), (5, 5), (8, 4), (1, -3), (0, 0), (-1, 1), (-4, 2)\}}

(ii) L'équation impose n≠0n \neq 0 et p≠0p \neq 0, et s'écrit alors 5(n+p)=np5(n + p) = np, soit (n−5)(p−5)=25(n - 5)(p - 5) = 25. Les diviseurs de 2525 sont ±1\pm 1, ±5\pm 5, ±25\pm 25 ; le couple n−5=p−5=−5n - 5 = p - 5 = -5 donne n=p=0n = p = 0, qu'il faut exclure. (n,p)∈{(6,30),(10,10),(30,6),(4,−20),(−20,4)}\boxed{(n, p) \in \{(6, 30), (10, 10), (30, 6), (4, -20), (-20, 4)\}}

(iii) On complète les carrés : (n−2)2−(p+1)2=5+4−1=8(n - 2)^{2} - (p + 1)^{2} = 5 + 4 - 1 = 8, soit (n−p−3)(n+p−1)=8.(n - p - 3)(n + p - 1) = 8. Les deux facteurs A=n−p−3A = n - p - 3 et B=n+p−1B = n + p - 1 ont pour somme 2n−42n - 4, qui est paire : ils ont la même parité, donc sont tous deux pairs, puisque leur produit est pair. Il reste (A,B)∈{(2,4),(4,2),(−2,−4),(−4,−2)},avec n=A+B+42 et p=B−A−22.(A, B) \in \{(2, 4), (4, 2), (-2, -4), (-4, -2)\}, \qquad \text{avec } n = \frac{A + B + 4}{2} \text{ et } p = \frac{B - A - 2}{2}.

(n,p)∈{(5,0),(5,−2),(−1,−2),(−1,0)}\boxed{(n, p) \in \{(5, 0), (5, -2), (-1, -2), (-1, 0)\}} Piège. Il ne faut pas oublier les diviseurs négatifs : dans ℤ\mathbb{Z}, l'équation AB=6AB = 6 a huit solutions, et non quatre. L'argument de parité de (iii) élimine d'emblée les couples (1,8)(1, 8), (8,1)(8, 1), etc.

Dans l'édifice

Thèmes

divisibilité

Notions

division euclidienne

Ouvrir dans l'atlas interactif →