ATLAS Ouvrir dans l'atlas →

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

Exercice 22

Démonstration

Soient pp et qq deux éléments de ℕ∗\mathbb{N}^{*} avec p>qp > q. On suppose que le quotient p2+q2p2−q2\dfrac{p^{2} + q^{2}}{p^{2} - q^{2}} est un entier.

1. Montrer que l'on peut se ramener au cas où p∧q=1p \wedge q = 1. On le supposera par la suite.

2. Montrer que (p2−q2)∧p2=1(p^{2} - q^{2}) \wedge p^{2} = 1.

3. En déduire que p2−q2p^{2} - q^{2} divise 22.

4. Aboutir à une contradiction. Qu'a-t-on montré ?

Corrigé

1. Soit d=p∧qd = p \wedge q, et p=dp′p = dp', q=dq′q = dq' avec p′∧q′=1p' \wedge q' = 1 et p′>q′p' > q'. Le quotient ne change pas : p2+q2p2−q2=d2(p′2+q′2)d2(p′2−q′2)=p′2+q′2p′2−q′2.\frac{p^{2} + q^{2}}{p^{2} - q^{2}} = \frac{d^{2}(p'^{2} + q'^{2})}{d^{2}(p'^{2} - q'^{2})} = \frac{p'^{2} + q'^{2}}{p'^{2} - q'^{2}}.

2. Soit δ=(p2−q2)∧p2\delta = (p^{2} - q^{2}) \wedge p^{2}. Il divise p2p^{2} et p2−(p2−q2)=q2p^{2} - (p^{2} - q^{2}) = q^{2}. Or p∧q=1p \wedge q = 1 entraîne p2∧q2=1p^{2} \wedge q^{2} = 1, en appliquant deux fois la proposition 7 (ii). Donc δ=1\delta = 1. (p2−q2)∧p2=1\boxed{(p^{2} - q^{2}) \wedge p^{2} = 1}

3. Notons kk l'entier p2+q2p2−q2\frac{p^{2} + q^{2}}{p^{2} - q^{2}}. Alors 2p2=(p2+q2)+(p2−q2)=(k+1)(p2−q2)2p^{2} = (p^{2} + q^{2}) + (p^{2} - q^{2}) = (k + 1)(p^{2} - q^{2}), donc p2−q2p^{2} - q^{2} divise 2p22p^{2}. Il est premier avec p2p^{2} d'après la question 2, donc il divise 22 par le lemme de Gauss. p2−q2∣2\boxed{p^{2} - q^{2} \mid 2}

4. Comme p⩾q+1p \geqslant q + 1 et q⩾1q \geqslant 1, on a p2−q2⩾2q+1⩾3p^{2} - q^{2} \geqslant 2q + 1 \geqslant 3, ce qui contredit la question 3. pour tous p>q⩾1, p2+q2p2−q2 n’est jamais un entier\boxed{\text{pour tous } p > q \geqslant 1, \ \frac{p^{2} + q^{2}}{p^{2} - q^{2}} \text{ n'est jamais un entier}}

Dans l'édifice

Thèmes

entiers premiers entre eux, divisibilité, pgcd et algorithme d'euclide

Notions

PGCD

Ouvrir dans l'atlas interactif →