ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Pour aller plus loin

Exercice 39

DémonstrationCalcul

Soit E={(m,n)∈ℕ∗×ℕ  ;  m2−1=2n}E=\{(m,n)\in\mathbb{N}^{*}\times\mathbb{N}\;;\;m^{2}-1=2^{n}\}.

a) Montrer que, si (m,n)∈E(m,n)\in E, m−1m-1 et m+1m+1 sont de la forme 2k2^{k} avec k∈ℕk\in\mathbb{N}.

b) Déterminer EE.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 530

Corrigé

a) Soit (m,n)∈E(m,n)\in E : (m−1)(m+1)=2n(m-1)(m+1)=2^{n}. On a m≠1m\neq 1, sinon 0=2n0=2^{n}, donc m⩾2m\geqslant 2 et m−1⩾1m-1\geqslant 1. De plus n⩾1n\geqslant 1, sinon m2=2m^{2}=2. Les entiers m−1m-1 et m+1m+1 sont des diviseurs positifs de 2n2^{n} ; d'après l'exercice 16, ils sont de la forme 2k2^{k} avec 0⩽k⩽n0\leqslant k\leqslant n. Ainsi m−1=2a et m+1=2b\boxed{m-1=2^{a} \text{ et } m+1=2^{b}} avec a<ba<b.

b) On a alors 2b−2a=22^{b}-2^{a}=2. Si a⩾2a\geqslant 2, le membre de gauche 2a(2b−a−1)2^{a}(2^{b-a}-1) est divisible par 44, ce qui n'est pas le cas de 22. Si a=0a=0, on obtient 2b=32^{b}=3, impossible. Il reste a=1a=1, qui donne 2b=42^{b}=4, donc m−1=2m-1=2, soit m=3m=3, puis 2n=9−1=82^{n}=9-1=8, soit n=3n=3. Réciproquement (3,3)(3,3) convient, donc E={(3,3)}\boxed{E=\{(3,3)\}}.

Dans l'édifice

Thèmes

puissances de 2

Notions

nombre premier

Ouvrir dans l'atlas interactif →